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

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

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

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

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

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

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

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

吴文俊与学生讨论问题

来源｜中国科学家博物馆

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

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

那一刻，他无比振奋。

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

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

来源｜中国科学家博物馆

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

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

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

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