Claude协助哈佛数学家破解78年六维球面悬案
Nashnova编辑部
哈佛数学家阿尔珀格与Anthropic的Claude联合证明六维球面S⁶上存在复结构,终结78年悬案;这是AI首次主导构造出一个此前不存在的几何对象,纯数学的能力边界正被重新划定。
这道题悬了78年,到底在问什么?
六维球面S⁶(一个六维空间里的"球壳")上能不能装上复结构(复结构=一套让曲面拥有复数坐标的规则,装上后就能用复分析的工具研究它)——这个问题自1948年提出,一直没人能给出确定答案。
2026年8月24日,哈佛数学家勒文特·阿尔珀格与Claude联合提交了一份108页完整论证,答案是"能"。
这意味着→ 这不是AI帮人跑搜索、查文献,而是参与从零开始构造一个此前不存在的数学对象——性质上是创造,不是筛选。
证明怎么做的?三步"造"出复结构
第一步:用一种特殊的三角群把上半平面"折叠"成底座球面,留下三个特殊点(t=0, 1, ∞)。
第二步:在底座上除三个特殊点外的每一点挂载一个复2-环面(一种四维"甜甜圈"),形成纤维丛;三个点暂时空着。
第三步:用三种经典数学方法分别填补三个窟窿——t=∞用芒福德退化,t=0和t=1用小平对数变换(重数分别为3和4)。填完后,一个紧致的复三维流形X诞生。
用大白话说= 先搭骨架、再铺瓷砖、最后补三个洞——补完之后,整个东西在拓扑上就是S⁶。
怎么确认造出来的就是S⁶?
论文第7节算出X的基本群为平凡群(公式代入参数后结果为1),与球面一致。
再结合胡列维茨定理、怀特黑德定理和斯梅尔1961年的广义庞加莱猜想,确认X与S⁶同胚。
这意味着→ 由于科尔韦尔和米尔诺1963年已证明六维不存在怪球(exotic sphere),同胚直接升级为微分同胚——X就是S⁶本身,没有别的可能。
35天三次突破——前两次和这次有什么不同?
7月20日:用Claude Fable 5给出雅可比猜想(悬置约87年)的反例。
8月10日:一个研究版Claude将黎曼zeta函数零点落在临界线上的已证比例从41.6%提升至67.2%,调度约60个子智能体、执行逾2400条shell命令、消耗约3100万个输出token。
这反映出 前两次可解释为"在已知解空间里高效搜索",而S⁶的复结构此前根本不存在——这一次是从无到有的构造,性质升级。
数学界怎么看?还差什么才算板上钉钉?
数学家乔楚·袁用GPT-5.6 Sol审查约21分钟,未发现漏洞;Sol评价:若108页站稳,"可以说是迄今最重要的AI数学成果"。
纽约州立大学副教授贾斯汀·柯里称:若证明为真,"绝对是最近最了不起的AI成就"。
但论证尚未经过同行评审,最终结论仍待数学界正式验证。这意味着→ 现在是"非常强的候选答案",还不是"定论"。
这对AI能力边界意味着什么?
阿尔珀格本人研究方向是数论与算术几何,并非复几何专家,同时兼任Anthropic博士后——这一身份组合本身就说明AI在其中的角色远不止"助手"。
用大白话说= 以前AI做数学像"超级计算器":你告诉它搜什么,它搜得快。这次它参与的是设计蓝图——从概念层面构造一个新对象。
这反映出 若证明最终成立,"AI只能辅助、不能创造"这条默认边界将正式被打破。
Content is for reference only, not financial advice.