达到金牌分数线：字节跳动推出新一代数学推理专用模型Seed Prover 1.5

字节跳动Seed团队发布数学推理模型Seed Prover 1.5，基于强化学习提升形式化证明能力，在IMO 2025和Putnam 2025测试中分别达到金牌线、解决88%历史题目，表现优异，但目前仍限于竞赛类封闭问题，技术报告已公开并将开放API。
来源：https://tech.ifeng.com/c/8pLIE2P7pPv