IMO 几何题早被机器破解：坐标计算即可证明的启示

snikolov · x · 2026-09-12

在一场关于 AI 能力的讨论中，有人以 IMO 数学奥赛的几何题为例指出：这类题目早在 AI 时代之前就能被计算机解决——只需建立坐标系（笛卡尔几何），按流程完成十几页繁琐计算，几乎可以证明所有此类问题。

作者的用意是提醒：某些看似需要高水平智能的任务，其实早已存在机械化的解法，因此在评估 AI 的能力突破时应注意区分「真正的新智能」与「既有可计算路径」。