百年猜想，又倒了一个。Anthropic/哈佛数学家 Levent Alpöge 联合 Claude，直接证伪了困扰数学界超过 100 年的 Carathéodory 猜想，顺带击碎了与之互为支撑的 Loewner 指数猜想。一份 PDF 在数学圈流传了整整一周，现在正式公开了。
这已经不是 Alpöge 第一次和 Claude 联手搞事。今年世界杯期间，他就用 Claude 提出了三维雅可比猜想的反例，震动数学界。这一次更彻底：一个显式可验证的反例，同时端掉了两个存活超过百年的猜想。
两个百年猜想，为什么一起倒
先说 Carathéodory 猜想本身。1924 年，德国数学家 Hans Ludwig Hamburger 在微分几何中提出了这个猜想，用他的博士生导师、希腊数学家 Constantin Carathéodory 命名。猜想非常简洁但极难证明：三维欧几里得空间中，任何凸的、闭合的且足够光滑的曲面，必定至少存在两个「脐点」。
脐点，通俗理解就是曲面上「各方向弯曲程度完全一样」的点——局部呈球形，两个主曲率相等。球面上每个点都是脐点，椭球有 2 个。所以这个猜想看起来直觉上「很对」：不管你怎么捏、怎么变形，只要凸面足够光滑，你不可能让脐点只剩一个。
一百年来，无数数学家试过，没人能构造出只有 1 个脐点的光滑凸体。与此平行的是 Loewner 猜想——孤立脐点的指数不超过 1。两个猜想百年来像一对铁锁，锁住了微分几何一整片领地。
脐点难题：为什么直觉在这里失灵
现在，锁被撬开了。Alpöge 和 John-Paul Smith 给出了一个极其具体的构造：他们定义了一族函数 g_k，其中 k=2 时的 g₂ 作为球面支持函数，对应的凸体在原点处产生一个指数为 2 的脐点。
注意，指数 2 已经直接违反 Loewner 猜想的上限 1。更关键的是，由于指数衰减项的存在，g₂ 在数学上保证了 C∞ 光滑——也就是说，这个凸体满足 Carathéodory 猜想要求的一切光滑性条件。但它只有 1 个脐点。
Carathéodory 猜想要求至少 2 个脐点，反例给出 1 个，猜想被证伪；Loewner 指数猜想要求指数为 1，这次是 2，同样被证伪。一个反例，两个猜想同时倒塌。
数学里，证伪一个猜想只需要一个反例。但找到那个反例，可能比证明猜想本身还难。这正是这个结果的分量所在。
撬开铁锁的构造：指数 2 的脐点
回看过去几个月，一条清晰的脉络已经浮现：Claude 在黎曼猜想上创下新纪录，把零点比例下限从 41.6% 提到 67.2%，而过去 37 年人类只推了 0.8%；OpenAI 集中发布 10 项数学和理论计算机科学进展；Alpöge 连续用 Claude 证伪多个经典猜想；新晋菲尔兹奖得主宣布加入 OpenAI。
趋势正在改变：AI 不再只是数学家的计算器，它正在变成数学家的「直觉补充器」——在人类直觉失灵的地方，用穷举和构造能力打开新路径。百年猜想不是被更强的人类智慧击碎的，而是被一种全新的人机协作范式击碎的。
这与数学界最近反复讨论的结论一致：价值正在从「生成论证」转向「消化论证」。当 AI 能批量产出证明和反例，稀缺的能力变成了理解、验证和整理机器返回的结果。为什么 AI 的数学突破总以「反例」形式出现？Gowers 的拆解给出了答案。
范式转移：AI 从计算器变成直觉补充器
对做研究的人来说，实际变化立竿见影：猜想现在可以先用搜索工具压测一遍，再决定要不要投入几年去证明。反例便宜且决定性——与其把职业生涯押在一个假命题上，不如先用模型花一周找找有没有反例。
更难的是文化层面的变化。陶哲轩花了好几天时间，把一份 AI 参与的证明从头到尾「消化」了一遍（就像他处理森多夫猜想时那样）；他和菲尔兹奖得主王虹都主张，数学界必须学会「消化」AI 的产出，而不是无视它。正确的证明只是第一关，成果要被专业数学家理解、吸收、重组后才真正可用。生成越便宜，这一层人类工作反而越值钱。
结果里还藏着一个警告：如果 AI 能构造出违背百年直觉的 C∞ 曲面，那么直觉——哪怕是最优秀数学家的集体直觉——也不再是判断真假的可靠依据。前沿问题从「能不能证明」变成了「一开始猜对没有」。
对数学意味着什么
如果你是研究者：动笔之前先把模型放进循环。陈述猜想，让模型去搜反例，把「没搜到」当作一次信心校验。你不是让模型替代思考，而是让它找出你的直觉会过滤掉的东西。
如果你是数学家：投资「验证与消化」的技能。学会检查机器产出的构造、形式化它、重组成社区能用的形态，正从「可有可无」变成核心能力。
如果你只是旁观者：别再把「AI 解决了一道难题」当新闻。这就是现在的常态。真正值得追问的问题，不再是模型能不能掀翻某个猜想——而是下一个被掀翻的直觉、下一个被突破的领域，会是谁。
现在该做什么
把前面的判断落到动作，三步即可开始。第一步，把模型加进「反例搜索」环节：任何一个你准备投入几年的猜想，先让模型花一周压测，反例出现就止损，赌注从几年缩到一周。第二步，把「消化」变成正式能力：成立或加入负责检查、形式化、重组 AI 产出的小组——生成越便宜，这层人类工作越值钱。第三步，重置直觉的默认值：过去「显然成立」的结论现在默认存疑，直到被机器压测过。Carathéodory 的倒塌不是终点，而是第一批多米诺骨牌里的第一张；下一个被掀翻的直觉，正在路上。
