OpenAI 撤回 GPT-5 攻克数学难题言论：只是找到了已有论文

如果你这几天刷到「GPT-5 攻克了困扰数学界数十年的难题」，最好先别急着惊叹。因为这起轰动一时的科学突破，刚发出来没多久就被光速打脸，甚至惊动了竞争对手的高管排队围观嘲讽。

事情的起因是 OpenAI 高管 Kevin Weil 在社交平台发文，声称 GPT-5 成功解出了 10 个此前未解的埃尔德什猜想相关难题，并在另外 11 个问题上取得了进展。随后其他几位研究员也纷纷转发跟进，措辞里满是「数十年未解」「找到新解法」这样的字眼，让人以为 AI 已经能独立推导出高深数论定理了。

一场由「未解」引发的乌龙

但这出大戏很快迎来了反转。维护埃尔德什问题数据库网站的数学家 Thomas Bloom 第一时间站出来泼了冷水。

Bloom 直言 OpenAI 的说法是极其夸张的误读。他解释说，自己网站上标注的「未解」，仅仅代表他个人还不知道解答，或者尚未收录已有成果，绝不等于数学界至今没人做出来。

换句话说，GPT-5 根本没有发明任何新数学定理。它只是在浩瀚的论文库里挖出了别人早就发表、但 Bloom 恰好没注意到的旧成果，充当了一次高效的文献检索工具。

真相大白之后，相关推文被迅速删除，研究人员也承认了失误。但同行可没打算轻易放过他们。DeepMind 首席执行官 Demis Hassabis 直言这种不严谨的沟通令人尴尬，Meta 首席 AI 科学家 Yann LeCun 也发帖嘲讽，认为 OpenAI 纯粹是被自己的宣传泡沫给绊倒了。

陶哲轩眼中的真实价值

抛开夸大宣传的尴尬，这件事其实暴露出一个被掩盖的真实能力：GPT-5 在处理碎片化、术语不统一的学术文献时，确实展现出了很强的检索和关联能力。

著名数学家陶哲轩对此给出了相对理性的评价。他认为 AI 目前在数学领域最直接的价值，本来就不是去攻克那些最难的顶尖猜想，而是替学者干脏活累活，比如跨学科搜索分散的论文。

陶哲轩此前曾提到，生成式 AI 有望帮助数学研究走向某种程度的工业化，从而大幅加快科研节奏。不过他也强调，哪怕只是文献梳理，最终依然必须由具备深厚专业知识的人类学者来把关、分类和验证。

为什么重要

我们认为，这起乌龙事件精准折射出 OpenAI 内部正在承受的巨大变现与竞争焦虑。

为了给下一代模型造势，背负数百亿美元期待的团队似乎急于向外界证明，AI 已经跨越了语言工具的范畴，开始成为能够自主探索未知科学的超级大脑。但用模糊的修辞把一次漂亮的文献检索包装成重大科学突破，不仅没能立威，反而重创了其研究团队的严谨声誉。

对于科研人员和普通从业者来说，这件事也是个清醒剂。指望现在的 AI 替人类搞出颠覆性的原创科研成果还不切实际，现在盲目信任其结论依然要承担极高的验证成本。但如果你把它当成一个不知疲倦的文献调研助手，它的表现确实值得一试。

看起来，AI 行业当下最缺的不是更聪明的模型，而是诚实面对模型真实边界的克制与清醒。