AI证明雅可比猜想反例引发热议

2026年7月20日，Anthropic的一位数学家（推特账号@__alpoge__）发布了一条推文，声称借助Anthropic的Fable 5模型证明了雅可比猜想的一个反例。推文包含一组从C³到C³的多项式映射公式，并称该猜想为假。该推文迅速获得超过两千万次浏览。

雅可比猜想是一个代数几何领域的经典难题，提出已有87年，曾入选21世纪18大数学难题名单。此前无人能证明其真伪。

随后，OpenAI的研究人员在其内部Codex版本（不联网版本）中独立证明了类似的反例，进一步验证了该结果的可靠性。

值得注意的是，雅可比猜想正是著名数学家张益唐博士论文试图解决的问题。张益唐的导师曾给他一个引理，希望他以此方向攻克该猜想，但该引理被证实是错误的，导致张益唐长期无法完成论文，毕业后只能在快餐店打工，甚至无家可归。

后来张益唐凭借证明“素数间的有界间隙”一举成名，但雅可比猜想始终是他学术生涯中的一个遗憾。如今AI随手解决了这个问题，令人唏嘘。

这一事件也引发了学术界对“有毒导师”问题的讨论——导师提供错误方向可能对年轻学者造成毁灭性影响。

该证明的发布方式极具颠覆性：没有经过期刊审稿，没有正式论文，甚至没有超过推特字符限制，仅凭一串公式就获得了千万级传播。这标志着科研成果发布渠道的范式转变。

从传播学角度看，AI辅助的数学发现以极低成本（一条推文）触达了传统学术传播无法比拟的受众，但也引发了关于结果验证和学术规范的讨论。