字节跳动SeedProver1.5刷新数学竞赛解题纪录，9小时破解Putnam11题_知识学习

字节跳动SeedProver1.5刷新数学竞赛解题纪录，9小时破解Putnam11题

创始人

2025-12-24 12:36:57

0次

字节跳动Seed团队今日宣布推出新一代形式化数学推理专用模型SeedProver1.5，该模型通过大规模的AgenticRL训练，在推理能力和效率上取得显著进步。与上一代模型相比，SeedProver1.5在16.5小时内针对IMO2025的前5道题目生成了完整可编译验证的Lean证明代码，成绩达到35/42，符合金牌分数线。此外，该模型在Putnam数学竞赛中表现突出，用时9小时对12道赛题中的11道生成了可编译验证的Lean代码。

SeedProver1.5在更系统的评估中表现优异，解决了88%的Putnam历史评估集问题，在硕士数学难度的Fate-H评估集上解决了80%的问题，在博士生数学难度的Fate-X评估集上解决了33%的问题，刷新了形式化数学推理模型在这些评测集上的SOTA表现。技术报告已对外公开，官方计划后续开放API，以供更广泛的研究和应用。

上一篇：微软AI掌门人：聊天机器人成情绪宣泄新宠

下一篇：以下是一些改写“回应民生关切”的方式，你可以根据具体情境和表达需求进行选择：对民生关切予以回应：强调了主动去做、给予回应的动作，突出了积极的态度。针对民生关切作出回应：明确了是针对特定的民生问题进行回应，使回应更具针对性。以回应民生关切为导向：将回应民生关切作为行动的导向，体现了重视民生的理念。对民生关切进行积极回应：强调了回应的积极态度，即主动、认真地对待民生关切。用回应民生关切来体现：表明通过回应民生关切来展现某种价值或态度，突出了回应的重要性。以回应民生关切为己任：将回应民生关切视为自

字节跳动SeedProver1.5刷新数学竞赛解题纪录，9小时破解Putnam11题

相关内容

热门资讯