DeepSeek 推出数学专用 AI 模型 Prover V2，提升问题解决能力

中国人工智能实验室DeepSeek近日悄然发布了其数学证明和定理解决专门的人工智能模型Prover的新版本V2。该消息最初由《南华早报》报道，更新后的Prover V2已于周三深夜上传至人工智能开发平台Hugging Face。新版本基于DeepSeek现有的V3模型构建，这一模型拥有约671亿参数，采用了混合专家（MoE）架构。 参数数量大致反映了模型的解题能力，而MoE架构通过将复杂任务分解为多个子任务，并将这些子任务分配给更小、更为专业的“专家”组件来运行，大大提升了计算效率和解题精度。 Prover上次更新是在今年8月，当时DeepSeek将其描述为一个专门用于形式化定理证明和数学推理的定制模型。Prover的研发旨在帮助研究人员在数学领域中更快、更准确地解决问题，从而推动相关领域的科学研究和技术进步。 除了Prover外，DeepSeek的V3是一款通用的人工智能模型，近期也得到了升级。据路透社二月份报道，DeepSeek正在考虑首次外部融资的可能性。此外，该公司还计划不久后对R1“推理”模型进行更新。 此次发布Prover V2，不仅展示了DeepSeek在数学AI模型这一细分领域中的持续投入和技术实力，也为解决数学难题提供了新的工具。DeepSeek的创始人表示，团队致力于通过技术创新，为科研人员提供更多高效的辅助工具，助力他们在各自的领域内取得突破性进展。 业内人士对此次更新给予了高度评价。一位来自某知名高校的计算机科学教授指出，DeepSeek不断升级其数学AI模型，显示了该公司在深度学习和自然语言处理方面的持续进步和技术积累。这对于促进数学及关联领域的发展具有重要意义。 DeepSeek成立于2019年，是一家专注于开发高性能AI模型的公司，其目标是通过先进的算法和硬件支持，为不同领域提供智能化解决方案。公司的核心成员大多来自国内外顶尖高校和研究机构，具备深厚的技术研发实力。随着此次Prover V2的推出，DeepSeek在数学AI领域的确立了其领导地位。