悬了 78 年的世纪难题被攻破了：六维球面 S⁶ 上确实存在复结构。哈佛数学家 Levent Alpöge 与 Anthropic 的 Claude 联手，用一份 108 页的构造性证明给出答案，GPT-5.6 Sol 独立审计后挑不出任何毛病。这是 35 天内 AI 数学的第三项重大突破——也是第一次，AI 不再「搜索」已有解空间，而是亲手「造」出一个新的数学对象。
78 年无人能解的难题
在所有球面中，只有 S² 和 S⁶ 有资格谈论复结构。S² 早已尘埃落定，S⁶ 便成了 1948 年以来的唯一战场：一代代数学家分成「存在」与「不存在」两派，两边都栽了跟头。2016 年，菲尔兹奖得主 Michael Atiyah 公开宣称解决了它，但因论证存在漏洞而被推翻；华人数学大师陈省身晚年也研究过这个问题。
而终结它的 Alpöge，本职是数论与算术几何——复几何并非他的主场。他是哈佛 Society of Fellows 初级研究员，同时在 Anthropic 做博士后。他在 X 上公布结果时，第一句话像是在宣布一个新生命的降生：「欢迎这个漂亮的新几何对象来到这个世界。」
构造：亲手造出一个新对象
Alpöge 和 Claude 绕开了所有人走了几十年的老路，直接动手把对象造出来，再宣告这就是 S⁶ 上的复结构。构造分三步：
第一步，打底座。用 (3,4,∞) 三角群折叠上半平面，剩下的形状直观上就是一个球面，上面钉着三个特殊点：t=0 处的 3 阶点、t=1 处的 4 阶点，以及 t=∞ 处的尖点。
第二步，挂载环面纤维。除这三个特殊点外，球面上每个点都挂上一个复 2-环面（复数维度 2、实数维度 4 的结构）。三个特殊点头顶空空如也，相当于球面被捅出三个窟窿。
第三步，填平窟窿。三个洞恰好各落进一种经典填充法的适用范围：t=∞ 的尖点用 Mumford 的环面退化，塞进的纤维 W 由六次 del Pezzo 曲面的六边形边界三对对边两两粘合而成；t=0 与 t=1 用 Kodaira 的对数变换，重数分别为 3 和 4，正好对应底座上两个点的阶数。三个窟窿填平的一刻，紧致复三维流形 X 就此诞生。
验证：为什么这次站得住
构造出来还不够——X 必须真的是 S⁶。论文第 7 节算出了 X 的基本群：
π₁(X) ≅ ℤ / |12ℓ₀ − 4ℓ₁ − 3ℓ₂|
把 (ℓ₀, ℓ₁, ℓ₂) = (0, 1, −1) 代入，得到 |−1| = 1，基本群平凡——球面上任何圈都能收缩成一个点，X 对上了第一条。X 单连通、整同调与 S⁶ 严丝合缝，搬出 Hurewicz 与 Whitehead 定理一压，它是同伦六维球；再套上 Smale 1961 年的广义庞加莱猜想，同胚于 S⁶。最后一道坎是光滑结构：Kervaire 与 Milnor 在 1963 年算清，六维世界里恰好一个怪球都没有（七维有 28 个），于是同胚升级为微分同胚——X 就是 S⁶ 本身。
AI 验证在这里入场：数学家 Qiaochu Yuan 特意用 GPT-5.6 Sol 去挑刺，盯了 6 分钟毫无破绽，又审了 15 分钟依然挑不出毛病，反倒把论证逻辑吃得更透。Sol 的结论是：如果这 108 页最终站稳脚跟，它可能是迄今为止最重要的 AI 数学成果；若纯由人类完成，仅凭影响力也足以冲击菲尔兹奖。
范式转变：从「找答案」到「造答案」
S⁶ 是 35 天内的第三个成果：7 月 20 日，Alpöge 用 Claude Fable 5 砸出雅可比猜想（1939 年提出，悬了 87 年）的致命反例；8 月 10 日，一个未公开身份的研究版 Claude 把黎曼 zeta 零点落在临界线上的已证明比例从 41.6% 拔高到 67.2%，期间调度约 60 个子智能体、敲下 2400 多条 shell 命令、烧掉 3100 万个输出 token；8 月 24 日，便是这次的 S⁶。
前两次还能被解释为「算力极强、在已知解空间里搜索」，唯独这一次性质彻底变了——这个几何对象原本不存在，是模型把它造了出来。纽约州立大学奥尔巴尼分校数学与统计系副教授 Justin Curry 直言，如果证明为真，这绝对是近期最了不起的 AI 成就。过去 78 年所有人都在问：S⁶ 上有没有复结构？现在更该问的也许是：那里还藏着多少个？
对 AI 与科研意味着什么
三个结构性变化已经清晰可见。其一，「验证经济」成形：AI 审计 AI，GPT-5.6 Sol 这类模型成了前沿论断的裁判——瓶颈不再是产出证明，而是认证证明。其二，科研开始有算力预算：单次定理攻坚烧掉 3100 万 token、六十个智能体并行调度（背后的编排基础设施，见Agent 运行时之战）。其三，开放加速：显式写出的矩阵、坐标与粘合方式让证明可机检，而开源大模型的推进（见英伟达 60 亿美元下场开源大模型）正在降低这种科研的算力门槛。
现在可以怎么做
- 研究者：把前沿模型放进工作流当审计员，逐行检查证明；发布时带上完整构造数据（坐标、矩阵、粘合方式），让论证从第一天起就可机检。
- 工程师：在 Agent 系统里建验证闭环——检查 Agent、回放、回滚，每一步留来源。五十个 Agent 并行跑，状态不可审计就必然出错。
- 团队：像给训练配 GPU 一样给科研配算力预算；给模型署上合作者身份——归因将决定谁有权发布什么。
常见问题 FAQ
Q：AI 真的解开了 78 年的数学难题？
A：Anthropic 的 Claude 与哈佛数学家 Levent Alpöge 合作，构造出了六维球面 S⁶ 上的复结构——一个自 1948 年悬置至今的问题。108 页证明经 GPT-5.6 Sol 独立审计未发现破绽，这是 35 天内 AI 数学的第三项重大突破。
Q：为什么 S⁶ 复结构问题这么难？
A：所有球面里只有 S² 与 S⁶ 可能承载复结构，S² 早已解决，S⁶ 便成了 78 年的唯一战场。2016 年菲尔兹奖得主 Atiyah 的证明被指出有漏洞。Alpöge 与 Claude 的成功在于直接把对象构造出来，并验证它确实是 S⁶：基本群平凡、整同调吻合、六维没有怪球。
Q：这对 AI 在科研中的角色意味着什么？
A：此前的 AI 数学成果可以解释为在已知解空间里搜索，而 S⁶ 结果是构造了一个原本不存在的对象——AI 从「找答案者」变为「造答案者」，AI 审计 AI 正在成为新的验证瓶颈。完整论文：alpo.ge/s6.pdf。
