时间:2026 年 8 月 20 日(PDF 在数学圈流传一周后正式公开)/ 8 月 21 日(中文媒体集中报道)
地点:美国·哈佛大学 / Anthropic / 互联网 X 平台
人物:哈佛数学家 / Anthropic 研究员 Levent Alpöge;合作者 John-Paul Smith;Anthropic Claude(Fable 5 旗舰模型);数学界全体关注者
事件详情:8 月 20 日,Levent Alpöge 与 John-Paul Smith 联合 Claude,正式公开一份 PDF,证伪困扰数学界超过 100 年的 Carathéodory 猜想,同时击碎与之紧密相关的 Loewner 指数猜想。这是 Alpöge 继 2026 年 7 月用 Claude 推翻 87 年雅可比猜想后,又一次以 AI 协作的方式击碎经典数学猜想。
猜想背景:
- Carathéodory 猜想由 Hans Ludwig Hamburger 于 1924 年在柏林数学学会的一次会议上以导师 Constantin Carathéodory 命名提出,主张三维欧几里得空间中任何凸的、闭合且足够光滑的曲面必定至少存在两个"脐点"(umbilic point,即所有方向弯曲程度相同的点)。
- 球面有无穷多个脐点,椭球只有 2 个。一百年来无数数学家尝试构造只有一个脐点的光滑凸体,没人成功。
- Loewner 指数猜想(也称 Hamburger 局部指标猜想)则是 Carathéodory 猜想的"支撑骨架"——孤立脐点的指数不超过 1。两者百年来像一对铁锁,锁住微分几何一整片领地。
反例构造:
- Alpöge 与 Smith 定义一族函数 g_k,取 k=2 时的 g_2 作为球面支持函数,对应的凸体在原点处产生一个指数为 2 的脐点。
- 由于指数衰减项的存在,g_2 在数学上保证 C∞ 光滑——凸体满足 Carathéodory 猜想要求的一切光滑性条件。
- 但它只有 1 个脐点。Carathéodory 猜想要求至少 2 个——被证伪。
- 指数 2 也直接违反 Loewner 猜想的上限 1——Loewner 指数猜想被证伪。
- 一个显式、可验证的反例,同时干掉两个存活超过百年的猜想。
Alpöge 与 Claude 的协作脉络:
- 7 月 24 日:Alpöge 在 X 平台宣布用 Anthropic 的 Claude Fable 5 给出 87 年雅可比猜想的反例。
- 8 月 11 日:相关新闻"AI Cracks 87-Year-Old Math Mystery, Disproves Jacobian Conjecture"在 News18 等媒体广泛传播。
- 8 月 20 日:Carathéodory 猜想反例 PDF 正式公开。
- 8 月 21 日:36 氪、火星财经、PE Daily 等中文媒体跟进报道。
背景:过去几个月,AI 与数学协作的密度明显增加——Claude 在黎曼猜想上将零点比例下限从 41.6% 推到 67.2%(37 年人类只推了 0.8%);OpenAI 集中发布 10 项数学和理论计算机科学进展;Alpöge 连续用 Claude 证伪多个经典猜想;新晋菲尔兹奖得主宣布加入 OpenAI。AI 不再只是数学家的计算器,而正在成为数学家的"直觉补充器"——在人类直觉失灵的地方,用穷举和构造能力打开新路径。
影响:
- 数学:Carathéodory 与 Loewner 两个猜想被同一份反例同时推翻,可能改变微分几何与奇点理论的研究方向;Hamburger 1940 年对解析情形的证明、Cohn-Vossen、Bol、Klotz 等人的早期证明涉及的"指数 ≤ 1"核心引理被实质性突破。
- AI 协作范式:百年猜想不再被更强的人类智慧单独击碎,而是被"人 + 模型"的协作范式击碎;这将推动更多数学家在经典猜想中引入 AI 作为构造伙伴。
- 行业:Anthropic Claude 在"AI 解决数学难题"的公众印象中抢得先手,与 OpenAI 数学推理模型形成正面竞争;"AI for Science"叙事再次获得标志性案例。
- 教育:数学家与 AI 协作的工作流可能成为未来数学研究生的标准训练内容。
总结:百年猜想不是被更强的人类智慧击碎的,而是被一种新的人机协作范式击碎的——Levent Alpöge + Claude 联手,用一个指数 2 的脐点反例同时证伪 Carathéodory 猜想与 Loewner 指数猜想。这种范式还会继续击碎更多猜想,问题只是:下一个倒下的,会是哪一个。
参考来源:
1. 36氪「黎曼猜想之后,Claude再破百年猜想」:https://www.36kr.com/p/3947773948247424
2. 火星财经:https://news.marsbit.co/20260820203023685400.html
3. PE Daily 投资界:https://m.pedaily.cn/news/567949
4. 7 Globe News(雅可比猜想 Claude 证伪):https://www.7globe.in/anthropic-researcher-thanks-claude-for-solving-87-year-old-math-conjecture-says-jacobian-conjecture-is-false
5. News18(雅可比猜想报道):https://stgpaper.news18.com/education-career/ai-cracks-87-year-old-math-mystery-disproves-jacobian-conjecture-ws-e-10230799.html
6. Alpöge X 推文:https://x.com/alpoge/status/2089971359921156203
7. Haider X 推文:https://x.com/haider1/status/2090034966717677902
8. Carathéodory conjecture 维基百科:https://en.m.wikipedia.com/wiki/Carath%C3%A9odory_conjecture
9. Pinocchiopedia 词条:https://pinocchiopedia.com/wiki/Carath%C3%A9odory_conjecture
10. Guilfoyle & Klingenberg 关于孤立脐点的论文:https://link.intlpress.com/JDetail/1805783598877859841









