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实验室。