七个月前，OpenAI前副总裁Kevin Weil在X平台上高调宣布GPT-5解决了10个未解的Erdős问题，结果被证明那些”解”早就写在公开文献里。Yann LeCun和DeepMind的Demis Hassabis纷纷嘲讽，Weil只好默默删帖。
这次OpenAI学乖了。2026年5月20日，他们声称新的推理模型推翻了Paul Erdős在1946年提出的几何猜想，而且这次找来了数学家Noga Alon、Melanie Wood和Thomas Bloom背书——正是Bloom上次公开批评OpenAI”严重误导”。
不是专用系统，是通用推理模型
OpenAI特别强调，这次产出证明的不是专门为数学设计的系统，而是一款通用推理模型。这意味着AI现在能处理更长的推理链，还能把不同领域的想法串起来——这种能力对生物学、物理学、工程和医学都有意义。
“近80年来，数学家们一直认为最佳的可能解法大致类似于平方网格。现在OpenAI的一个模型推翻了这一认知，发现了一种全新的构造族，性能更优。”——OpenAI官方声明
Thomas Bloom说：”人工智能正在帮助我们更全面地探索几个世纪以来我们建造的数学大教堂。还有哪些未被发现的美妙事物在等待着我们？”这位数学家上次可是OpenAI的批评者，他能出面背书，可信度比上次高多了。
为什么这次可能真不一样
上次翻车之后，OpenAI这次显然更谨慎了。除了发布公告，他们还专门拉来了几位数学家的支持性评论，其中Bloom运营的Erdős问题网站正是上次戳穿OpenAI夸大宣传的那位。
如果这次真的站得住脚，这会是AI第一次自主解决数学领域核心的知名开放问题。但数学界向来谨慎，最终还得经过同行评审才能定论。OpenAI把详细证明放在了官网上，感兴趣的可以去扒一扒。