一道自 1948 年起悬而未决的数学问题，最近出现了新答案：六维球面 S⁶ 上是否存在复结构，Levent Alpöge 与 Claude 给出的结论是存在。
这份结果来自哈佛数学家 Levent Alpöge 和 Claude。Alpöge 在 X 上公布消息时写道：「欢迎这个漂亮的新几何对象来到这个世界。」
S² 之外，只剩 S⁶
在所有球面中，能够讨论复结构的只剩两个候选：S² 和 S⁶，其他维度早已被排除。S² 本身就是复几何中的基本对象，因此过去 70 多年里，相关研究几乎都集中在 S⁶ 上。
围绕这个问题，正反两种答案都曾被提出，但都未能成立。报道提到，菲尔兹奖得主 Michael Francis Atiyah 曾在 2016 年宣称解决这一问题，后来被指出论证存在漏洞。陈省身晚年也研究过这道题。
108 页论证文件与外部检视
Alpöge 这次给出的是一份 108 页的论证文件。按照文中描述，构造里涉及的矩阵、坐标和粘合方式都被逐项写出。
数学家 Qiaochu Yuan 用 GPT-5.6 Sol 对这份论证进行了检查。文中称，Sol 在看过 6 分钟后没有发现问题，继续审看 15 分钟后仍未挑出漏洞，并对整套论证的逻辑理解更深。Sol 给出的判断是，如果这 108 页的证明最终成立，它可以被视为迄今最重要的 AI 数学成果；如果这项工作完全由人类独立完成，也很可能因其影响力而达到菲尔兹奖级别。
构造从一个三角群开始
这套方法的关键不在沿着既有路线继续推进，而是直接构造对象本身，再据此说明它就是 S⁶ 上的复结构。
第一步是搭建底座。文中写到，Alpöge 取用一个记作 (3,4,∞) 的三角群，对上半平面进行折叠，得到的结果直观上是一个球面。这个球面上有三个特殊点，分别位于 t = 0、t = 1 和 t = ∞，对应 3 阶点、4 阶点与一个尖点。
Alpöge 还表示，三角群以及附着在它上的那族环面，是他这次构造里最得意的一部分。
在底座上挂载复 2-环面
第二步是在底座的普通点上挂载纤维。除了三个特殊点之外，底座上的每一点都对应一个复 2-环面，也就是在复数意义下二维、在实数意义下四维的结构。
挂在某一点上的这个对象，就是这一点的纤维，整个 X 由这些纤维逐点排布而成。到这一步时，t = 0、t = 1 和 t = ∞ 三个特殊点上方仍然没有纤维，相当于整个球面留下了三个空缺。
三个空缺，用三种经典方法补齐
第三步是填补这三个空缺，把整个空间缝合成完整的紧致流形。
文中称，最巧的部分正在这里：三个空缺并不是用同一种办法处理，而是分别落入不同经典填充技术的适用范围。
- 在 t = ∞ 这个尖点，使用的是 Mumford 的环面退化。填入的纤维记作 W，它由一个六次 del Pezzo 曲面的六边形边界，经过三对对边两两粘合得到。
- 在 t = 0 和 t = 1 两点，使用的是 Kodaira 的对数变换，重数分别为 3 和 4，正好对应底座上那两个特殊点的 3 阶和 4 阶性质。
三个空缺补齐后，一个名为 X 的紧致复三维流形被构造出来。
关键一步：证明 X 就是 S⁶
构造出 X 并不等于问题结束，接下来还要回答它是否真的是 S⁶。
论文第 7 节计算出 X 的基本群：
π₁(X) ≅ ℤ / |12ℓ₀ − 4ℓ₁ − 3ℓ₂|。
文中解释，基本群可以粗略理解为一个空间里是否存在绕不开的洞。球面上的闭合曲线都可以缩成一点，因此球面的基本群是平凡群。
这里的三个整数 (ℓ₀, ℓ₁, ℓ₂) 记录的是填补三个空缺时纤维的扭转程度。将 (0, 1, −1) 代入后，得到 12×0 − 4×1 − 3×(−1) = −1，绝对值为 1，因此 ℤ 模 1 是平凡群，X 的基本群随之消失。
报道进一步写到，由于 X 本身单连通，且整同调与 S⁶ 一致，结合 Hurewicz 定理和 Whitehead 定理，可以确定它是一个同伦六维球。再调用 Smale 在 1961 年给出的广义庞加莱猜想，X 与 S⁶ 同胚。
六维没有怪球，结论推进到微分同胚
在拓扑层面，同胚并不自动推出微分同胚，因此还需要检查光滑结构是否一致。文中提到，如果一个流形与标准球面同胚，但微分结构不同，这类对象被称为怪球。
报道援引 1963 年 Kervaire 和 Milnor 的结论称，六维中不存在怪球，而七维则有 28 个。也正因为六维没有这个障碍，X 与 S⁶ 的同胚关系可以进一步升级为微分同胚。按文中表述，X 的真身就是 S⁶。
提出者背景与时间线
Alpöge 的身份是哈佛 Society of Fellows 初级研究员，同时也是 Anthropic 的博士后。他原本的研究方向是数论和算术几何，并不以复几何见长。
Qiaochu Yuan 透露，就在这次结果出现的 3 天前，他还和 Alpöge 讨论过这个问题。
文中还把这次 S⁶ 的进展放进一条更长的时间线上。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⁶ 的结果。
从搜索已知答案，到直接造出对象
文中认为，前两次成果还可以被理解为在已有解空间中高强度搜索：一次是寻找反例，一次是把已有论文材料进行组合。S⁶ 这次不同之处在于，核心几何对象本来并不存在于现成答案中，而是通过构造被直接做了出来。
纽约州立大学奥尔巴尼分校数学与统计学副教授 Justin Curry 表示：「如果证明为真，这绝对是最近最了不起的 AI 成就。」
这也让那个问了 78 年的问题出现了新的转折：过去人们反复追问的是 S⁶ 上到底有没有复结构，而在这份证明之后，讨论或许会转向那里还藏着多少个。
参考与来源
参考资料为 https://alpo.ge/s6.pdf。原文注明，本文来自微信公众号「新智元」，作者为 ASI 启示录，编辑为摩西、大卫。