字节Seed发布最强数学模型：一招“打草稿”，IMO银牌变金牌

2025-12-25 14:40:05

未来笔触

发布在

快讯

阅读：1467

正文：2025年12月，字节Seed AI团队发布数学推理模型Seed Prover 1.5，在IMO 2025竞赛中用16.5小时解决前5道题，获得35分金牌成绩，与谷歌Gemini持平。相比前代模型，新版本通过强化学习和计算资源扩展显著提升性能，并在Putnam竞赛基准中刷新SOTA成绩。技术亮点包括Agentic Prover架构和Sketch Model工具，前者通过多工具交互优化形式化证明效率，后者模拟人类“打草稿”方式分解复杂问题。研究团队采用混合奖励信号训练模型，确保逻辑路径规划的准确性。测试表明，增加计算资源可对数线性提升解题率。

原文链接

本文链接：https://kx.umi6.com/article/30757.html

转载请注明文章出处

Agentic Prover