字节团队推出创新的自动定理证明系统 Seed-Prover，成功应对 IMO2025挑战

字节跳动Seed团队研发的自动定理证明系统Seed-Prover在IMO2025比赛中表现亮眼，成功解决四道数学难题。该系统在几何题上仅用2秒完成证明，数论题则需3天并生成数千行证明，组合代数题还展现了创新解法。虽然比赛期间未能及时完成第一题，但赛后成功补证。目前该项目尚未开源模型权重，仅提供论文和项目资料。这一成果展示了AI在数学证明领域的潜力，为学术研究提供了新工具。