Claude Fable 5 给出单行公式：推翻困扰数学界数十年的雅可比猜想

数学家们为了一个 1939 年提出来的代数难题争论了快一个世纪，有人甚至预言人类还得再花一百年才能搞定。结果周末大家都在看世界杯决赛，AI 顺手把它给破了。

Anthropic 的研究员 Levent Alpöge 在 X 上发了一则帖子，语气轻松得像是在聊家常。他贴出了 Claude Fable 5 给出的一行公式，直接打破了数学界著名的雅可比猜想。

Alpöge 在帖子里调侃，感谢他的好朋友 Fable 在世界杯决赛期间还在默默干活。

一行公式直接验算

雅可比猜想从 1939 年提出以来，一直困扰着代数几何领域的学者们。

2008 年的时候，著名数学家 T.T. Moh 还悲观地预测过，人类要想彻底解决雅可比猜想，可能还得再花上 100 年左右。

在这几十年里，数学界其实见过好几次宣称搞定它的方案，但往往写了厚厚几十上百页纸，最后在同行检验时被逐一找出漏洞，接连散架。

但这次完全不一样。专家们指出，Claude Fable 5 给出的答案极度简洁，就是一行公式，简洁到数学家可以直接在草稿纸上完成验算和确认。

今年前沿大模型在数学领域几乎是在排队交卷。此前已经有几个悬而未决的 Erdős 开放问题被攻克，OpenAI 团队也刚刚解决了有 80 年历史的单位距离难题。

为什么重要

我们认为，这件事最震撼的地方不仅在于一道难题被打破，而在于它被解决的方式。

对研究人员和普通用户来说，AI 正在从帮忙改改格式、写写样板代码的工具，变成能够真正突破认知边界的探索者。以往验证复杂论文要耗费顶级学者数月甚至数年，而一个短到极致的反例，直接把验证门槛降到了最低。虽然 Fable 5 还没普及到每个人的桌面上，但这种寻找极限数学特例的能力，已经证明了它不是在死记硬背。

对整个行业而言，数学一直被看作检验模型纯逻辑推理的试金石。过去常有人质疑模型没有真正的推理能力，只是概率拼接。但构建一个未知的数学反例，需要极其精准的结构搜索。随着各大机构在数学攻坚上密集交卷，前沿模型的竞争焦点，显然已经从写诗聊天彻底转向了高难度逻辑发现。

点评它的做法，这种用单行公式直接切中命门的手法非常漂亮。它避开了冗长证明可能带来的隐形逻辑漏洞，让结果无懈可击。不过隐患也在这里：AI 能掏出符合规则的孤立反例，却未必能解释其背后的系统性理论，人类数学家还得去给这行天外来客般的公式补齐理论大厦。

世界上最聪明的数学家们花了数十年啃不动的骨头，被 AI 当成看球期间的副线任务轻松解决。随着模型规模继续放大，我们很难想象，学术界留给人类去解的百年难题还能剩多少。