技巧
AI 随手证明87年未解数学难题，引学界震动
Anthropic 数学家借助 Fable 5 模型，随手证明了一个困扰学界87年的雅可比猜想反例，该猜想曾入选21世纪18大数学难题。随后 OpenAI 内部 Codex 版本也独立证明了类似反例，表明 Fable 5 及以上模型具备独立解决此类难题的能力。该问题曾是数学家张益唐博士论文的研究方向，因导师给出错误引理而长期未果，AI 的快速解决引发了对学术环境的讨论。
资讯动态数据由 AI HOT 聚合提供
相关资讯同类最新动态
· X：Vista (@vista8)
· Hacker News 热门（buzzing.cc 中文翻译）
· X：Berry Xia (@berryxia)
· X：OpenRouter (@OpenRouter)
· X：Deedy Das (@deedydas)