OpenAI 今日宣布，其新一代通用推理模型独立产出了一项原创数学证明，推翻了著名数学家 Paul Erdős 于 1946 年提出的一个未解几何猜想。 "近 80 年来，数学家们一直认为最优解大致类似于方网格结构，"OpenAI 在 X 上发文称，"OpenAI 的一个模型如今推翻了这一认知，发现了一组全新的表现更优的构造方式。"该公司称，这是"AI 首次自主解决一个数学领域内的重要开放问题"。 但 OpenAI 在信任问题上学到了教训。七个月前，前 VP Kevin Weil 曾宣称 GPT-5 解决了 10 个此前未解的 Erdős 问题——结果那些只是文献中已有的解法，引发业内广泛嘲讽。这一次，OpenAI 明显更谨慎了。在发布模型成果的同时，公司附上了多位数学家的背书声明，包括 Erdős 问题网站维护者 Thomas Bloom，他曾公开批评 Weil 之前的说法是"严重的失实陈述"。 OpenAI 强调，这次的证明来自一个通用推理模型，并非专为解决数学题而设计。这意味着 AI 已具备在长链条、高难度的推理任务中保持连贯性的能力，并能跨领域连接思想——这对生物学、物理学、工程学和医学研究都有深远意义。 "AI 正在帮助我们更充分地探索几个世纪以来构建的数学大教堂，"Bloom 表示，"还有哪些看不见的奇迹在等待着我们？"