|
国际数学奥林匹克竞赛 (IMO) 2026，高中小伙伴们最难啃的数学比赛，刚刚落幕。 让 Fable (high)、Sol (xhigh)、K3 (max) 和 Axiom 都来挑战它，结果全员拿下满分 42/42（仓库链接在下面，如果你想查他们的解题过程）： — Claude Fable 5 一次就搞定，而且速度最快。 — GPT 5.6 Sol 多试了一次，但成本最低。 — Kimi K3 也完成了，但多花了 4 次尝试，还消耗了一大堆 token。 — Axiom Math 居然用 Lean 证明了所有内容。 P3 和 P6 最难，其次是 P2，从尝试次数 + token 数量就能看出来。 学生们有 9 小时来解这 6 道题，而 Fable 和 Sol 都不到 4 小时就完成了。 AI 的前沿现在正式超越了 IMO 数学。 https://x.com/deedydas/status/2079409461874332066 这是 IMO 首次被彻底解决。 去年，最好的模型是未发布的 Gemini Deep Think 和一个实验性的 OpenAI 模型，两者都达到了 35/42 (83.3%)。 今年，3 个对公众开放的模型，包括一个（即将）开源权重的模型，以 10-50 美元的价格做到了！ https://x.com/deedydas/status/2079436976567341467 |
