字节的大模型Seed-Prover 也参加了国际数学奥林匹克 IMO 2025 的比赛。

Seed Prover 在 IMO 2025 中解决了 6 个问题中的 4 个，细分如下：
第一天：比赛结束后完全解决P2（几何）和P3（数论），完全解决P1（组合学）。
第 2 天：完全求解 P4（数论）和 P5（组合学/代数）

这么复杂的问题都能解决，以后程序员们怎么打得过？
还是要拥抱AI啊。
一个人+一个AI，就厉害了嘛。

AI时代，要做一个有“枪”的人。

论文:http://t.cn/A6FHddv3
项目地址：github.com/ByteDance-Seed/Seed-Prover