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 条相关)→
「公司和人」频道最新
- Warp 六个非工程团队全用 Linear 和 Claude Code 工程化运作 — mon__lim · 2026-09-11
- Anthropic 内部爆料:并非人人都持高 p(doom) 灾难论 — anpaure · 2026-09-11
- AI 电影节 Lumara 将登陆纽约,顶级 AI 电影人齐聚评审 — 0xAllen_ · 2026-09-11
- Anthropic 研究员被指暗中窥探学术客户研究、抢先出成果引争议 — basedjensen · 2026-09-11
- 投资人放话:Palantir×英伟达联手将重创 Anthropic IPO 估值 — pdamodaran · 2026-09-11
- a16z 播客:两三人小团队为何在政策讨论中集体失声 — a16z Podcast · 2026-09-11