80年前，匈牙利数学家保罗·厄多斯（Paul Erdős）提出了一个几何猜想，数学家们围绕它研究了大半个世纪。现在，OpenAI站出来说：我们的模型推翻了它。
听到这个消息，第一反应可能是：又来了。7个月前，OpenAI前副总裁凯文·韦尔（Kevin Weil）在X平台上高调发文，说GPT-5找到了10个此前未解的厄多斯问题解决方案。结果被打脸了——那些”解决方案”早就存在于已有的学术文献中。竞争对手杨立昆和DeepMind首席执行官哈萨比斯都出来嘲讽，韦尔很快删了那条帖子。
“近80年来，数学家们一直认为最优的解决方案大致类似方形网格。OpenAI的模型现在已经推翻了这一认知，发现了一种全新的构造家族，其表现更优。”
这次有什么不同
上次是野生宣传，这次OpenAI学乖了。随声明一同发布的，有数学家诺加·阿隆（Noga Alon）、梅兰妮·伍德（Melanie Wood）和托马斯·布鲁姆（Thomas Bloom）的支持性说明。布鲁姆是”厄多斯问题网站”的维护者，上次韦尔发那条不实帖子时，正是布鲁姆站出来说那是一条”严重歪曲事实”的声明。
也就是说，这次站在OpenAI背后的，是上次亲手拆穿他们谎言的同一个人。如果连布鲁姆都认可了，可信度确实高了不少。
OpenAI表示，这次给出证明的不是专门为解数学题训练的系统，而是一个新的通用推理模型。这意味着AI系统现在更有能力维持长链条的复杂推理，并且以研究人员此前未探索过的方式跨领域连接不同的想法。
为什么这件事重要
OpenAI在声明里说，这标志着”AI首次自主解决了一个数学领域核心的知名开放问题”。这话听起来有点自卖自夸，但背后的逻辑是成立的——如果一个AI系统能在纯数学领域给出人类未曾发现过的原创证明，那么它在生物学、物理学、工程学和医学领域的应用潜力就变得非常真实了。
托马斯·布鲁姆说了一句挺有意思的话：”AI正在帮助我们更全面地探索我们数百年来建造的数学殿堂，还有哪些看不见的惊喜在等待我们去发现？”这话听起来有点文艺，但指向的问题很硬核：人类数学研究受限于人脑的推理链长度和信息整合能力，AI如果真的能突破这个瓶颈，整个基础科学的研究节奏都会被改写。
当然，科学圈向来谨慎。OpenAI说它解决了，和数学界公认它解决了，是两回事。同行评议和程序化验证还在路上。但至少这次，OpenAI没有像上次那样提前开香槟。