积聚AI-更专业的AI工具、教程、新闻平台
当前位置:首页 » AI快讯

DeepSeek发布可自验证数学模型DeepSeekMath-V2

2025-11-27 1.9 K

11月27日最新消息显示,DeepSeek公司正式发布专精数学推理的新一代模型DeepSeekMath-V2。该模型采用自主研发的自验证训练框架构建,在基础版本DeepSeek-V3.2-Exp-Base之上进行技术迭代。通过内置的LLM验证器对生成的数学证明进行自动化审查,并结合高难度样本持续强化系统性能。在国际数学奥林匹克竞赛(IMO)2025、中国数学奥林匹克竞赛(CMO)2024中均达到金牌选手水平,在普特南数学竞赛(Putnam)2024中更以118分(满分120分)的优异成绩脱颖而出。研究团队指出,这项成果不仅验证了自验证推理路径的有效性,更为构建可靠的人工智能数学系统开辟了全新技术方向。目前项目团队已将该模型的完整代码及预训练权重公开发布于Hugging Face与GitHub平台。(广角观察)

©版权声明:如无特殊说明,本站所有内容均为Amassai.net 原创发布和所有。任何个人或组织,在未征得本站同意时,禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。否则,我站将依法保留追究相关法律责任的权利。

评论 ( 0 )

contact

商务微信

qrcode

商务QQ:944844479

回顶部