Anthropic 的一个数学家用 Fable 5 随手证明了一个雅可比猜想的反例。
这个猜想 87 年来一直没有人能证明是对是错，甚至还上过 21 世纪 18 大数学难名单。
随后，OpenAI 的人在他们内部的 Codex 版本（不联网的版本）中，也独立证明了类似的反例。
这说明这确实是 Fable 5或者更高等级的 GPT 模型可以独立证明出来的数学难。
而且 有意思的事，这个问一直是张益唐博士的博士论文想要解决的问。
当时张益唐因为他教授提出的一个引理，试图从这个方向去解决这个，结果一直无法证明，导致毕业后长期找不到工作，只能在快餐店打工，甚至无家可归。
后来他靠证明“素数间的有界间隙”才一举成名。
很有意思的是，当年他的导师给了他一个错误的引理去证明这事，而现在 AI 随手就给解决了。顺便大家还讨论了一下学术界“有毒导师”的问。
这明明是一个非常难的数学问，但这哥们儿就随手发了一条，里面只有一串公式，没有什么期刊，也没有什么论文，甚至连 Twitter 的字符限制都没超过，而且还获得了两千万的浏览量。从传播学上也是一个非常值得讨论的例子。
@aigc1024
