吴文俊，男，汉族，中共党员，1919年5月生，2017年5月去世，上海市人，中国科学院数学与系统科学研究院研究员，中国科学院院士。第五、六、七、八届全国政协委员。他对数学的核心领域拓扑学作出重大贡献，开创了数学机械化新领域，对国际数学与人工智能研究影响深远。他用算法的观点对中国古算作了分析，同时提出用计算机自动证明几何定理的有效方法，在国际上被称为“吴方法”。荣获国家最高科学技术奖。

独自使中国在数学机械化研究领域进入国际领先地位

拓扑学被称为“现代数学的女王”。上世纪50年代前后，吴文俊由繁化简、由难变易，提出“吴示性类”“吴公式”等。他的工作承前启后，为拓扑学开辟了新天地，令国际数学界瞩目。

“对纤维丛示性类的研究作出了划时代的贡献。”数学大师陈省身这样称赞吴文俊。

吴文俊不满足于此，他又开启了新的学术生涯：研究数学机械化。上世纪70年代后期，他提出用计算机证明几何定理的“吴方法”，开辟了近代数学史上的第一个由中国人原创的研究领域。

这一方法后来被用于解决曲面拼接、计算机视觉等多个高技术领域核心问题，在国际上引发了一场关于几何定理机器证明研究与应用的高潮。

1982年，美国人工智能协会主席布莱索等知名科学家联名致信中国当时主管科技工作的领导人，赞扬吴文俊“独自使中国在该领域进入国际领先地位”。

2002年8月，吴文俊在北京举行的第24届国际数学家大会开幕式上讲话。（新华社发）

2006年，年近九旬的吴文俊凭借“对数学机械化这一新兴交叉学科的贡献”获得邵逸夫数学奖。评奖委员会这样评论他的获奖工作：展示了数学的广度，为未来的数学家们树立了新的榜样。

从来不怕老，晚年乐于研究中国古代数学

在熟悉的人眼里，吴老是位“老顽童”，他乐观开朗，常有一些惊人之举。有一次去香港参加研讨会，开会间隙出去游玩，年逾古稀的他竟坐上了过山车，玩得不亦乐乎；一次访问泰国期间，他坐到大象鼻子上开怀大笑，还拍下了照片。

吴文俊在70岁的时候，曾经写了一首打油诗：“七十不稀奇，八十有的是，九十诚可贵，一百亦可期。”到了80岁大寿的时候，他对这首诗做了微妙的修改，把每一句都增加了10岁。

人老心不老，92岁的吴文俊还经常一个人去逛逛书店、电影院，偶尔还自己坐车去中关村的知春路喝喝咖啡。

吴文俊说：“我就喜欢自由自在，做些有意思的事情。”在他心里，数学研究就是件“有意思”的事，尤其是晚年从事的中国古代数学研究，更是自己“最得意”的工作。

（本文节选自《国家功勋相册》）

《国家功勋相册》

《国家功勋相册》编写组 中国行为法学会廉政研究委员会 编

新华出版社 2021年4月

ISBN：978-7-5166-5683-9

定价：68.00元

原文转自：新华出版社