字節團隊推出創新的自動定理證明系統 Seed-Prover，成功應對 IMO2025挑戰

字節跳動Seed團隊研發的自動定理證明系統Seed-Prover在IMO2025比賽中表現亮眼，成功解決四道數學難題。該系統在幾何題上僅用2秒完成證明，數論題則需3天並生成數千行證明，組合代數題還展現了創新解法。雖然比賽期間未能及時完成第一題，但賽後成功補證。目前該項目尚未開源模型權重，僅提供論文和項目資料。這一成果展示了AI在數學證明領域的潛力，爲學術研究提供了新工具。