一道悬了整整78年的世纪难题，在短短三天内被攻破。问题核心是六维球面S⁶上是否拥有复结构。从1948年提出至今，答案终于浮出水面：有。给出这份答卷的，是哈佛数学家Levent Alpöge与Claude。更令人称奇的是破局的手法。他们避开了众人摸索数十年的老路，直接动手构建出了这个对象，并宣告它就是S⁶上的复结构。当Alpöge在X上公布这一结论时，其语气仿佛在迎接一个新生命的降生——欢迎这个美丽的几何对象来到世间。
01、七十多年，只为了这一根独苗
在所有球面中，够资格谈论复结构的仅有两位，即S²和S⁶，其他维度早已被淘汰出局。S²毫无悬念，它是复几何地基中最基础的那块砖。因此，七十年来，所有人的目光都死死盯在S⁶这一根独苗上。有人断言它存在，有人发誓它绝对不存在，但双方人马全都折戟沉沙。例如，当代最伟大的数学家之一、菲尔兹奖得主Michael Francis Atiyah在2016年声称解决了它，但被指论证存在漏洞。华人数学大师陈省身晚年也研究过这个问题。
此次Alpöge甩出的，是一份厚达108页的论证文件。构造中涉及的每一个矩阵、每一块坐标、每一处粘合方式，他都白纸黑字地记录了下来。数学家Qiaochu Yuan特意利用AI工具进行审查，结果盯着看了六分钟后发现，毫无破绽。不死心又审了十五分钟，依然挑不出任何毛病，反倒将这套论证逻辑吃得更透。AI给出的结论是，如果这108页最终站稳脚跟，它可以说是迄今为止最重要的AI数学成果。如果这项工作是纯人类完成的，那很可能斩获菲尔兹奖，哪怕不是因为多困难或多有名，至少因其影响力。
02、三个整数，宣判了这道题的生死
那么，这个新对象究竟是如何构造出来的？首先，打好底座。利用一个名为(3,4,∞)的三角群去折叠上半平面，剩下的形状直观上就是一个球面。只不过这个球面上钉着三个特殊点，分别是一个3阶、一个4阶和一个尖点，位置在t = 0、t = 1和t = ∞。Alpöge毫不掩饰对三角群及其上方环面族的偏爱，直言这是他最得意的一笔。
其次，挂载环面。除了那三个特殊点，底座上的每一个点都被挂上一个复2-环面，这种结构在复数中是二维、在实数中是四维的。挂在某一点的头顶，数学上称之为该点的纤维，整个X就是这样一根根排列出来的。做完这一步，那三个特殊点的头顶依然空空如也，等于整个球面被硬生生捅出了三个窟窿。
最后，填平三个窟窿。所谓填洞，就是给这三个空着的点各配一根纤维安插进去，缝合成一个完整的紧致流形。最巧妙的地方在于，三个窟窿用的并非同一种办法。t = ∞那个尖点使用了Mumford的环面退化，塞进去的那根纤维叫W，是将一个六次del Pezzo曲面的六边形边界三对对边两两粘合得到的。剩下t = 0和t = 1两个点使用Kodaira的对数变换，重数分别是3和4，正好对应底座上那两个点的3阶和4阶。三个窟窿填平的瞬间，一个名叫X的紧致复三维流形就此横空出世。
对象造出来了，可它到底是不是S⁶？此时的X已经是一个完全合法的复流形，但拷问尚未结束。论文第七节硬是把X的基本群算了出来，结果是$pi_1(X) cong mathbb{Z} / |12ell_0 – 4ell_1 – 3ell_2|$。基本群大致可以理解为空间里有没有绕不开的洞。球面上随便画一个圈都能收缩成一个点，所以球面的基本群是平凡的。公式里的(ℓ₀, ℓ₁, ℓ₂)这三个整数，记录的是缝补那三个窟窿时纤维被扭转的程度。把(0, 1, −1)代进去，算出来是12×0 − 4×1 − 3×(−1) = −1，绝对值牢牢钉在了1。而$mathbb{Z}$模1就是平凡群，基本群到这里彻底消失，X和球面对上了第一条。
由于X本身单连通，整同调和S⁶严丝合缝，搬出Hurewicz和Whitehead两大定理一压，它确凿无疑是一个同伦六维球，再套上Smale在1961年给出的广义庞加莱猜想，它同胚于S⁶。最后，只剩光滑结构这一关。因为在拓扑界，同胚并不等于微分同胚。两个东西看上去可以一模一样，但在上面做微积分的方式却对不上，这种冒牌货有个专门的名字，叫怪球。幸运的是，早在1963年，Kervaire和Milnor就把这笔账算清了，六维世界里干干净净，恰好一个怪球都没有，换成七维，这玩意儿能一口气蹦出28个。于是同胚在这里一步升级成了微分同胚，X的真身就是S⁶。
终结这道题的人，本行并非复几何。Alpöge的头衔是哈佛Society of Fellows初级研究员，同时兼着Anthropic的博士后，老本行是数论和算术几何，复几何这片水他并不常趟。而Yuan爆料说，就在解开这道题的三天前，自己才刚跟他探讨过这个死局。
03、从找答案，到造答案
三天干掉一道卡了七十多年的题，这事本身已经够离谱了。但它其实只是35天里的第三次。7月20日，Alpöge用Claude砸出了雅可比猜想的致命反例，那道题1939年提出，整整悬了87年无人能解。仅仅三周后的8月10日，一个至今没有公开身份的未发布研究版Claude，把黎曼zeta函数零点落在临界线上的已证明比例，从41.6%拔高到了67.2%。在那场算力消耗战中，它一口气调度了大约60个子智能体，敲下2400多条shell命令，烧掉了3100万个输出token。
再往后就是8月24日，也就是这次的S⁶。前面两次，你尚且还能勉强解释，AI只是一台算力极强的搜索器，一个在已知的解空间里摸索着找反例，一个把两篇早就躺在库里的现成论文强行拼接。唯独这一次，性质彻底变了。这个几何对象原本就不存在，是模型硬生生把它造了出来。纽约州立大学奥尔巴尼分校数学与统计学副教授Justin Curry直言：如果证明为真，这绝对是最近最了不起的AI成就。过去78年里，所有人都在追问同一句，S⁶上到底有没有复结构。而从这一刻开始，该问的可能已经是另一句了：那里究竟还藏着多少个？