OpenAI 这次真做出了数学，而且先找人验过了

这话 OpenAI 说过一次，翻过车。七个月前他们宣称 GPT-5 攻破了十个未解的 Erdos 难题，结果被发现模型只是把文献里早就有的解又翻了一遍，数学圈当场打脸，Kevin Weil 默默删掉了庆功推文。所以这次再听到同样的话，第一反应是翻白眼。

但这回不太一样。一个通用推理模型，不是专门做数学的系统，推翻了 Paul Erdos 在 1946 年提出的一个关于平面单位距离问题的猜想。八十年来数学家一直以为最优的构造长得像规规矩矩的方格网，这个模型找到了一整族全新的构造，比方格网更优，而且它走的路子是代数数论，一个跟原问题表面上八竿子打不着的数学分支。

可信的关键在于谁背书、什么时候背书。上次拆穿他们的那几位数学家，Noga Alon、Melanie Wood、还有维护 Erdos Problems 网站的 Thomas Bloom，这次是在公告发出之前就把结果验过了。先验证，再发稿。这个顺序就是整件事的分量所在。

更要紧的是 autonomously 这个词。这不是为某一道题量身定做的求解器，而是一个通用推理模型，自己找到了人类漏看八十年的东西。AI 帮你做研究和 AI 自己做研究，这条线刚刚往后挪了一步，而且这是迄今为止最干净的一次证据，说明它是真挪了。详情见 https://openai.com/index/model-disproves-discrete-geometry-conjecture/