AI 资讯速递 (2025/12/24)： 字节跳动发布新一代形式化数学推理专用模型 Seed Prover 1.5
导读摘要：
字节跳动Seed团队发布了新一代形式化数学推理模型 Seed Prover 1.5，采用全新的 Agentic Prover 架构，显著提升了数学证明的效率和准确性。在 IMO 2025 测试中，模型以 35/42 的成绩达到金牌分数线；在 Putnam 竞赛历史题集上解决率达 88%，刷新多项 SOTA 记录。
资讯详情
字节跳动Seed团队于12月24日发布了新一代形式化数学推理模型 Seed Prover 1.5。该模型采用了全新的 Agentic Prover 架构，能够自主调用数学库搜索、代码执行等工具进行增量式证明。这一架构的引入，使得模型在处理复杂数学问题时更加高效和准确。
核心要点
Agentic Prover 架构：Seed Prover 1.5 采用的 Agentic Prover 架构，允许模型自主调用多种工具进行数学证明。这些工具包括数学库搜索、代码执行等，使得模型能够在解决复杂问题时更加灵活和高效。
IMO 2025 测试成绩：在国际数学奥林匹克竞赛（IMO）2025 测试中，Seed Prover 1.5 以 35/42 的成绩达到了金牌分数线。这一成绩展示了模型在解决高难度数学问题上的强大能力。
Putnam 竞赛历史题集表现：在 Putnam 竞赛的历史题集上，Seed Prover 1.5 的解决率达到了 88%，刷新了多项 SOTA 记录。这一表现进一步验证了模型在实际应用中的可靠性和有效性。
AI-ALL 深度点评
字节跳动发布的 Seed Prover 1.5 模型不仅在技术上实现了突破，更在实际应用中展示了强大的性能。通过引入 Agentic Prover 架构，模型能够自主调用多种工具进行增量式证明，显著提升了数学推理的效率和准确性。这一进展不仅对形式化数学推理领域具有重要意义，也为 AI 在其他复杂任务中的应用提供了新的思路和方法。未来，随着更多类似技术的发展，AI 在解决高难度问题上的能力将得到进一步提升，为科学研究和工业应用带来更大的价值。