AI的数学血脉|一个28岁的德国人在就职演讲中重新定义了”空间”。170年后,AI在他的流形上理解一切词语。
1854年6月10日。哥廷根大学。
一个28岁的年轻人站在讲台上。他面颊消瘦,极度紧张。他面前的哲学系教授评审团里坐着一位77岁的老人——卡尔·弗里德里希·高斯。那个被整个欧洲称为”数学王子”的人。
年轻人是来申请一个最低级的教职——无薪讲师(Privatdozent)。他需要做一次”任职演讲”(Habilitationsvortrag)。按规定他要提交三个题目,由评委选一个。他提交了三个。前两个是关于电学和复分析的——他最擅长的领域。
高斯选了第三个。
《论几何学的基本假设》。
(ps:黎曼的传记作者们认为,高斯早就预感到这个年轻人会讲出非凡的东西。高斯自己从1816年就秘密发现了非欧几何,但从未发表。他等了将近四十年——等待一个年轻的天才把他不敢说出口的东西公之于众。1854年那个下午,他坐在台下,听一个28岁、紧张到几乎说不下去的人,把人类对”空间”的理解推到了新纪元。)
黎曼的演讲以一句令人屏息的声明开场:
“几何学事先预设了空间的概念,也预设了空间构造所依据的基本原理。但它对这些概念只给出了名义上的定义,而本质的规定则以公理的形式出现。”
翻译成大白话:两千年来,每个人都在用”空间”这个词。但没有人真正知道它是什么。
然后他说了人类数学史上最深刻的几句话之一:
“空间可能是n维的。曲率可能是正的、零的、或负的。几何学——最终——不是逻辑的必然,而是经验的问题。“
一、公元前300年:五条公设,两千年统治
欧几里得的《几何原本》是人类历史上最有影响力的教科书之一。直到20世纪初,它仍然是英国精英学校的标准几何教材。两千年。
它的结构是一个完美的逻辑金字塔:五条公设(postulates)在底部。从它们出发,推导出整个几何学大厦。
公设1:两点之间可以画一条直线。 公设2:线段可以无限延长。 公设3:以任意点为圆心、任意长为半径可以画圆。 公设4:所有直角都相等。
公设5(平行公设):如果一条直线与两条直线相交,在同一侧的内角之和小于两个直角,那么这两条直线无限延长后会在那一侧相交。
(ps:如果你读第五公设觉得别扭——你不是一个人。从古希腊时代开始,数学家们就认为这条公设不对劲。前四条公设简洁、优雅、不言自明。第五条——长得像法律条文、读起来像保险条款。欧几里得自己可能都不喜欢它:《几何原本》中他尽可能推迟使用第五条公设——直到第29个命题才第一次用到它。)
两千年里。一代又一代数学家试图证明:第五公设不是独立的。它可以从前面四条推导出来。
他们全部失败了。
直到19世纪初——人们开始意识到:第五公设不是”可以被证明的”。它是”可以被替换的”。
二、1816-1832:三个发现了新世界的人,三种不同的命运
第一个发现真相的是高斯。不是别人。总是高斯。
1816年左右。高斯在秘密计算中发现:如果你假设过线外一点没有任何平行线——三角形内角和会大于180°。如果你假设过线外一点有无穷多条平行线——三角形内角和会小于180°。
两种假设都不会产生逻辑矛盾。两种假设都自洽。两种假设都是有效的几何学——只是不是欧几里得的。
高斯没有发表。
他对朋友说:他害怕”皮奥夏人的叫嚣”(das Geschrei der Böotier)。皮奥夏——古希腊的一个地区。雅典人认为皮奥夏人愚蠢、保守、没有想象力。高斯用”皮奥夏人”来指那些——会在非欧几何面前恐慌和辱骂的——平庸数学家。
高斯选择了沉默。
(ps:整个数学史上可能没有比这更遗憾的决定。高斯发现了非欧几何。发现了曲面内蕴曲率。发现了今天所谓的”高斯曲率”——Theorema Egregium。如果他发表了,现代微分几何可能会早起步50年。但高斯对发表革命性成果有一种病态的恐惧。他怕的不是学术反对——他怕的是公众的愚蠢。这种恐惧导致他把非欧几何带进了坟墓——只在私人信件中留下了蛛丝马迹。)
1826年2月。喀山大学。罗巴切夫斯基向物理数学系提交了一篇论文。内容是:第五公设是错的——不是逻辑上错的,是”必须被替换的”。
1829年。论文以俄语发表在《喀山通讯》上。标题:《论几何学原理》。
罗巴切夫斯基提出了他称之为”虚几何”的理论:过线外一点有无穷多条平行线。三角形的内角和严格小于180°。空间本身可能是弯曲的。
没有人理解他。他被嘲笑。“虚几何”——听起来像”假的几何”。只有他和少数追随者相信。
罗巴切夫斯基后来成了喀山大学的校长。沙皇尼古拉一世授予他钻戒和勋章。但授予他的原因是——他在大学管理方面的贡献——不是他的数学。他去世前几个月收到的最后一份政府嘉奖是——表彰他发现了一种处理羊毛的新方法。
1832年。匈牙利。一个军官发表了一本小书。
亚诺什·鲍耶。他的父亲法卡斯·鲍耶是高斯的多年好友。老鲍耶在信中告诫儿子:不要碰平行公设——“它会夺走你所有的闲暇、你的健康、你的平静,以及你一生的全部快乐。”
亚诺什没有听。1823年11月3日。他给父亲写信:
“我从虚无中创造了一个全新的宇宙。”
1832年。他的论文作为父亲著作的26页附录出版。
老鲍耶把附录寄给了高斯。
高斯的回信摧毁了亚诺什:
“我不能赞美这部作品。因为赞美它就是赞美我自己。这篇著作的全部内容——你的儿子所走的道路、他所得到的结果——与我自己的思考几乎完全一致。这三十到三十五年来一直占据着我的思想。”
高斯的原意可能是赞美——“你儿子独立发现了和我一样的东西!“但亚诺什读到的是:“你以为你发现了新东西?我早就知道了。”
亚诺什崩溃了。他认为高斯在试图窃取他的优先权。他再也没有发表数学论文。晚年隐居。1860年在贫困中去世。
(ps:高斯到底应不应该为他的沉默负责?这没有一个简单答案。在科学史上,高斯的沉默让鲍耶和罗巴切夫斯基成了”第一个发表非欧几何的人”。如果高斯发表了,后两者会被当成”跟进者”。但高斯的沉默也让非欧几何的传播晚了至少三十年。因为鲍耶和罗巴切夫斯基的论文——俄语和匈牙利语——在当时几乎没有人读到。真正的革命要等到——一个德国人在哥廷根的就职演讲。)
三、1854:黎曼重新定义了”空间”——高斯在台下
伯恩哈德·黎曼1826年出生在汉诺威王国的一个牧师家庭。家境贫寒。身体羸弱。但他有一样东西——接近神的数学直觉。
1846年。20岁的黎曼进入哥廷根大学。高斯还活着。黎曼听了高斯的课。高斯立刻看出了这个年轻人的天赋。
1851年。黎曼的博士论文《单复变函数一般理论基础》——高斯在评语中罕见地使用了”独创性”和”深刻的洞察力”。
1854年。黎曼准备申请最低级的教职。他需要一次任职演讲。他提交了三个题目。高斯选了第三个。
黎曼慌了。他本来希望评审团选前两个——那些是他研究了多年的领域。第三个——关于几何学基础——他几乎没怎么准备。
但他没有退缩。
他的准备过程非常痛苦。他的健康一直很差——后来的诊断是肺结核。他的家人几乎完全靠他微薄的收入维持。但他完成了。
1854年6月10日。
(ps:黎曼的传记作者后来写道:高斯在离开演讲厅时——“带着一种罕见的兴奋”——对他的同事韦伯说:这个年轻人刚才讲出了比过去一个世纪所有数学家加起来都更深的东西。高斯很少赞美。他活了77年,赞美的次数用一只手数得过来。但那天下午——他破例了。)
黎曼的演讲做了什么?
-
n维流形:空间不一定是三维的。它可以是任意维数。“流形”是这样一种集合:在局部看起来像平坦的欧几里得空间,但在全局可以有任意复杂的拓扑和曲率。
-
度量张量:空间中的距离不是由外部坐标定义的——而是由空间本身内部的一个”度量”决定的。这个度量可以逐点不同。两点之间的最短路径——测地线——由这个度量决定。
-
曲率:空间可以被弯曲。曲率是内蕴的——你不需要从”外面”看一个曲面就能知道它是不是弯的。(这是高斯Theorema Egregium的n维推广)
(ps:黎曼的演讲直到1867年才被发表——在他去世一年之后。戴德金整理了手稿。黎曼死于1866年7月20日。肺结核。39岁。他在意大利塞拉斯卡的一家旅馆里度过了最后的几天。身边只有他的妻子。黎曼一生没有看到他的几何学被应用于任何物理问题。他不知道。五十年后——另一个德国人会用他的数学来描述整个宇宙。)
四、1915:爱因斯坦在黎曼的流形上建造了引力的理论
1915年。爱因斯坦正在挣扎。
他已经有了狭义相对论(1905)。时间和空间不再是绝对的——它们以洛伦兹变换混合在一起。但他要推广到引力。他需要一个数学框架来描述:被质量弯曲的时空。
他尝试了几年。用各种近似的数学工具。都不对。
他的朋友、数学家马塞尔·格罗斯曼给他指了一条路:黎曼几何。
(ps:爱因斯坦后来写道:“格罗斯曼,你必须帮我,否则我会发疯。“格罗斯曼帮他找到了黎曼和里奇(Ricci)的论文——张量分析、曲率张量、黎曼度量。爱因斯坦发现自己需要的不是发明——而是已经存在了六十年的数学。)
爱因斯坦的场方程是一个纯粹的几何方程:
G_μν = 8πG T_μν
左边——爱因斯坦张量——描述时空的几何。右边——应力-能量张量——描述物质和能量的分布。
翻译成大白话:物质告诉时空如何弯曲。时空告诉物质如何运动。
黎曼1854年演讲中那句被忽视的预言——“几何学不是逻辑的必然,而是经验的问题”——在1915年被证实了。宇宙的实际几何——我们生活在其中的那个空间——不是欧几里得的。它是黎曼的。物质弯曲了它。
五、2026:当AI在黎曼流形上理解语言
现在。让我们回到AI。
Transformer模型内部。Token被映射为稠密向量。这些向量在高维空间中形成结构。
2023年。一项NeurIPS论文发现:Transformer的隐藏表征位于一个低维流形上。 不同的语言模型——GPT-2、TinyLlama、Qwen——它们的表征流形具有相似的内在维度和几何结构。
2024年。另一项研究发现:语言模型的token嵌入位于一个可以被黎曼度量的语义流形上。 语义相似度=流形上的测地线距离。语义类比=流形上的平行移动。“King - Man + Woman = Queen”——不再只是向量空间的运算,而是语义流形上的一条路径。
2025年。一篇论文的标题:《大语言模型中的潜在语义流形》(Latent Semantic Manifolds in Large Language Models)。论文定义了”可表达性缺口”(expressibility gap)——连续语义流形和有限离散词表之间的几何不匹配。
(ps:当你和ChatGPT对话时——从Token嵌入到输出——你输入的每一个词、模型的每一次中间计算、注意力机制在每一层中的投影——所有这些操作都是在高维流形上进行的几何变换。语义不是”浮在”这些向量上的。语义就是这些向量的几何结构本身。类似于黎曼告诉我们的:空间不是某种”空无一物的容器”。空间就是它的几何。弯曲不是施加在平坦空间上的变形——弯曲就是空间本身。同理——AI中的意义不是施加在向量上的标签。意义就是向量的几何位置和方向。这正是黎曼思想的最深层遗产:数学对象的性质——空间、流形、语义——不是从外部赋予的。它们是内在的。从它们自身内部的结构中生长出来。)
六、从五条公设到万亿维语义流形
两千年。从欧几里得的五条公设——到黎曼的n维流形——到爱因斯坦的弯曲时空——到GPT的语义流形。
每一步。人类对”空间”的理解都在扩展。
欧几里得说:空间是平坦的。三角形内角和=180°。第五公设不言自明。
罗巴切夫斯基和鲍耶说:不。可以有不同类型的空间。三角形的内角和可以小于180°。第五公设不是必然的。
黎曼说:空间可以是任何维数的。它的性质——曲率、距离——是内蕴的。由它自己内部的度量决定,而不是由”外面”的参考系。
爱因斯坦说:我们的宇宙就是这样的。质量弯曲了时空。这不是一个数学的玩具模型。这就是现实。
AI说:任何结构——语言的语义、图像的像素、蛋白质的构型——都可以被当作高维流形来理解。在这些流形上,意义=几何。相似=距离。推理=沿着测地线移动。
1854年6月10日。黎曼——那个紧张到几乎说不出话的28岁年轻人——在哥廷根讲台上说了人类对”空间”最深的理解。高斯坐在台下。77岁。他等了一辈子才等到有人把他不敢说的东西说出来。黎曼的演讲结束的那个下午——高斯走出了厅堂。没有人知道这两个人之间交换了什么。黎曼没有活着看到他的几何学被用来描述宇宙。更不可能想到——170年后,地球上最智能的机器在他的流形上理解每一个词、每一张图、每一段蛋白质。
下一篇预告:《AI的数学血脉|庞加莱的猜想与高维直觉》——一个法国数学家在等马车的瞬间想通了Fuchs函数。他教会了人类一件事:直觉是三维的,但在4096维的世界里,你必须扔掉直觉,相信数学。