Claude Fable5 找到雅可比猜想反例
机器之心 · wechat · 2026-07-20
Anthropic 研究员 Levent Alpoge 说,Claude Fable5 帮他找到了 雅可比猜想 的一个反例。
- 他在推文里给出一个从 \(C^3 \to C^3\) 的具体多项式映射:雅可比行列式恒为 -2,但它把三个不同输入映到同一个输出,因此不可能全局可逆。
- 这条推文在数学圈和 AI 圈迅速发酵,很多数学家与 HN 用户都在复算关键数值。
- 文章回顾了雅可比猜想为何难了 85 年,也强调该结果目前仍未经过正式同行评审;更大的争议是:模型是在检索既有数学,还是参与了新的发现。
- 文中还提到,这个猜想与 张益唐 早年的博士课题有历史关联。
所属事件:传Claude Fable 5推翻雅可比猜想引发AI数学狂欢(75 条相关)→
「公司和人」频道最新
- Anthropic 上市文件警告 AI 冲击就业,微软同周推自愿离职计划 — _jaydeepkarale · 2026-10-27
- AI 编码公司 Factory 任命 Alli 为新媒体与初创市场 VP — matanSF · 2026-10-27
- 创始人吐槽 1X 与 Figure logo:早期创业不值得花 3.5 万美元做品牌 — MarwaEldiwiny · 2026-10-27
- 前雅虎 CEO Marissa Mayer 用 AI 替女儿完成学校作业的择优描述 — Polymarket · 2026-10-27
- a16z 第三期 New Media Fellowship 开放申请,首届学员回归操办 — a16z · 2026-10-27
- Anthropic S-1:年消费超 10 万美元客户过半同时用 Claude 平台与官方应用 — RebeccaBellan · 2026-10-27