Claude Fable5 找到雅可比猜想反例
机器之心 · wechat · 2026-07-20
Anthropic 研究员 Levent Alpoge 说,Claude Fable5 帮他找到了 雅可比猜想 的一个反例。
- 他在推文里给出一个从 \(C^3 \to C^3\) 的具体多项式映射:雅可比行列式恒为 -2,但它把三个不同输入映到同一个输出,因此不可能全局可逆。
- 这条推文在数学圈和 AI 圈迅速发酵,很多数学家与 HN 用户都在复算关键数值。
- 文章回顾了雅可比猜想为何难了 85 年,也强调该结果目前仍未经过正式同行评审;更大的争议是:模型是在检索既有数学,还是参与了新的发现。
- 文中还提到,这个猜想与 张益唐 早年的博士课题有历史关联。
所属事件:传Claude Fable 5推翻雅可比猜想引爆AI数学梗(70 条相关)→
「公司和人」频道最新
- FutureCaribbean Buildathon 提供 5 万美元奖金和 H200 算力 — HeyAmit_ · 2026-07-21
- 可靠性不是里程碑,而是工程团队的纪律 — rseroter · 2026-07-21
- 企业买的不是 Agent 功能,而是云巨头的信任与治理 — DavidLinthicum · 2026-07-21
- ElevenLabs 设五万美元奖金池,征集最热 AI 音乐 — charis_ai · 2026-07-21
- 一个站会问题,逼出客户流程里的 AI 审批责任人 — YvesMulkers · 2026-07-21
- Ben’s Bites 汇总 Kimi K3、Fable 5、Cursor 成本与自驱公司 — Ben's Bites · 2026-07-21