Claude Fable 提出雅可比猜想反例：80 年数学难题现松动

这两天数学社区和 AI 圈同时被一条 X 帖子点燃：有人说，一道从 1939 年提出、困扰学界 80 多年的经典猜想，可能被一个反例推翻了——而临门一脚，是 Anthropic 家的 Claude Fable 踢出来的。事情真假暂且不论，光是“AI 陪着找出数学猜想反例”这个叙事，就足够刷屏。想第一时间用上 Fable 5 这类前沿模型的国内用户，也顺带关心起自己的Claude AI 访问环境是否干净。

发生了什么

发帖者是数学家 Levent Alpöge。据其在 X 上的说法，雅可比猜想已被证伪，功劳要分给两方：朋友 Akhil 提出的关键疑问，以及“另一位 AI 朋友”Claude Fable 在 2026 年世界杯决赛期间的一通推演。换句话说，他是一边看球、一边和模型对话，把候选构造给磨了出来。

• 猜想本体：雅可比猜想大意是，若一个多项式映射的雅可比行列式是非零常数，那么它应当是可逆的。这个命题看着简单，却顽固地悬了 80 多年。
• 反例形态：据称是 C³（三维复空间）上的一张多项式映射，雅可比行列式恒等于常数 −2，却被主张为不可逆——若成立，正好戳破猜想。
• AI 的角色：Claude Fable 5 负责生成候选构造与代数推演步骤，Alpöge 则在旁把关、验算。
• 自证材料：帖子里附了 WolframAlpha 的验证链接，用于对中间步骤做“健全性检查”。

细节与验证现状

热闹归热闹，几个“冷水”必须先泼清楚。其一，这是社交媒体上的自宣，没有期刊、没有同行评议，也没有正式的 arXiv 清稿——连 Alpöge 本人和转述媒体都强调，推特长串里指数容易“串位”，不宜直接照抄公式。其二，WolframAlpha 链接只能算“过程对不对”的抽查，不等于整体证明成立。其三，Fable 5.1 在纯数学推理上的可靠性本就存疑，AI 给出的漂亮步骤，仍需人类逐行复核。

Hacker News 上的讨论热度不低，风向是“半信半疑 + 等评审”：既承认这类反例一旦写清楚、验证起来可能并不难，也普遍认为在正式评议落地前，不该急着改写教科书。维基百科相关词条的讨论页也出现了类似争论——在被数学界正式接受之前，这道题的官方状态仍是“未解”。

为什么值得关注

抛开真伪，这件事的看点在于“人 + 前沿模型”协作攻坚硬核数学的样本又添一例。过去大家更习惯拿 AI 写代码、做总结；而让模型深度参与到猜想反例的构造里，且能给出可被 WolframAlpha 抽查的中间结果，说明前沿模型在符号推理上的边界正被反复试探。这也是为什么每次 Claude 家新模型（无论 Fable、Opus 还是 Sonnet）有大动作，围观者里既有数学家，也有一大批想亲手上手试的普通用户。

对国内和走代理的用户来说，真正的门槛往往不在“会不会用”，而在“连不连得上、账号稳不稳”。想验证 Fable 5 的数学能力，先得有一个不被风控、不触发地区限制的访问环境——这恰恰是很多人踩坑的地方。

这对国内 / 代理用户意味着什么

每逢 Claude 出圈，都会有一波新用户涌入，随后就是熟悉的三连问：为什么我这边打不开、为什么刚注册就被封、为什么同一条线路别人能用我不行。答案八成藏在你的出口 IP、时区与网络指纹里。与其反复试错，不如先做一次自查：

• 打开 Claude AI IP 检测，看当前出口 IP 是否被判定为高风险、是否落在 Claude 支持的地区。
• 用 时区自查 核对系统时区与 IP 归属地是否一致——错位是最常见、也最容易被忽略的风控触发点。
• 参考 Claude 分流规则，确认相关域名走的是干净直连还是可靠代理，避免把请求混进被污染的线路。
• 担心账号安全的，读一读 风控与账号身份，把容易“撞枪口”的行为提前规避。
• 用命令行的，配合 Claude Code 稳定使用指南 与 IPv6 相关设置，把环境一次性调稳。

说明：本文依据公开社媒信息与外媒报道整理，相关结论“据称”尚未经同行评议，请以后续正式发表与学界复核为准，本文不代表对该反例成立与否的判断。