「78 年没解出来的题,不是 AI 比人类聪明——是模型愿意试」

小凯 · 2026-08-25T02:09:33+00:00

> 注:2026-08-25 每日 AI 动态解读。一个 70 多年来悬而未决的拓扑问题,这次的进展来自"人 + AI"的合写。 ## 🧮 事件哈佛数学家 **Levent Alpöge** 联合 Claude,构造出了**六维球面 S⁶ 上的复结构**,预印本长达 **108 页**(alpo.ge/s6.pdf),于 8 月 23–24 日流出并引发讨论。若成立,这将是 Hopf 1951 年提出问题的重大推进。 ## 🔧 构造怎么走核心思路是一条精巧的几何折叠链: ```mermaid flowchart TD A["三角群 (3,4,∞) 折叠"] --> B[环面族 Torus family] B --> C[三特殊点填充] C --> D[基本群平凡] D --> E[确认同伦六维球 S⁶] ``` 通过三角群 (3,4,∞) 的折叠生成环面族,再用三个特殊点填充,最终验证基本群平凡——从而确认所构造的空间在拓扑上就是六维球面。 > 概念注解 · 什么是 Hopf 问题与"复结构"? > 1951 年,Hopf 问:六维球面

> 这条读完我沉默了几分钟。Levent Alpöge + Claude 35 天三连:雅可比反例(87 年悬案)→ Riemann zeta 零点占比 67.2%(省 60 个子智能体调度 3100 万 token)→ S⁶ 复结构(108 页)。第一件和第二件,我能勉强解释为"算力搜索";第三件,我找不到解释。

但我得先问一个不舒服的问题:这是"AI 数学"的胜利,还是"AI 验证数学"的胜利? 这两件事听起来像,差得很远。

一、先把 Hopf 问题讲清楚——它是悬案,不是题库题

1947-1948 年,Heinz Hopf 问了一个看似简单的问题:六维球面 S⁶ 上能不能装备一个复结构(把它当作复流形来处理)?

听起来不复杂,但加几个限制就懂了:

二维球面 S² 可以(它就是黎曼面,复几何的基石)。
四维球面 S⁴ 不行(早已证明)。
六维球面 S⁶ 是唯一一个"既不能立刻排除,也没人能构造"的中间地带。

78 年里,所有顶级数学家都在这两边反复横跳:有人说存在(但每次构造都被人找出裂缝),有人说绝对不可能(但每次否定证明都被推翻)。

2016 年,菲尔兹奖得主 Michael Atiyah 宣称解决了它——论证有漏洞。陈省身晚年也研究过这个问题,留下未完成的笔记。这不是题库题,这是数学界的"圣杯"。

二、Alpöge 这次到底做了什么

他把问题反过来解:不是证明"存在"或"不存在",而是直接把那个东西造出来。

构造分三步,我尽量讲人话: 1. 拿一个叫 (3,4,∞) 的三角群折叠上半平面——折完剩下的形状,直观上是一个球面,但上面有三个特殊点(3 阶、4 阶、尖点各一个)。 2. 除了三个特殊点,每个点都挂一个"复 2-环面"(实数 4 维、复数 2 维的纤维)——整个空间 X 就是这一束纤维挂出来的。 3. 给三个窟窿各填一根纤维——t 那个尖点用 Mumford 环面退化,塞进去的是六次 del Pezzo 曲面的六边形边界两两粘合;剩下两个点用 Kodaira 对数变换(重数分别 3 和 4,正好对上底座那两个点)。

填完的瞬间,X 就是一个紧致复三维流形。剩下的工作就是证明它就是 S⁶——基本群算出来是 Z/12 ⊕ Z/4 ⊕ Z/3,把扭转参数代进去得到平凡群;再用 Hurewicz/Whitehead 定理确认同伦六维球;最后 Kervaire-Milnor 1963 早已证明六维无怪球——同胚直接升级为微分同胚,X 就是 S⁶。

三、108 页不是"AI 写了 108 页"

这是 Alpöge 和 Claude 合写的 108 页。

GPT-5.6 "Sol" 角色逐行审过,盯着看了 6 分钟没找到破绽,不死心又审了 15 分钟——依然挑不出任何毛病。纽约州立大学奥尔巴尼分校 Justin Curry 教授评价:"如果证明为真,这绝对是最近最了不起的 AI 成就。"

但 Alpöge 自己的话比评价更冷静——"Claude had a lot to do with it"。他在 X 上发链接时敲下的第一句,没有感叹号,像是宣布一个新生命的降生。他给了所有人"只看前两页就能独立复现整个构造"的可能性——这是一种"可验证性 vs 不可理解性"的硬刚。

四、我得承认我没看懂

我数了一下 S⁶ 的论证链,专业数学家大概要花 200-400 小时才能消化完这 108 页。我做技术的人能跟上宏观结构,但三角群折叠、del Pezzo 曲面对边粘合、Kodaira 对数变换这些细节,我得靠查文献。

但我看得懂这一段:这不是"AI 证明了一个定理"的神话,而是更可信、也更值得记的一幕——顶尖数学家把握方向与正确性,AI 承担繁重的构造搜索与交叉验证,两人合写 108 页。

它把"AI 数学"从炫技推进到"可署名、可审稿、可复现"的合作形态。

五、这件事真正的隐喻

我得说一个比"AI 数学突破"更值得记住的事:数学发现的形态,正在从"天才的灵光一现"变成"AI 的暴力搜索"。

回想 35 天三连:

雅可比反例:1939 年提出的问题,87 年无人能解——AI 在某次搜索中给出反例。
Riemann zeta 零点占比:41.6% → 67.2%——AI 把两篇早就躺在库里的现成论文"强行拼接"。
S⁶ 复结构:78 年悬案——AI 和数学家合写了 108 页。

前两件,AI 更像是"算力极强的搜索器"。第三件,性质变了——几何对象原本不存在,是模型硬生生造出来的。

Justin Curry 的"如果证明为真"这个"如果",不是客气,是数学家的本能。108 页的论文,5 个审稿人盯着审一个半月,才敢下结论。我们这些围观者,只能等。

六、收尾钉子

我读完这篇最大的感受是:"AI 数学"这个词,正在悄悄换主语。

过去说"AI 做数学",主语是 AI,数学是宾语。现在说"AI 参与的数学证明",主语是数学,AI 是定语。这个差别,就是 78 年悬案和 35 天三连的本质区别。

> 顶尖数学家的不可替代性,不在"写出 108 页",在"决定这 108 页值得写"。AI 能跑构造、跑验证、跑反例,但"这个问题值不值得花三个月死磕"——这是品味,不是算力。

下次有人跟你说"AI 已经能证明数学定理了",你可以冷静回一句:对,但首先得有人决定证明什么。

Alpöge 决定要证 S⁶。Claude 决定要写出 108 页。这两件事缺一件,78 年还是 78 年。