这几天一条比较轰动的科技新闻是: 有着 87 年历史的雅可比猜想 (Jacobian conjecture) 被 Anthropic 公司的大语言模型 Claude Fable 5 所推翻。 具体地说, 雅可比猜想是德国数学家凯勒 (Ott-Heinrich Keller) 于 1939 年提出的一个有关 N 维空间上多项式映射的猜想, 除一维情形平凡可证外, 其余维数一直悬而未决, 且因产生过大量错误证明而素有 “恶名” (错误证明中包括了张益唐付出数年努力的一个证明因其所用到的导师莫宗坚的一项成果被发现错误而 “泡汤”), 却于 2026 年 7 月 19 日被 Claude Fable 5 用一个反例推翻了 N > 2 的情形 (因此, 雅可比猜想如今只剩下二维情形仍悬而未决)。 更惊人的是: 稍后, OpenAI 公司的大语言模型 GPT-5.6 Sol 也给出了大同小异的反例, 且整理出了构造反例的思路; 再稍后, 则 Claude Fable 5 “伙同” GPT-5.6 Sol 给出了生成无穷多反例的方法…… 而最惊人的则是: 这一过程中, 主要的人类参与者只是 Anthropic 公司和 OpenAI 公司的员工各一名, 数学家的没有。
发布于 美国
