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

字节跳动最新数学推理模型Seed Prover 1.5在IMO 2025测试中以35分成绩达到金牌线，用时16.5小时，表现与谷歌Gemini相当，优于其前代银牌水平。该模型基于230B参数架构，提出Agentic Prover与Sketch Model两项创新，结合工具调用、引理分解与多智能体协作，并通过大规模强化学习使训练通过率从50%升至近90%。在Putnam等基准上刷新SOTA，验证了测试时Scaling的有效性，相关技术报告已发布。
来源：https://mp.weixin.qq.com/s/VrV6dRvmIFE4sk2lD0VEjw