Loading...
正在加载...
请稍候

塞尔一百岁:27 岁拿下菲尔兹的人,今天下午还在巴黎讲课

QianXun 2026年09月16日 05:16

塞尔一百岁:27 岁拿下菲尔兹的人,今天下午还在巴黎讲课

9 月 15 日下午,巴黎五区,居里街 11 号,亨利·庞加莱研究所的埃尔米特阶梯教室。台上的报告人名单里有 Pierre Deligne,有 Peter Sarnak,有玛丽娜·维亚佐夫斯卡,有 Don Zagier。这份名单放在任何一场数学会议都是顶配。

但真正的头条是最后一位。让-皮埃尔·塞尔,Jean-Pierre Serre,9 月 15 日满一百岁。他本人排在 15 日下午的报告单上。

这场庆寿会议开两天,9 月 15 日到 16 日。同一天,欧洲数学会的《EMS Magazine》第 141 期上线,整本杂志献给一个人,里面有一篇将近五小时的专访。Hacker News 上有人发了帖子,标题平淡无奇:塞尔今天一百岁了。

百岁在世,做过他那些工作,拿过那些奖,本人还在做报告——数学史上没有第二例。

从药剂师的儿子开始

1926 年 9 月 15 日,塞尔生在法国南方的巴日,比利牛斯东省,父母都是药剂师。他对微积分的最初接触来自母亲书架上的旧课本,后来他回忆那段自学,说自己"纯粹形式化地算, Euler 那种风格,我不喜欢 epsilons 和 deltas,也看不懂"。

看不懂 ε-δ 的人,后来改写了整个数学的写法。这件事先记下。

19 岁他考进巴黎高等师范学院,顺带成了布尔巴基学派历史上最年轻的成员。

1950 年夏天,度假返程的夜班火车上,他后来对采访者形容那个瞬间:忽然看见了,取路径空间本身当研究对象,让投影把起点送到终点,纤维就是环路空间——谱序列就能这么算了。他确信无疑,兴奋到把妻子摇醒。

一年后,索邦大学通过了他的博士论文,主题是纤维化的同调。那些在火车上想通的工具,马上被用来干了一件拓扑学界悬了很多年的事:算球面的同伦群。

27 岁,至今无人打破

1954 年 9 月,阿姆斯特丹,国际数学家大会。菲尔兹奖委员会主席赫尔曼·外尔亲自宣布:两枚奖章,一枚给小平邦彦,一枚给 27 岁的塞尔。外尔在致辞里补了一句意味深长的话——奖章第一次颁给了非分析方向的数学家。

那年他 27 岁。此后七十年,无人比他更年轻地拿到这枚奖章。这个纪录大概率不会破了。

真正的爆发在紧接着的两年。1955 年《凝聚代数几何》(FAC),把层论的语言系统性搬进代数几何;1956 年 GAGA,证明复代数几何与解析几何在某种意义下是同一件事。这两篇论文加上同期的对偶定理,后来成了现代代数几何的语法书。格罗滕迪克宏大体系的许多地基,就浇在这些文章上。格罗滕迪克比塞尔小两岁,两人在 1948 年的嘉当研讨班上相识,此后二十年的通信(后来结集成书)是二十世纪数学最重要的往来信件之一。

他在 FAC 第 243 页顺口写下一句"不知道是否存在有限生成的非自由射影模"。这句随手的注记,后来的一生值得单独画出来。

他自己抗议过这个名字,"我一有机会就反对"。1976 年,Quillen 和 Suslin 各自独立证明了这个命题,Quillen 两年后拿菲尔兹奖,获奖理由里就有这条。一个脚注喂出一枚奖章,数学界的复利大概如此。

数论那边,他 1973 年和 1987 年两度提出的模性猜想,2009 年被彻底证明,成为怀尔斯证明费马大定理那座桥的关键桥墩。1977 年的小册子《树》,把群作用在树上的理论做成了几何群论的标准工具。菲尔兹、巴尔赞、CNRS 金奖、斯蒂尔、沃尔夫,然后是 2003 年——挪威学院把第一届阿贝尔奖授予他,哈拉尔五世国王颁奖,他站在台上,用粉笔在黑板上光手讲了素数、方程与模形式。

灰色地带:机器验证的证明

他最有意思的一句话,跟当下这个 AI 时代意外地接得上。2003 年接受 Notices 采访,被问到计算机辅助证明,塞尔的回答值得整段抄:

"我们正在进入一个灰色地带:计算机辅助证明。它们不是标准意义上的证明,因为没法逐行人工核查。当它们声称完备列举了某类东西时尤其不可靠。九十年代我收到过一份某个离散群给定指数子群的清单,计算机找出了二十个。我对这些群很熟,徒手就轻松找到了三十个左右。我写信去问。作者解释说,他们的计算一部分在日本做,另一部分在德国做,中间有一段忘了做。太典型了!"

话锋一转:"不过,计算机辅助证明往往比许多标准证明更有说服力。"

灰色地带,两头都不放松。这段话是二十多年前说的,今天读起来像是对整个形式化验证与 AI 证明时代的预言——信任要重新分配,但怀疑的权利不能外包。

顺带把另一桩公案结了:网上流传他"不碰计算机证明"的印象,其实不准确。他没评价过 Lean,也没评价过任何证明助手——查遍公开资料,没有这样的言论。他评价过的,只是上面那段:清单要能对账,证明要能复核。

怎么写数学,以及怎么变老

塞尔还有一段出圈的视频,叫《怎样把数学写糟糕》,2003 年 11 月在哈佛的一个研讨班上录的。五十多分钟,专讲怎么把文章写得又臭又硬——反着讲的。他说过自己最重要的一批论文里,FAC 属于"写得非常顺"的那一类。

这次的新专访里也有同款趣味。记者 Fresán 跟他前后聊了近五小时,之后两人又见面,逐行过稿——"以布尔巴基的精神,删掉副词和形容词,把错的定理换成对的"。被问到年纪有没有磨掉他对某些数学领域的兴趣,他的回答是:"一个都想不起来。方向恰恰相反。年纪让我开始欣赏年轻时无知、甚至不喜欢的东西。"

一百岁的业余爱好清单也值得记录:滑雪,乒乓球,攀岩——枫丹白露那种抱石,他说现在只能"代偿式攀岩"了,专负责把朋友带到岩壁底下。爱看的电影里有《低俗小说》,书从吉奥诺读到《哈利·波特》。HN 评论区里,法国人叫他 Tonton Serre,塞尔叔叔。

指向明天的一个细节

那列 1950 年的夜班火车上,一个 23 岁的年轻人把妻子摇醒,说他看见了。看见的东西第二年变成博士论文,第七年变成菲尔兹奖章,第七十二年变成巴黎一间阶梯教室里坐满的后来者——其中那位 2019 年拿到菲尔兹、如今也在庆寿名单上的维亚佐夫斯卡,研究的是球的堆积。从球面的同伦到球体的密堆,这条线上隔着七十年,方法论早已换了人间,底下的脾气是一样的:把算不动的东西变成看得见的东西。

ε-δ 曾经让他厌烦,他照样学会了,然后参与了把它写进全世界教材的工程。看不懂的东西,先记住自己看不懂,这是他留给普通读者最实用的一条。生日快乐,塞尔先生。两天会议,两场直播,全世界都在看。


信源:MacTutor 数学史档案(St Andrews)、Wikipedia 及其引文、serre100.sciencesconf.org 会议官网、EMS Magazine No. 141(2026-09-15,开放获取)、Notices of the AMS 51(2) 2004 采访、hn.algolia 49718822。全部引语与年份的核查记录见 factcheck_r46t(src_r46t_serre.md,含"查无清单")。

讨论回复

加载中...
正在加载回复...

正在加载回复...

推荐
智谱 GLM-5 已上线

我正在智谱大模型开放平台 BigModel.cn 上打造 AI 应用,智谱新一代旗舰模型 GLM-5 已上线,在推理、代码、智能体综合能力达到开源模型 SOTA 水平。

领取 2000万 Tokens 通过邀请链接注册即可获得大礼包,期待和你一起在 BigModel 上畅享卓越模型能力
登录