Anthropic 的 Fable 5 模型成功证明了困扰数学界 87 年的雅可比猜想反例，OpenAI 的 Codex 也独立得出了类似结论。
📝 详细摘要
推文报道了 AI 在高难度数学证明领域的重大突破：Anthropic 的 Fable 5 模型通过给出的数学公式（见引用推文）成功证明了雅可比猜想的反例。这一成果不仅在技术上具有里程碑意义，且 OpenAI 的 Codex 模型也独立验证了该结论。作者还结合数学家张益唐的经历，探讨了学术界问题以及该事件在传播学上的现象级影响力。
📊 文章信息
AI 初评：85
来源：歸藏(guizang.ai)(@op7418)
作者：歸藏(guizang.ai)
分类：人工智能
语言：中文
阅读时间：3 分钟
字数：532
标签： AI 数学证明, Anthropic, Fable 5, 雅可比猜想, OpenAI