2025年8月，字节发布全新数学模型Seed-Prover，在复杂数学问题解决领域取得突破性进展。该模型基于Lean 4形式化推理框架，并创新采用引理式证明范式，模块化处理数学推理过程。其在MiniF2F数据集上实现100%正确率，解决了78.1%的历年IMO难题，并在普特南数学竞赛中表现优异。此外，Seed-Prover集成专用几何推理引擎Seed-Geometry，在IMO 2025比赛中达到银牌水准，完整解决6道题中的4道及部分证明。Seed-Geometry还在2秒内解出IMO 2025第2题，展现了卓越效率和泛化能力。前谷歌成员Deedy Das评价称，字节是唯一一家为IMO发表完整论文的AI实验室。

标题：数学形式化准确率提升至84% | 字节&南大开源 正文： 人工智能在围棋、代码生成等领域已取得显著进展，但在理解并证明数学定理方面仍面临重大挑战。字节跳动Seed团队与南京大学联合发布CriticLean框架，将数学自然语言转化为Lean 4代码的形式化准确率从38%大幅提升至84...