Meta AI 破解数学难题的真相：人机协作与老实交代，比能力更重要

这两天「AI 破解数学」的消息又刷屏了。Meta 说它家的 AI 帮着数学家解决了六个数学难题，其中五个在这之前根本没答案，有人已经把它叫成「数学界的 AlphaGo 时刻」。

我先说我的第一反应：不信这个标题。

不是不信 Meta 发了论文，是不信「破解」这两个字。因为就在一年前，一模一样的剧情演过一次，翻车翻得很难看。

那是 2025 年 10 月。OpenAI 的高管在社交媒体上宣布，GPT-5「解决了十个此前未解的埃尔德什数学难题」，还补了一句「科学靠 AI 加速的时代正式开始了」。结果不到一天，维护那个难题数据库的数学家 Thomas Bloom 出来打脸，用了个很重的词：「这是严重误导。」他说得很直白：他那个网站标「未解决」，只是他自己没见过哪篇论文解了它，不代表真没解。GPT-5 干的事，是从海量旧论文里翻出了答案，不是自己想出了新证明。谷歌 DeepMind 的 CEO 说这事「尴尬」，Meta 的 AI 负责人更损，直接说这是「自我爆炸」。

那次闹剧的核心，不是 GPT-5 不够强，是它的人不肯老实交代——把「找到旧答案」说成了「破解难题」，两种完全不同的东西。

所以这次 Meta 的消息一出来，我第一件事就是去翻它到底是怎么说的。

一翻才发现，Meta 这次写得极其克制，克制到几乎是在照着一年前 OpenAI 的反面教材写。 最关键的几个字在这：Meta 说，这六篇论文是数学家「选题、主导」，AI 只在普通聊天窗口里帮忙想思路、写搜索程序、起草段落；然后，另外一组数学家专门负责复核。每一篇论文里，都明确标出了哪段是研究者写的、哪段是 AI 起草的。其中一篇，Meta 直接写「研究者纠正了论证里的漏洞」。

翻译成大白话：AI 是会犯错的，这次是被人抓住了。

这跟「AI 破解数学」的标题，是两码事。标题让人以为 AI 像个人一样坐在那儿把难题解了；真相是 AI 是个手特别快、偶尔会算错的助手，题目是数学家挑的，方向是数学家定的，错了是数学家改的，署名权也分得清清楚楚。

更让人意外的是 Meta 还主动交代了一件事：这六个问题，并不是它独家解出来的。耶鲁的团队早在 8 月就发了其中一道椭圆问题的证明，另一个叫 Nilradical 的 AI 系统 9 月也报过一个反例。Meta 把这些独立的成果都列出来、都致谢了。

一个正在冲热度的公司，主动告诉外界「这事不是我独家的，别人也做了」——这句话的信息量，比「破解六个难题」大得多。 我这两年在做内容，踩过一个很实在的坑。我以前总想多囤点知识，觉得手里素材越多越有底气。后来才慢慢明白，真正缺的不是知识量，是你能不能早一步看见——在一堆人都盯着同一个劲爆标题的时候，那个真正在改变事情走向的信号，其实藏在没被大写加粗的地方。

这次的事就是这样。「破解数学」是加粗的大字，但真正该记住的，是那行小字里的一句话：谁做的，谁写的，错在哪，别人是不是也做了。

为什么这行小字这么重要？因为它直接决定了你该不该信一个 AI 的消息。一年前 OpenAI 那条被删掉的推文，就是省掉了这行小字——不说谁做的、不说是不是旧答案，只甩一个「破解」的结论。今天 Meta 把这一整段都摊开了。

我不是说 Meta 就没私心。它当然是想给自家 AI 抬身价，不然不会挑这个时间发。但两家的区别恰恰就在这：一个是把「人和 AI 各自做了什么」摆到台面上，让你自己判断；一个是只给你一个结论，让你来不及问。

写到这里我得说清边界。这篇说的不是「哪个 AI 数学更强」，这我评不了，也没人有资格现在就下结论。我想讲的是：以后你看到任何一条「AI 做到了某某惊天大事」的消息，先别急着转，先问它三个问题，再去检查它有没有把答案写出来——谁干的、错在哪、是不是它独家的。说了，哪怕消息是错的你也能自己发现；不说，哪怕是真的你也没法信。这话对天天看 AI 新闻的普通人管用，对专业搞研究的也管用；但你要是只想看谁家 AI 又赢了谁家的热闹，那这篇帮不了你。

数学题到底解没解对，期刊审没审过，还要再等。但至少这一次，Meta 把该交代的都交代了。这比「破解六个难题」本身，更值得被记住。