北京
分享至
11月27日，DeepSeek开源了“奥数金牌级”模型DeepSeekMath-V2，该模型在数学定理证明能力上表现出色。DeepSeekMath-V2在2025年国际数学奥林匹克竞赛（IMO2025）和2024年中国数学奥林匹克竞赛（CMO2024）上取得金牌水平成绩，并在2024年普特南大学生数学竞赛（Putnam2024）上获得接近满分118分的成绩，超过人类最高90分成绩。该模型以10%优势击败谷歌的IMO金奖得主DeepThink模型。
DeepSeekMath-V2基于DeepSeek-V3.2-Exp-Base开发，通过强化学习训练模型生成证明分析，使用格式奖励和分数奖励两个奖励组件。在实验中，DeepSeekMath-V2在CNML级别所有问题类别中均优于GPT-5-Thinking-High和Gemini2.5-Pro。在高计算量探索中，该模型解决了2025IMO的5道题和2024CMO的4道题，达到金牌水平。尽管最困难的IMO级别问题仍具挑战性，但DeepSeek的生成器能在证明过程中识别问题，表明其验证器能够评估复杂推理任务的证明。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
