Anthropic的数学家随手用Fable 5怼翻了87年的雅可比猜想，OpenAI的Codex也跟上了，连张益唐当年都没搞定，AI这波真有点猛。
Anthropic一位数学家使用Fable 5模型证明了雅可比猜想的一个反例，该猜想87年来未被解决，曾列入21世纪18大数学难题。随后OpenAI内部Codex版本（不联网）也独立证明了类似反例。该问题曾是张益唐博士的博士论文核心，因其导师给出的错误引理而长期未果。相关推文在Twitter获得超过2000万次浏览，引发对AI数学能力与学术环境的讨论。
昨天 Twitter 上讨论最热的一条内容，超过了两千万次浏览。 Anthropic 的一个数学家用 Fable 5 随手证明了一个雅可比猜想的反例。 这个猜想 87 年来一直没有人能证明是对是错...
昨天 Twitter 上讨论最热的一条内容，超过了两千万次浏览。 Anthropic 的一个数学家用 Fable 5 随手证明了一个雅可比猜想的反例。 这个猜想 87 年来一直没有人能证明是对是错，甚至还上过 21 世纪 18 大数学难题名单。 随后，OpenAI 的人在他们内部的 Codex 版本（不联网的版本）中，也独立证明了类似的反例。 这说明这确实是 Fable 5或者更高等级的 GPT 模型可以独立证明出来的数学难题。 而且 有意思的事，这个问题一直是张益唐博士的博士论文想要解决的问题。 当时张益唐因为他教授提出的一个引理，试图从这个方向去解决这个题，结果一直无法证明，导致毕业后长期找不到工作，只能在快餐店打工，甚至无家可归。 后来他靠证明“素数间的有界间隙”才一举成名。 很有意思的是，当年他的导师给了他一个错误的引理去证明这事，而现在 AI 随手就给解决了。顺便大家还讨论了一下学术界“有毒导师”的问题。 这明明是一个非常难的数学问题，但这哥们儿就随手发了一条推特，里面只有一串公式，没有什么期刊，也没有什么论文，甚至连 Twitter 的字符限制都没超过，而且还获得了两千万的浏览量。从传播学上也是一个非常值得讨论的例子。 levent @__alpoge__ 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 final ((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3\to \C^3, has jacobian determinant -2, and sends (0, 0, -1/4), (1, -3/2, 13/2), and (-1, 3/2, 13/2) to (-1/4, 0, 0) 🔗 View Quoted Tweet 💬 8 🔄 1 ❤️ 14 👀 4596 📊 7 ⚡