12:02
官方一手歸藏(guizang.ai)@op7418
官方一手歸藏(guizang.ai)@op7418推荐理由：Anthropic的数学家随手用Fable 5怼翻了87年的雅可比猜想，OpenAI的Codex也跟上了，连张益唐当年都没搞定，AI这波真有点猛。
张益唐
共 1 条相关 AI 资讯
7月21日
12:02
Anthropic一位数学家使用Fable 5模型证明了雅可比猜想的一个反例，该猜想87年来未被解决，曾列入21世纪18大数学难题。随后OpenAI内部Codex版本（不联网）也独立证明了类似反例。该问题曾是张益唐博士的博士论文核心，因其导师给出的错误引理而长期未果。相关推文在Twitter获得超过2000万次浏览，引发对AI数学能力与学术环境的讨论。