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