Anthropic数学家使用Fable 5证明雅可比猜想反例

Anthropic一位数学家使用Fable 5模型证明了雅可比猜想的一个反例，该猜想87年来未被解决，曾列入21世纪18大数学难题。随后OpenAI内部Codex版本（不联网）也独立证明了类似反例。该问题曾是张益唐博士的博士论文核心，因其导师给出的错误引理而长期未果。相关推文在Twitter获得超过2000万次浏览，引发对AI数学能力与学术环境的讨论。