DeepSeek升级数学AI模型Prover，参数量提升近百倍并开源

中国人工智能实验室DeepSeek近日发布了数学证明和定理解决专门的人工智能模型Prover的新版本V2，基于现有的V3模型构建，参数量从约7亿跃升至671亿，采用混合专家（MoE）架构，大大提升了计算效率和解题精度。本次更新于周三深夜上传至人工智能开发平台Hugging Face。 Prover的研发旨在帮助研究人员在数学领域内更快、更准确地解决复杂数学问题，促进相关领域的科学研究和技术进步。8月时DeepSeek首次公开Prover，第一代模型曾在美国数学奥林匹克竞赛中取得优异成绩。Prover V2的训练数据集涵盖了大量学术论文、教科书和在线数学论坛等来源的数学定理和证明，进一步增强了其推理能力和准确度。此外，DeepSeek还对模型架构进行了优化，使之更适合处理长依赖关系和复杂推理任务。此版本不仅展示了公司在数学AI模型细分领域的技术水平，更为数学问题解决提供了全新的工具。 DeepSeek是一家2019年成立的AI公司，主要目标是通过先进的算法和硬件支持，为不同领域提供智能化解决方案。公司核心成员大多来自国内外顶尖高校和研究机构，具备深厚的理论和技术背景。除了Prover系列，该公司还有包括R1“推理”模型在内的其他项目。近期，Prover-V2-671B的推出使DeepSeek成为数学AI领域的领军者之一。 业内专家对此次更新给予了高度评价，认为这标志着DeepSeek在深度学习和自然语言处理上的显著进展。“Prover-V2的推出，对于促进数学及相关领域的发展具有里程碑式的意义。”某知名高校计算机科学教授说。尽管具体的性能和技术细节尚未公布，但参数量成倍增长意味着Prover-V2可能在数学定理生成等多个基准测试上有更优的表现。 DeepSeek通过开源Prover-V2-671B，不仅强化了自己的行业地位，也为科研工作者提供了强有力的支持。在自动化数学证明领域，这款工具能够帮助科学家们节约宝贵的研究时间，甚至揭示全新角度下的证明路径。未来，Prover-V2-671B在教育、学术出版等方面的应用也值得期待，它的出现或许能开启自动化辅助定理证明的新篇章。 DeepSeek在数学AI领域的积极探索展现了人工智能无限潜力，其持续的技术进步也将有助于推动AI技术的整体发展。同时，该公司正计划外部融资以扩大业务范围，并预计很快更新R1模型，彰显了DeepSeek在AI领域的雄心壮志和发展前景。