1924年提出的Carathéodory猜想，在2026年8月等来了一个否定的回答。Anthropic数学家Levent Alpöge与John-Paul Smith合作、由Claude参与验证的构造显示：存在只有一个脐点的C∞光滑凸闭曲面。猜想要求的「至少两个脐点」不再成立，与之相伴的Loewner指数猜想同时被击穿。
8月19日，Alpöge在X上公布了完整构造。此前一周，他与密歇根大学的micah Warren聊到各自偏爱的数学问题时提到这个猜想，本想只是读读文献，却看到这个领域纠缠了几十年的可疑证明史，于是问对方：能不能用模型看一眼。他和Smith动手构造，Claude负责检查推导。一份PDF写好后先在小范围流传了一周，随后公开发布。
两个被锁了一个世纪的猜想
Carathéodory猜想属于微分几何，讨论的是三维欧氏空间里的凸闭曲面。猜想断言：任何凸的、闭合的、足够光滑的曲面必定至少存在两个脐点。
脐点（umbilic point）是曲面上各方向弯曲程度完全一致的点。在脐点处，两个主曲率相等，曲面局部近似一个球面。球面上每个点都是脐点；椭球面则恰好有两个。猜想以希腊数学家Constantin Carathéodory命名，但实际是他的博士生Hans Hamburger在1924年的柏林数学学会会议上提出并归功于导师。Carathéodory本人从未把这个猜想写进论文。
「至少两个」这个下界有拓扑学依据。凸闭曲面与球面同胚，其主方向场在非脐点处良定义。由Poincaré-Hopf指标定理，球面上向量场的奇点指标总和必须等于Euler示性数2。如果每个孤立脐点的指标不超过1，那么单脐点曲面不可能存在，脐点至少两个。1973年Titus发表的对Loewner猜想的证明思路（后来被发现有隙）正是沿这条路走的：先证脐点指标上界，再由拓扑推出脐点个数下界。几乎所有已知证明尝试都遵循这个两步结构。
与全局猜想并行的是局部版本，Loewner指数猜想：孤立脐点的指标不超过1。一个指标为2的单脐点，同时违反这两个猜想。Alpöge和Smith构造的正是这样的对象。
反例长什么样
构造分两层。第一层是一个三角多项式：
f(x + iy) := -cos(2x)/4 + 3cos(2y)/10 - cos(4y)/32 + sin(x)sin(y)
第二层对任意正整数k定义：
g_k(z) := |z|² · e^(−|z|^(−1/4) · e^(−|z|²)) · f((100/z̄)^(k/2)) / (1 + |z|²) + 10¹⁰
g_k在原点z=0处有一个指标为1 + k/2的脐点。取k=2，g₂是球面S² = ℙ¹(ℂ)上的C∞函数，同时是某个凸体的支撑函数，这个凸体只有一个脐点。
支撑函数是凸几何的标准工具：对球面上每个方向u，h(u)给出凸体在该方向的支撑平面位置。支撑函数与曲面几何的联系由Rodrigues公式给出：脐点对应∇²ₛ² h的Hessian与单位阵成比例的位置，脐点指标由Hessian特征方向的旋转向量场决定。支撑函数足够正（加10¹⁰保证这一点）时，它唯一确定一个光滑凸闭曲面。
整个构造的机关在两个因子。f((100/z̄)^(k/2))在z=0附近沿辐角旋转k/2圈，制造出指标1 + k/2的脐点；100这个基数让f的振荡幅度足够小。e^(−|z|^(−1/4) · e^(−|z|²))是光滑化因子：|z|^(−1/4)在原点发散，但被e^(−|z|²)压制后整个指数项连同它乘的f部分在原点「无限阶平坦」，所有导数在原点为零，从而g₂在整个球面上无限次可微。平坦化摧毁了实解析性，却没有损伤C∞光滑性。
反例同时击中两个猜想：它只有一个脐点，违反Carathéodory猜想的「至少两个」；这个脐点的指标是2，超过Loewner猜想的上限1。
在原点，g₂ = 10¹⁰ + q(z)，q在原点无限阶平坦，Hessian的缩放极限主导一切：两个主曲率半径均等于10¹⁰，主曲率均为10⁻¹⁰且相等，z=0是脐点；特征方向场绕原点恰好转一圈，指标为2。而球面其余点由支撑函数的微小扰动控制，不再产生别的脐点。
与「已证明」的正面冲突
反例最重的分量落在一个具体的地方：Guilfoyle与Klingenberg的程序。
Brendan Guilfoyle（芒斯特理工大学）与Wilhelm Klingenberg（杜伦大学）自2008年起分三部曲发表了一个证明，声称对C^{3,α}光滑的凸闭曲面确立了Carathéodory猜想。方法把曲面法线汇视为Klein二次曲面中的Lagrange子流形，脐点对应Lagrange的复点，再通过平均曲率流与Sard-Smale定理排除单脐点曲面的存在。Wikipedia的猜想条目将2025年列为猜想解决年，此前还有Titus 1973、Ivanov 2002等声称的分析情形证明，每一个都有争议。2024年Ghomi综述《The three obdurate conjectures of differential geometry》直接用了「obdurate」（顽固）这个词形容这组问题。
矛盾是直接的：C∞函数是C^{3,α}的，反例曲面满足Guilfoyle-Klingenberg证明所要求的一切正则性。两者的证明与反例不能同时成立。反例本身是显式的、可数值验证的（这正是Claude承担检查工作的部分），PDF已流传一周，数学共同体进一步的核查与回应将决定Guilfoyle-Klingenberg三部曲中哪一步出现裂缝。历史上Bol 1943的证明被Klotz 1959挑出缝隙，Hamburger的解析情形证明被后续文献反复重审，这个领域对「声称的证明」本就有漫长的怀疑传统。
光滑与分析的边界
反例暴露的数学事实是：C∞与实解析之间存在真实的行为鸿沟。
在实解析范畴，Hamburger 1940证明脐点指标上界为1（该证明同样经历了漫长的重审），Carathéodory猜想在解析曲面类内成立。反例的存在说明光滑范畴不能继承解析范畴的结论。机关就是那个平坦化因子：e^(−1/t)型函数是经典反例素材，它无限次可微但无法展成Taylor级数，在原点的Taylor级数恒为零却不等于函数本身。反例正是把脐点的全部信息藏进了这样一段Taylor级数失明的平坦区。
Guilfoyle本人在2020年的单独工作里构造过接近欧氏度量的反例：把ambient度量做微小改动，局部与全局猜想都会失效。也就是说这套方法早已知道：离开严格欧氏设定，单脐点凸曲面并不罕见。新反例把类似的构造塞回了欧氏空间本身，代价是从解析降到C∞。Alpöge与Warren聊天时说想「用模型看一眼」的，正是这个光滑与分析的缝隙。
AI在这件事里的位置
Claude在这项工作里的角色是验证者而非构造者。
Alpöge本人在帖子里写得很清楚：他和Smith构造反例，「claude checked」。原话是「C∞ caratheodory and loewner are false」，随后给出可被模型检验的显式公式形式。这不是他第一次用这种方式工作。2026年7月，他用Claude Fable 5找到了三维Jacobian猜想的反例（多项式映射、常Jacobi行列式-2、三点碰撞），从动手到公布只用了一个晚上；当时同样附上Wolfram Alpha验证链接供任何人核查。更早的8月10日，Claude在黎曼ζ函数零点比例下界上把人类37年推进的0.8个百分点一口气推高了25.6个百分点。
三次事件的共同点是工作流而非模型能力：人类数学家提供问题选择与构造直觉，模型承担大规模符号检查、数值验证与文献比对，显式反例本身可被任何第三方独立验证。数学界对这类结果的接受流程与传统相同：Jacobian反例公布后，New Scientist报道，MathOverflow与Secret Blogging Seminar出现逐行检查，n=2情形仍开放。Carathéodory反例目前处于同一阶段：PDF流传一周后公开，等待专业几何学家的审查。Xena Project的Kevin Buzzard在Jacobian事件后写过一句话：人类数学家正在被「反例超过」（outcounterexampled）。
开发者视角的几条观察
反例是显式的，验证是机械的。 f与g_k的全部系数都是具体有理数，任何有符号计算能力的环境（Mathematica、SymPy、Lean）都能独立复算脐点位置与指标。这类结果的可信度不依赖对作者的信任，这解释了为什么PDF能在几何与代数几何圈子快速流通。
这是第二个被同一团队证伪的百年级猜想。 Jacobian猜想1939年提出，Carathéodory猜想在1924年归名。两个月内两个，且都附机器可验证的显式对象。
「Sufficiently smooth」的语义在几何命题里是实质参数。 这个反例给所有含「足够光滑」类假设的猜想提供了一个新的警戒样本：正则性类之间的缝隙足够藏下一个百年反例。工程里的类比是浮点精度与代数精确算术的差别，藏在缝隙里的行为在数值实验中永远看不到，只有符号层面才能暴露。
结语
Carathéodory猜想102年的历史是一条由声称的证明、被发现的缝隙、再声称的证明组成的长链。Bol、Hamburger、Titus、Ivanov、Guilfoyle-Klingenberg，每一环都被后续文献重审过。现在链条上多了一种新物件：一个显式的、机器参与检查的反例。猜想的解析情形依然成立，光滑情形被否证，Loewner指数猜想同样倒下。数学接下来要做的，是回到Guilfoyle-Klingenberg三部曲里找到那个与显式反例不相容的步骤。这一步不会由模型完成，仍将由读懂那套中性Kähler几何的几何学家完成。
来源：Levent Alpöge 的X帖子（2026-08-19）、Carathéodory conjecture - Wikipedia、新智元报道（36氪转载）、Guilfoyle & Klingenberg 证明三部曲（Wikipedia 引用）、Ghomi, The three obdurate conjectures of differential geometry, arXiv:2502.11716