OpenAI说，他们新的推理模型搞出了一个原创的数学证明，推翻了几何学里一个著名的未解猜想。这猜想是Paul Erdős在1946年提出的。
你如果觉得耳熟，那是因为OpenAI之前就这么干过。大概七个月前，这家AI巨头的前副总裁Kevin Weil在X上发帖说：“GPT-5找到了10个 (!) 以前没解决的Erdős问题的解，还对另外11个有进展。”
结果呢，GPT-5并没有真的解决那些问题；它只是找到了文献里已经有的解法。
Yann LeCun和Google DeepMind的CEO Demis Hassabis这些对手跟着嘲讽了一波，Weil也赶紧删了那条为时过早的帖子。至少这次，OpenAI好像没再犯同样的错误。公司发布消息的同时，还附上了一些数学家的评论来支持这个反证，比如Noga Alon，Melanie Wood，还有维护着the Erdos Problems website的Thomas Bloom。Bloom之前就说过Weil的帖子“严重失实”。
“差不多80年里，数学家们都相信最好的解看起来大致像方形网格，”OpenAI在X上发帖说。“现在OpenAI的一个模型推翻了这种看法，发现了一整类表现更好的新构造。”
公司说这标志着“AI首次自主解决了一个数学领域核心的、突出的公开问题”。按OpenAI的说法，这个证明来自一个新的通用推理模型，不是专门设计来解决数学问题、甚至不是专门解决这个特定问题的系统。
OpenAI说这很重要，因为这意味着AI系统现在更能驾驭长而难的推理链条，并能以研究人员以前可能没探索过的方式，把不同领域的想法联系起来。这对生物、物理、工程和医学都有影响。
“AI正在帮助我们更充分地探索几个世纪以来我们建立的数学大厦，”Bloom在一份声明中说。“还有哪些未被看见的奇迹在等着登场呢？”
您通过我们文章中的链接购买时，我们可能会赚取一小笔佣金。这不会影响我们的编辑独立性。
Rebecca Bellan是TechCrunch的高级记者，主要报道塑造人工智能的商业、政策和新兴趋势。她的作品也曾出现在福布斯、彭博社、大西洋月刊、每日野兽等出版物上。
您可以通过电子邮件 rebecca.bellan@techcrunch.com 或通过Signal的加密消息rebeccabellan.491联系或核实Rebecca的采访请求。