AI 颠覆 80 年数学定论：OpenAI 反驳 Erdős 猜想启示录

一款人工智能模型，耗时不足一日，便揭示了人类数学家长达八十年的认知谬误。

这并非虚构故事。2026 年 5 月 20 日，OpenAI 公布其内部模型自主推导出 Erdős 单位距离猜想的反例——这一难题曾令数学界困扰近百年。荣获数学界最高奖项菲尔兹奖的 Tim Gowers 在查阅结果后表示："毋庸置疑，单位距离问题的突破标志着 AI 数学发展的里程碑。"然而他随即补充道：当他意识到 AI 实际上是"证伪"而非"证实"该猜想时，他感到"如释重负"。

单位距离问题示意图：在平面上布局 n 个点，旨在使间距恰好为 1 单位的点对数量最大化（