让古老的算法复活，为未来的AI开路 | 吴文俊

科学家简介

吴文俊（1919年5月12日—2017年5月7日），中国共产党优秀党员，中国科学院院士，数学家。

吴文俊在拓扑学、自动推理、机器证明、代数几何、中国数学史、对策论等研究领域均有杰出贡献。他在拓扑学示性类、示嵌类领域取得一系列奠基性重要成果，他创立的“吴方法”在国际机器证明领域产生巨大的影响，有广泛的应用价值。

20世纪80年代初，中国科学院的计算机房里，人们总能看到一位白发老者清晨第一个到、深夜最后一个走，他就是早已名满天下的数学家吴文俊。年过花甲的他，为何像学生一样废寝忘食地“泡机房”？这个故事要从一次惊人的学术转向说起——一位功成名就的大师，却硬要闯入一个几乎无人看好的全新领域。

在无人区，开辟“中国路”

如果将人生比作一部著作，吴文俊的前半程已然写就传奇篇章。他提出的“吴示性类”和“吴公式”，成为代数拓扑学的经典成果，对此后数十年的学科发展产生了深远影响。

按常理，沿着这条路走下去，便可安享学术荣誉。但在年近花甲之际，吴文俊主动按下了人生的“重启键”，开启了全新领域的探索。

20世纪70年代，吴文俊开始系统研读《九章算术》等中国古代数学典籍。他发现，中国古代数学的精髓，并非以欧几里得《几何原本》为代表的公理化、演绎体系，而是以算法为核心，以解决具体问题为导向的构造性、机械化思想，这与西方数学传统截然不同。

一个极具开创性的构想在他心中萌发：计算机的时代，不正是这种“算法思维”大放异彩的时候吗？他想借助计算机，开辟一条证明数学定理的全新路径。

但是，这个想法在当时并非主流，被认为是旁门左道，不被学界看好。

后来，当一位同行质疑他为何不跟随国外的主流方法时，一向和蔼的吴文俊坚定地表示：“外国人搞的我就不搞，外国人不搞的我就搞！这是我的基本原则，你不能跟外国人屁股走。”

决心已定，真正的困难才刚刚开始。

当时国内计算机资源极其稀缺，懂编程的数学家更是凤毛麟角。年近花甲的吴文俊，放下学术大家的身段，甘当一名潜心求学的“老学生”。

吴文俊与学生讨论问题

来源｜中国科学家博物馆

他白天泡在机房，从最基本的编程语言学起，将复杂的数学思想转化为一行行程序代码；晚上回到家中，在稿纸上进行着长达数页的多项式手工推导。

历经无数次试验与摸索，终于在1977年的春节迎来关键突破——他通过手工计算，成功验证了自己设想的“机器证明”方法是可行的。

那一刻，他无比振奋。

这套方法后来被国际学界称为“吴方法”，其核心思想，正源于他痴迷的中国古代数学算法。以此为起点，“数学机械化”这一全新领域正式创立。

1980年，吴文俊（右二）参加第一届“微分几何与微分方程”的“双微”会议

来源｜中国科学家博物馆

吴文俊不仅借助计算机证明了复杂的几何定理，更为机器人技术、计算机视觉等现代科技领域提供了全新数学工具，为人工智能的发展铺就了坚实的数学根基。

2000年，81岁的他荣获首届国家最高科学技术奖。

这份至高荣誉，是对他一生坚守科研初心、勇攀创新高峰的最高褒奖。

从代数拓扑学的学术高峰，转向数学机械化的未知荒原，吴文俊以“不随人后”的骨气、“从零起步”的勇气，让中华古老的数学智慧焕发新生，更为我国科技自主创新事业写下了生动注脚。

科学家说

吴文俊说：“搞数学，光发表论文不值得骄傲，应该有自己的东西。不能外国人搞什么就跟着搞什么，应该让外国人跟我们学。”

参考文献：

[1]吴文俊——老科学家学术成长资料采集工程.

[2]数学界的战略科学家吴文俊. 光明日报. 2001-02-19.

[3]吴文俊：机器证明中的“吴方法”. 中国科学院. 2024-06-20.

[4]吴文俊：创中国方法 为世界算数. 中国档案报. 2025-01-03.

[5]数学“老顽童”报国一甲子. 文汇报. 2017-05-08.

[6]吴文俊逝世：不为获奖而工作，应为工作而获奖. 人民日报. 2017-05-09.

中国科学家博物馆出品

投稿咨询：

010-87413551