开源 - NIIIX

DeepSeek是由杭州深度求索人工智能基础技术研究有限公司开发的一款先进的人工智能平台，它专注于自然语言处理和生成任务，能够进行智能对话、文本生成、编程辅助等，支持多语言，并具备高性能、低成本、开源与本地部署等优势，可广泛应用于教育、企业客服、创意写作、编程开发等多个领域，为用...

深度求索（DeepSeek）于 2025 年 4 月 30 日发布的新一代数学推理大模型 DeepSeek-Prover-V2，在数学定理证明领域实现了技术范式的突破。该模型基于 DeepSeek-V3 架构，通过递归子目标分解与强化学习的结合，将复杂数学问题拆解为可验证的子目标...

开源

搜索当前标签