DeepSeekMath-V2发布：首个IMO金牌水平开源数学推理模型，自验证框架突破技术瓶颈
DeepSeekMath-V2成为首个达到国际数学奥林匹克竞赛金牌水平的开源AI模型，采用创新的自验证训练框架，在IMO、CMO等顶级数学竞赛中表现卓越。该技术突破将推动金融、航空等领域的自动化验证发...
排序
字节跳动Seed Prover 1.5发布：刷新数学推理纪录，IMO金牌水平证明生成
字节跳动Seed Prover 1.5模型在IMO前5题生成可验证证明代码，成绩达金牌分数线，普特南竞赛解决11题，推理效率提升4倍。了解其Agentic Prover架构技术优势、开源计划及数学AI...