字节跳动Seed团队推Seed+Prover 1.5，打破形式化数学推理局限
免费影视、动漫、音乐、游戏、小说资源长期稳定更新！ 👉 点此立即查看 👈
字节跳动旗下 Seed 团队近日正式推出了新一代面向形式化数学推理的专业模型 Seed Prover 1.5。该模型基于大规模Agentic RL训练框架，在推理能力和求解效率上都实现了显著突破。
与前代版本相比，Seed Prover 1.5 在国际数学奥林匹克竞赛IMO 2025的前五道题目中，仅用时16.5小时就生成了完整且能通过编译验证的Lean证明代码，对应得分为35分（满分42分），达到了过往IMO金牌获奖的分数线标准。
在北美本科数学竞赛Putnam 2025的测试中，该模型耗时9小时，成功为12道赛题中的11道生成了可编译运行的Lean代码。在更全面的系统性评估中，Seed Prover 1.5 在完整的Putnam历史试题集上解决了88%的问题；在代表硕士阶段数学难度的Fate-H测评分集中，解题覆盖率达到80%；在代表博士级别数学挑战的Fate-X测评分集中，也成功解决了33%的问题，三项成绩均刷新了当前形式化数学推理模型在相应基准上的最优表现。
目前，Seed Prover 1.5 的技术报告已对外发布，可供公众查阅。相关团队表示，后续将开放模型API接口以支持更广泛的研究与应用。技术报告详见：https://arxiv.org/abs/2512.17260。部分生成的Lean证明代码已收录于开源仓库，链接为：https://github.com/ByteDance-Seed/Seed-Prover/blob/main/SeedProver-1.5/Putnam2025.zip。
热门专题
热门推荐
清明节假期期间，A 股和港股休市，但比特币行情永不停歇。 4月6日，当多数市场还在假期中沉睡时，比特币已经悄然启动。价格从亚洲早盘的低点67400美元出发，一路向上试探，盘中最高涨破70300美元，不仅刷新了3月26日以来的高位，较日内低点的涨幅也超过了4%。以太坊的表现同样不俗，从2050美元附近
4月5日消息，日前，REDMI K90至尊版通过3C认证，预计将于本月发布。今日，小米中国区市场部总经理魏思琪用小米新机发布微博，不出意外，这正是即将登场的REDMI K90至尊版，这将是小米首款配
WPS演示中图表不随数据更新时，可通过四种方法实现自动同步：一、用OFFSET+COUNTA定义动态名称绑定图表；二、用组合框控件联动VLOOKUP提取数据；三、用数据透视图配合切
聚焦数字技术，释放创新动能。为集中展示静安区区块链技术从“实验室”走向“应用场”的丰硕成果，挖掘一批可复制、可推广的行业解决方案，加速构建区块链产业生态闭环，静安区数据局特推出“静安区区块链创新应用
太空中的马桶堵了，边飞边修还能勉强用。但中东被点燃的火药桶，美国怎么来扑灭？靠一再延期的“最后通牒”？还是靠无底线的轰炸？2300万美元的马桶美国航空航天局4名宇航员1日搭乘“猎户座”飞船升空，执行