从雅可比猜想到千禧年大奖难题：Fable正在把数学的"不可能清单"变成"待办清单"
2026年7月19日夜，世界杯决赛正在进行。Anthropic研究员、哈佛大学青年研究员莱文特·阿尔珀格一边和朋友看球闲聊，一边把一道悬置87年的数学难题丢给Claude Fable 5。几小时后，Fable输出一个仅216字符的反例——雅可比猜想在三维及以上空间被证伪。
这不是Fable第一次震动数学界。一个月前，它在FrontierMath最高难度Tier 4评测拿到88%的得分，领先OpenAI的GPT-5.5达13个百分点。8月1日之后，它又在断网、防信息泄露的隔离条件下，24小时内独立复现了OpenAI Astra十项成果当中的五项。
但雅可比猜想的意义截然不同。它被菲尔兹奖得主斯蒂芬·斯梅尔列入《21世纪18个数学难题》，是代数几何领域最知名的公开问题之一。Fable所做的不是"优化上界"或是"改进常数"，而是直接回答了一道搁置87年无人攻克的难题——而且只用了几百个字符。
216字符的反例，与一道87年猜想的落幕
阿尔珀格在X平台发了一条连大小写都未区分的推文："大家好，雅可比猜想错了。"这条推文短时间内录得逾2000万次浏览，多位数学家包括斯坦福大学数论学家Jared Duker Lichtman及加州大学洛杉矶分校教授陶哲轩，均公开撰文确认运算无误。
菲尔兹奖得主蒂莫西·高尔斯评价道："倘若属实，这是大语言模型第一次解决一个虽不属于我的研究领域，但我久闻大名的重大问题。"
💡 需要客观界定这次成果的范围：该反例推翻的是"一般维数版"雅可比猜想（n≥3）。从三维反例出发，在后面补上保持不变的新坐标，还能得到所有n>3的反例；但二维情形仍然悬而未决，属于独立的未解问题。此外，反例已有预印本公开，并经多名数学家独立核实计算无误，但正式学术期刊同行评审程序仍在进行中。
雅可比猜想由德国数学家奥特·海因里希·凯勒于1939年正式提出。它探讨的是：对于多项式映射，若它在每一处局部都满足"无折叠"条件——雅可比行列式恒等于同一个非零常数，那么该映射整体是否必然是一一对应的？
Fable 5构造的三元多项式映射，雅可比行列式恒等于-2，完全满足猜想的前提条件。然而分别代入三个完全不同的点：(0, 0, -1/4)、(1, -3/2, 13/2)、(-1, 3/2, 13/2)，输出结果却全部为同一个点(-1/4, 0, 0)。多个不同输入对应同一个输出，该映射不具备单射性质。雅可比猜想在三维情形下不成立。
该反例形式简洁，极易复现。伦敦玛丽女王大学的阿布舍克·萨哈表示，已有许多数学家独立核验该反例——大批数学家借助Wolfram Alpha、SymPy等工具独立演算，两项最关键的核验：雅可比行列式是否恒为-2、三个不同点是否确实映射到同一点，均已通过公开演算得到确认。这或许是获得全球学界认可速度最快的重大数学结论。
哥伦比亚大学数学家安德鲁·布隆伯格的评价代表一部分学者的冷静观点：这正是他期待AI做到的事——去探索人类难以穷尽的多项式空间。IBM的奥利维娅·布泽克说得更为直白："不是人类解不开雅可比猜想，只是模型完成了更多尝试。"
Fable Conjecture：把"探索"做成24小时不停机的工程
Anthropic的布局远比外界看到的更大。
据业内消息，Anthropic内部上线代号为"Fable Conjecture"的专属平台，让Fable 5以持续、无人值守的模式，对千禧年大奖剩余六道难题发起系统性攻坚。
千禧年大奖难题：2000年克雷数学研究所选出七道世纪级数学难题，每道奖金100万美元。迄今为止只有庞加莱猜想得到解决。剩下六道：P对NP问题、霍奇猜想、黎曼猜想、杨-米尔斯存在性与质量缺口、纳维-斯托克斯方程解的存在性与光滑性、BSD猜想，每一道都是数学版图中最难啃的硬骨头。
OpenAI在8月1日Astra成果发布中承认，他们尝试过其他重大难题，但千禧年大奖一道也未能攻克。而Anthropic选择低调行事，不开任何发布会，直接让Fable 5全天候不间断运算。
Fable 5拥有这份底气。它是Anthropic第一款对外开放的Mythos（神话）级模型——在此之前，Mythos系列因为极强的网络安全能力被刻意封存。Fable 5定价为每百万输入Token 10美元，每百万输出Token 50美元。价格并不低廉，但能力配得上这份定价。
而数学恰恰极度需要这种"大规模探索"。
IBM的卡乌阿尔·埃尔-马格拉维说得十分透彻："数学家独自对着黑板苦思三年的时代正式落幕。数学正在成为一项'机器辅助的团队运动'。""Fable Conjecture"平台就是这套理念的工程化落地：不再是偶尔用AI做辅助，而是将AI打造为数学探索的基础设施。
⚠️ 需要客观看待"Fable Conjecture"的预期：这是一个以失败为常态的长期工程。项目方明确说明，预期结果是"每一次运行都以极高概率失败"，真正的价值在于观测模型失败的分布是否携带信号——它能否自主重新发现已知障碍、能否判断两条死路中哪一条"没那么死"、能否区分"重构了已解的控制问题"与"仅仅背诵了它"。这与"即将攻克千禧年难题"是两回事。
从"找到反例"到"理解成因"，中间只差不断追问
质疑声从未消散。雅可比猜想的反例遭到部分批评：本质上没有产出新认知，只找到了反例，却没有解释背后的成因。布隆伯格的比喻十分尖锐：倘若摩西走下西奈山，手中石板只写着"癌症可以被治愈"——你想要的绝不只是答案，更希望从中获得理解。
但从"找到反例"到"理解成因"，中间只差不断追问。而Fable最擅长的正是24小时不间断地开展追问。
IBM的安比·加内桑也指出：高质量的AI成果，出自那些擅长引导智能体与模型的人。阿尔珀格能够推翻雅可比猜想，不只是Fable本身足够强大，更在于他懂得该提出什么样的问题。"Fable Conjecture"平台的意义，就是把"懂得如何提问"这件事体系化：集合顶尖数学家与最强模型，组建全天候联合探索单元。
从雅可比猜想216字符的反例，到"Fable Conjecture"平台对六道千禧年大奖难题发起系统性冲击，Anthropic正在完成一件事：把数学的"不可能清单"改写为"待办清单"。
剩下六道难题，每一道的难度都高于雅可比猜想。但Fable已经证明：部分难题数百年悬而未决，未必是因为它本身不可解，而是人类穷尽可能性空间的速度太过缓慢。 而AI恰恰擅长这件事。
一位匿名数学家在MathOverflow留下一句话："我们或许正在见证数学史上最后一批由'人类独立攻克'的重大难题。"这句话听上去像一则预言，但全天候运转的Fable Conjecture平台，正把这则预言变成一份每日更新的进度报告。
算力平权时代，接入层成为企业最务实的落脚点
雅可比猜想的推演过程揭示了一个趋势：当头部模型能力快速平权、AI推理成本持续下探，稳定、低成本、多模型可切换的接入服务，已经成为企业智能化转型的新基础设施。
在这一背景下，UseAIAPI提供了值得关注的一站式解决方案。平台一站式聚合Gemini（含3.6 Flash、3.5 Flash、3.1 Pro等最新模型）、Claude、ChatGPT、DeepSeek等全球主流大模型的最新版本，Claude全系（含Fable 5）均在支持列表内，开发者无需分别对接各家接口，通过一个统一入口即可灵活调用；面向企业用户，UseAIAPI支持企业级定制化部署服务，提供海外节点直连原厂机房、高并发专线架构、可视化财务看板与按项目消耗溯源，并配套专属技术对接群与资深架构师7×24小时响应，让预算管控精准高效。
在价格层面，平台优惠折扣最低可达官方定价的50%。以Gemini主力模型为例，通过UseAIAPI接入后的实际成本为：
Gemini 3.6 Flash：从官方价 1.5/7.5 美元降至 0.75/3.75 美元每百万Token
Gemini 3.5 Flash：从官方价 1.5/9 美元降至 0.75/4.5 美元每百万Token
Gemini 3.1 Pro（200K以内）：从官方价 2/12 美元降至 1/6 美元每百万Token
Gemini 3.1 Pro（200K以上）：从官方价 4/18 美元降至 2/9 美元每百万Token
以Claude系列为例，通过UseAIAPI接入后，原本Opus 4.8的5/25美元单价、Sonnet 5的2/10美元促销价，都将在官方价基础上进一步下探；企业级定制方案还可结合Batch API机制叠加优惠，将长上下文、高并发、持续运行的智能体工作流的单位成本进一步下压。在代码生成、长文本处理、批量内容产出、多智能体并行等高频企业场景里，月度调用成本相较直连官方通常能降40%–50%，真正实现"无忧接入、按需扩展"。
💡 216字符的反例推翻了87年的雅可比猜想；而对企业与开发者而言，选对接入通道、锁定可持续的算力成本，往往比追逐单个模型的"首发"更为重要。当"提出正确问题"成为AI时代最稀缺的能力，让AI能力以合理的成本、灵活的方式为团队所用，就是释放这种稀缺能力的前提。
一场乏味的世界杯决赛，一段216字符的公式，一个87年猜想的落幕。Fable 5用几个小时完成的事，人类数学家用了87年没能做到——但这份成果诞生于"懂得提问的人"与"懂得计算的机器"的协同之中。
数学研究如此，企业智能化转型亦如此。AI不会代替人类思考，但它可以代替人类，遍历那些"庞大到人力不可能穷尽"的可能性角落。而让这种遍历以合理的成本、灵活的方式发生，正是UseAIAPI这类统一接入平台在AI时代存在的核心价值。