OpenAI近日宣称，其最新研发的通用推理模型成功独立证明了一个著名的未解几何猜想，该猜想由数学家Paul Erdős于1946年提出，至今已有近80年的历史。这一成果被视为人工智能在数学研究领域的一个重要里程碑。

据OpenAI官方发布的消息，该模型产出了一个原创的数学证明，否定了长期以来被数学家们普遍接受的“最佳解近似于正方形网格”的假设。OpenAI在社交平台上表示：“近80年来，数学家们相信最佳的可能解大致看起来像正方形网格。一个OpenAI模型现在否定了这一信念，发现了一个全新的、表现更优的构造家族。”

OpenAI强调，这是“AI首次自主解决一个数学领域中突出的开放性问题”。值得注意的是，这一证明出自一个新的通用推理模型，而非专门为求解数学问题或该特定问题设计的系统。OpenAI认为，这意义重大，因为它表明AI系统现在能够更好地维持长而困难的推理链，并以研究人员可能未曾探索的方式跨领域连接思想。

与以往不同，OpenAI此次的声明显得更为谨慎。七个月前，OpenAI的前副总裁Kevil Weil曾在社交平台上声称“GPT-5找到了10个此前未解的Erdős问题的解，并在另外11个问题上取得了进展”。然而，事后证实GPT-5并未真正解决这些问题，只是找到了文献中已有的解。这一失误引发了来自Yann LeCun、Google DeepMind CEO Demis Hassabis等竞争对手的嘲讽，Weil随后删除了那条不成熟的帖子。

为了确保此次声明的可信度，OpenAI在宣布成果的同时，还发布了来自多位数学家的支持性评论，包括Noga Alon、Melanie Wood以及负责维护Erdős问题网站的Thomas Bloom。Bloom此前曾批评Weil的帖子是“戏剧性的误传”，但这次他公开支持OpenAI的新成果，并表示：“AI正在帮助我们更充分地探索我们几个世纪以来建立的数学大教堂。还有哪些看不见的奇迹在等待着我们？”

这一突破被认为对生物学、物理学、工程学和医学等领域具有潜在影响，因为它展示了AI系统在复杂推理和跨领域知识连接方面的能力正在显著提升。OpenAI表示，通用推理模型的这一进展，意味着未来AI有望在更多科学领域协助人类发现新的知识。