Anthropic联手哈佛数学家，用Claude证伪百年Carathéodory猜想
新智元 · wechat · 2026-08-20
Anthropic/哈佛数学家Levent Alpöge联合Claude，直接证伪了困扰数学界超过100年的Carathéodory猜想，顺带击碎了Loewner指数猜想。
核心发现
- 构造反例：Alpöge 和 John-Paul Smith 给出了一个极其具体的构造函数 g₂，对应的凸体在原点处产生一个指数为 2 的脐点。
- 双重证伪：指数 2 直接违反了 Loewner 猜想的上限 1；同时，该凸体满足 C∞ 光滑条件，却只有一个脐点，推翻了 Carathéodory 猜想“至少两个脐点”的断言。
AI 角色转变
- 这不是 Alpöge 第一次和 Claude 联手。此前世界杯期间，他就用 Claude 提出了 3 维雅可比猜想的反例。
- 这一事件标志着 AI 正从“计算器”转变为数学家的“直觉补充器”，在人机协作范式下解决百年难题。
所属事件:Claude 辅助证伪百年卡拉西奥多里猜想(2 条相关)→
「研究」频道最新
- 五药企联邦训练 OpenFold3：2 万私有结构数据不外泄提分 11 个点 — jiqizhixin · 2026-10-16
- 新水印框架 SWAN 把签名藏进句义，改写也难抹掉 — burkov · 2026-10-16
- 可解释性圈起争执:"神经网络本就干净"结论被指夸大 — aryaman2020 · 2026-10-16
- LayerTrim：免训练剪枝保住推理模型 AIME 能力 — SeoulNatlUniv · 2026-10-16
- Simular 在 BayLearn 展示神经符号化计算机使用 Agent — xwang_lk · 2026-10-16
- Google 量子负责人 Neven 谈芯片测试争议并计划把大脑连上量子计算机 — Chris_Armstrong · 2026-10-16