OpenAI称其内部AI模型攻克了一道困扰人类近80年的数学猜想。
据OpenAI官方消息,其新一代推理模型自主完成了对一道著名几何猜想的原创性数学证明,推翻了保罗·埃尔德什(Paul Erdős)于1946年提出的离散几何核心猜想。
具体而言,这道难题属于平面单位距离问题,近80年来,数学家们一直认为最优解接近方格图案。OpenAI的模型发现了一组性能更优的全新构造,从根本上改变了离散几何领域的理解。
OpenAI表示,这是“AI首次自主解决一个领域核心的著名开放问题”。这一成果来自一款通用推理模型,而非专为解决数学问题设计的系统,这意味着AI系统如今更善于串联起长且困难的推理链条,并跨领域连接思路。来自普林斯顿大学等机构的数学家已对该证明表示支持。
值得注意的是,OpenAI此前曾有过一次“乌龙”。数月前,公司前高管曾宣称GPT-5解决了10道埃尔德什未解难题,但随后被数学界澄清:该模型只是找到了已存在文献中的既有解法,并非原创突破。那次事件引发了谷歌DeepMind首席执行官Demis Hassabis、Meta首席AI科学家Yann LeCun等人的公开嘲讽。此后,OpenAI在数学证明的宣称上显然更加审慎。