2026 年 5 月，OpenAI 内部研究模型推翻了困扰数学家 80 年的 Erdős 单位距离猜想——它用高维投影+代数整数给出反例，n^1.014 超过 Erdős 的 n^(1+o(1)) 上限。菲尔兹奖得主 Tim Gowers 第一反应是「数学家要完了」，确认是反例后松了半口气。这不是 AI 取代数学家，而是 AI 让数学家走得更快。