OpenAI 的通用推理模型推翻了一个 80 年没人撼动的数学猜想

80 年没人推翻的猜想，一个通用 AI 模型做到了

GPT-5 否证了 Erdős 在 1946 年提出的平面单位距离猜想。这个猜想说平面上 n 个点最多只能有约 n 对距离为 1 的点，80 年里数学家都信这个。模型没走证明路线，而是直接构造反例，用上了代数数论里跟几何八竿子打不着的工具，把单位距离对的数量推到了 n 的 1.014 次方。Fields 奖得主 Tim Gowers 审完证明说，如果是...

推荐理由：我会先打个折，因为正文没给论文、没给证明过程、也没说复现条件，信息缺口不小。但一个没专门练过数学的通用模型，推翻了一个 80 年没人动得了的 Erdős 猜想，还有 Fields 奖得主背书说能投顶刊——这个事实本身分量很重，属于当天就该推的消息。HKR 三项全中，重要性给 90 是合理的，再高就需要更多证据了。