菲尔兹奖得主都栽了! Claude终结数学界78年悬案

菲尔兹奖得主都栽了! Claude终结数学界78年悬案

来源：倍可亲(backchina.com)

　　一道悬了整整78年的世纪难题，三天就被破了！

　　问题是六维球面上到底有没有复结构，从1948年一路问到今天，现在答案是有。

　　给出这份答卷的，是哈佛数学家Levent Alpöge和Claude。

　　更狠的是破局的手法。

　　他们绕开了所有人走了几十年的老路，直接动手把这个东西造了出来，然后指着它宣告，这就是S⁶上的复结构。

　　而Alpöge在X上昭告天下时，敲下的第一句，更像是在宣布一个新生命的降生——

　　欢迎这个漂亮的新几何对象来到这个世界。

　　七十多年，就吊在这一个球面上

　　所有球面里，够资格谈复结构的只有两位，S²和S⁶，其他维度早被清理出局。

　　S²毫无悬念，它本身就是复几何地基里最基础的那块砖。

　　于是七十多年里，所有人的目光都死死盯在S⁶这一根独苗上。

　　有人跳出来说它存在，有人发誓它绝对不存在，但两边的人马全都栽了跟头。

　　比如，当代最伟大的数学家之一、菲尔兹奖得主Michael Francis Atiyah在2016年声称解决了它，但被指出论证存在漏洞。

　　华人(专题)数学大师陈省身晚年也研究过这个问题。

　　Alpöge这次甩出来的，是一份厚达108页的论证文件。

　　构造里用到的每一个矩阵、每一块坐标、每一处粘合方式，他全都白纸黑字写了出来。

　　数学家Qiaochu Yuan特意用GPT-5.6 Sol去挑刺，结果盯着看了6分钟后发现，毫无破绽。

　　不死心又审了15分钟，依然挑不出任何毛病，反倒把这套论证逻辑吃得更透了。

　　Sol给出的结论是，如果这108页最终站稳脚跟，它可以说是迄今为止最重要的AI数学成果。

　　如果这项工作是纯人类完成的，那很可能斩获菲尔兹奖，哪怕不是因为它多困难或多有名，也至少因为它的影响力。

　　三个整数，宣判了这道题的生死

　　那么问题来了，这个新对象到底是怎么构造出来的？

　　第一步，先打好底座。

　　拿一个叫(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已经是一个完全合法的复流形，但这个拷问还没答完。

　　论文第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年给出的广义庞加莱猜想，它同胚于S⁶。

　　最后，只剩光滑结构这一关。

　　因为在拓扑界，同胚并不等于微分同胚。两个东西看上去可以一模一样，但在上面做微积分的方式却对不上，这种冒牌货有个专门的名字，叫怪球。

　　幸运的是，早在1963年，Kervaire和Milnor就把这笔账算清了，六维世界里干干净净，恰好一个怪球都没有，换成七维，这玩意儿能一口气蹦出28个。

　　于是同胚在这里一步升级成了微分同胚，X的真身就是S⁶。

　　终结它的人，本行不是复几何

　　Alpöge的头衔是哈佛Society of Fellows初级研究员，同时兼着Anthropic的博士后，老本行是数论和算术几何，复几何这片水他并不常趟。

　　而Yuan爆料说，就在解开这道题的三天前，自己才刚跟他探讨过这个死局。

　　从找答案，到造答案

　　三天干掉一道卡了七十多年的题，这事本身已经够离谱了。

　　但它其实只是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⁶。

　　前面两次，你尚且还能勉强解释，AI只是一台算力极强的搜索器，一个在已知的解空间里摸索着找反例，一个把两篇早就躺在库里的现成论文强行拼接。

　　唯独这一次，性质彻底变了。

　　这个几何对象原本就不存在，是模型硬生生把它造了出来。

　　纽约(专题)州立大学奥尔巴尼分校数学与统计学副教授Justin Curry直言：如果证明为真，这绝对是最近最了不起的AI成就。

　　过去78年里，所有人都在追问同一句，S⁶上到底有没有复结构。

　　而从这一刻开始，该问的可能已经是另一句了。

　　那里究竟还藏着多少个？

版权说明 / Copyright Notice:
Content and images in this article may originate from third-party sources and are used for news reporting, commentary, or public interest purposes. All copyrights remain with their respective owners. Please refer to the Copyright Notice at the bottom of this page.
本文内容仅供信息参考，不代表倍可亲立场或观点。