新上线今天0 投票
OpenAI 声称攻克了80年未解的数学难题——这次是真的
OpenAI 宣称其新型推理模型成功证明了一个自 1946 年以来悬而未决的几何猜想。与七个月前 GPT-5 声称解决 10 个 Erdős 问题却遭数学家驳斥的尴尬不同，这次有多位知名数学家为结果背书。
背景：从“翻车”到“翻盘”
去年，OpenAI 前 VP Kevin Weil 曾高调宣布 GPT-5 解决了 10 个 Erdős 问题并取得 11 个进展，随后被数学家指出这些“解决”只是复现了已有文献中的结果，并非原创证明。Yann LeCun 和 Demis Hassabis 等业界领袖纷纷嘲讽，Weil 不得不删除帖子。
这次有何不同？
本次成果针对的是 Paul Erdős 于 1946 年提出的一个几何猜想。OpenAI 表示，其新推出的通用推理模型（非专门为数学设计）独立发现了一类全新的构造，证明“近似正方形网格是最优解”这一近 80 年的信念是错误的。数学家 Noga Alon、Melanie Wood 以及维护 Erdős 问题网站的 Thomas Bloom 均发表了支持性评论。Bloom 曾批评 OpenAI 之前的说法是“严重的误述”，但这次他评价道：“AI 正在帮助我们更全面地探索几个世纪以来建造的数学大教堂。”
意义与行业影响
OpenAI 强调，这是 AI 首次自主解决一个领域内的核心开放问题。该模型并非专攻数学，而是通用推理模型，这意味着 AI 已具备维持长链推理和跨领域连接思想的能力。这种能力可应用于生物学、物理学、工程学和医学等领域。
然而，业界仍需保持审慎：一次成功的验证并不能完全消除对 AI 数学推理可靠性的疑虑。但至少，这次有权威数学家的公开背书，让 OpenAI 的声明有了更坚实的依据。