# AI 随手证明87年未解数学难题，引学界震动

- 来源：歸藏(guizang.ai) (@op7418)
- 发布时间：2026-07-21 10:49
- AIHOT 分数：64
- AIHOT 链接：https://aihot.virxact.com/items/cmru46tmy55i0bihz4jhiwdeo
- 原文链接：https://x.com/op7418/status/2079398398080500063

## AI 摘要

Anthropic 数学家借助 Fable 5 模型，随手证明了一个困扰学界87年的雅可比猜想反例，该猜想曾入选21世纪18大数学难题。随后 OpenAI 内部 Codex 版本也独立证明了类似反例，表明 Fable 5 及以上模型具备独立解决此类难题的能力。该问题曾是数学家张益唐博士论文的研究方向，因导师给出错误引理而长期未果，AI 的快速解决引发了对学术环境的讨论。

## 正文

昨天 Twitter 上讨论最热的一条内容，超过了两千万次浏览。

Anthropic 的一个数学家用 Fable 5 随手证明了一个雅可比猜想的反例。

这个猜想 87 年来一直没有人能证明是对是错，甚至还上过 21 世纪 18 大数学难题名单。

随后，OpenAI 的人在他们内部的 Codex 版本（不联网的版本）中，也独立证明了类似的反例。

这说明这确实是 Fable 5或者更高等级的 GPT 模型可以独立证明出来的数学难题。

而且 有意思的事，这个问题一直是张益唐博士的博士论文想要解决的问题。

当时张益唐因为他教授提出的一个引理，试图从这个方向去解决这个题，结果一直无法证明，导致毕业后长期找不到工作，只能在快餐店打工，甚至无家可归。

后来他靠证明"素数间的有界间隙"才一举成名。

很有意思的是，当年他的导师给了他一个错误的引理去证明这事，而现在 AI 随手就给解决了。顺便大家还讨论了一下学术界"有毒导师"的问题。

这明明是一个非常难的数学问题，但这哥们儿就随手发了一条推特，里面只有一串公式，没有什么期刊，也没有什么论文，甚至连 Twitter 的字符限制都没超过，而且还获得了两千万的浏览量。从传播学上也是一个非常值得讨论的例子。

### 引用推文

> levent：hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup...