最近，IMO 是真的热闹。不过，大家谈论的重点都是 AI 在国际数学奥林匹克（ IMO ）上的表现。这不，除了海外的 OpenAI、谷歌，国内的字节跳动 Seed 团队也刚刚公布了他们的 IMO 竞赛结果：我们的形式化数学推理专用模型 Seed Prover 通过 3 天的尝试，完整解决了 6 道题...