字节跳动推出新一代数学推理模型Seed Prover 1.5
AI导读：
字节跳动Seed团队推出新一代形式化数学推理专用模型Seed Prover 1.5，通过大规模训练后，其推理能力和效率取得显著进步。该模型在16.5小时内针对IMO 2025的前5道题目生成了完整可编译验证的Lean证明代码，换算成绩达到金牌分数线。
北京商报讯（记者陶凤王天逸）12月24日，字节跳动 Seed 团队宣布，近日推出新一代形式化数学推理专用模型 Seed Prover 1.5 ，通过大规模的 Agentic RL 训练，其推理能力和推理效率取得显著进步。
相比上一代模型，Seed Prover 1.5 在 16.5 小时内，针对 IMO 2025 的前 5 道题目生成了完整可编译验证的 Lean 证明代码，换算成绩为 35/42，达到此前 IMO 评分标准的金牌分数线。
（文章来源：北京商报）
郑重声明：以上内容与本站立场无关。本站发布此内容的目的在于传播更多信息，本站对其观点、判断保持中立，不保证该内容（包括但不限于文字、数据及图表）全部或者部分内容的准确性、真实性、完整性、有效性、及时性、原创性等。相关内容不对各位读者构成任何投资建议，据此操作，风险自担。股市有风险，投资需谨慎。如对该内容存在异议，或发现违法及不良信息，请发送邮件至yxiu_cn@foxmail.com，我们将安排核实处理。
