吴文俊在法国的学术访问大受欢迎，原定的访问韶光快结束时，还有大学想约请他去讲学。

然而，1958年6月16日，吴文俊结束访问归国后，等待他的却是一个坏，他所从事的拓扑学研究被意外叫停了。

01

之前，吴文俊一贯专心于纯数学研究，不太考虑现实运用。
研究专业一下子被取消，吴文俊陷入了迷茫。

吴文俊

中国科学院院士

数学不能分开现实天下，用当时的话叫理论要联系实际。
你不能分开实际，不能为了数学而数学。

1958年，为办理人才问题，中国科学院创办了一所新大学——中国科技大学。
中科院数学所的高等研究职员被安排参与到中国科技大学的传授教化事情，个中就包括吴文俊。

在传授教化过程中，吴文俊开始了代数几何研究，并很快有告终果。

1965年，他的论文手稿在《数学进展》上揭橥，反响很大。

1971年的一天，吴文俊接到了一封来自美国的信件。

给吴文俊写信的是他的老师——国际著名数学大师陈省身。
陈省身在信中写道：“我来加州已11年，虽年近六十，精神如旧，事情仍能连续。
盼见面之期能不远也。
”他还随信给吴文俊寄来了一些拓扑学最新的研究资料。

1972年9月，美国的一个学术代表团来中国访问，个中就有陈省身。
一到北京，他就迫不及待去见他的学生吴文俊。

这次见面，陈省身讲了许多国际上数学研究的最新进展，吴文俊颇受震撼。
他觉得到了中国数学水平在多年摇摆和停顿中与国际拉开的巨大差距。

后来，中科院数学所的一位领导给吴文俊出了一个主张：你可以研究一下中国古代数学。
吴文俊此前研究的都是西方数学，对中国古代数学的印象只勾留在加减乘除。

开头我也看不起中国古代数学，根本没想到去学。
一看，就逐步看出这不像常日想象中那么微不足道。

《周髀算经》是中国最古老的一本天文学和数学著作。
三国期间的数学家赵爽给这本书写注时，提出了一个丈量太阳高度的想法，并画了一幅“日高图”。
实际是对日高公式的证明。

可惜的是赵爽原图佚失落，证明也找不到了。
让人感到意外的是，之前对中国古代数学有偏见的吴文俊打仗后不久，就根据残余的原始信息成功复原了赵爽的“日高图”，并补出日高公式的证明。
很快，吴文俊揭橥了第一篇数学史论文《中国古代数学对天下文化的伟大贡献》。

高小山

中国科学院数学与系统研究院研究员

吴文俊学生

他研究中国古代数学，我想首先是对数学的发展做了一种基本管理。
由于国际上认为中国古代数学是没有系统的数学理论，对数学发展影响不大。
吴师长西席通过自己的研究，认为中国数学跟西方数学实际上是两个大的思想。

02

中国古代数学引发了吴文俊的研究激情亲切。
而令异日后成名的“机器证明”研究，灵感也来自于中国古代数学。

在工厂劳动时，吴文俊见证了打算机的威力，而中国数学给了他主要的启示。
1976年冬，57岁的吴文俊开始了几何定理机器证明研究。
他在北京图书馆借遍了与机器证明有关的书本，虽已近花甲之年依然苦读研讨。

功夫不负有心人。
1977年，吴文俊第一篇关于机器证明的论文揭橥。
他创造性地将一样平常形式的代数簇分解为所谓“三角列”形式，让很多性子变得随意马虎打算，从而使代数几何中很多主要问题得到布局性办理。
这个方法后来被以他的姓氏命名为“吴氏方法”。

1979年，吴文俊应邀赴美国访问，做了两场机器证明报告，引起了美国数学家的极大兴趣。
那次美国之行，吴文俊向国家申请了2万元美金，购买了一台像样的台式打算机，他要亲自操作。
当时已经60岁的吴文俊开始学习编写打算机程序，他也由此成为了他们部门年事最大的打算机程序员。

61岁那年，吴文俊申请加入中国***。
当时改革开放的形势让他很愉快，在入党志愿书上吴文俊写道：“现在党已经进入了第二阶段的革命期间，我国的科学文化也应像政治与经济那样，急需改变几百年的掉队面貌，走上独立自主的发展道路，把我国培植为一个科学上最前辈的国家，作为一个从事科学事情的知识分子，我决心在党的领导下为这一新的伟大历史任务克尽绵薄。
”

03

1984年，美国举办了一场全美定理机器学术会议。
华裔学生周成青提交了一篇题为《用吴方法证明几何定理》的论文。
他在现场用电脑演示，短短十几分钟里证明了几百条几何定理，现场一片哗然。

吴方法的成功引起了国际数学界的极大关注。
两年后，吴文俊应邀前往美国参加天下数学家大会，并在会上做了45分钟的报告。
在当时的中国数学家中，吴文俊是获此殊荣的第一人。

2001年2月19日，国家科学技能褒奖大会在北京公民大会堂隆重举行。
这次大会首次设立国家最高科学技能奖，以国家名义对为科学技能发展作出精彩贡献的科学家给予最大声誉褒奖。
因在数学机器化领域的开拓性贡献，82岁的吴文俊得到了国家最高科学技能奖。

2011年，以吴文俊名字命名的中国人工智能大会召开，吴文俊被尊称为“中国人工智能先驱”。

2017年5月7日，吴文俊因病逝世，享年98岁。

两年后，以他名字命名的中国智能科学技能最高奖项“吴文俊人工智能科学技能奖”举行了隆重的颁奖仪式。

正是吴文俊提出用打算机证明几何定理的“吴方法”，成为自动推理领域的里程碑。
由于他的开拓性贡献，人工智能得到快速发展。

2019年，吴文俊被付与“公民科学家”国家名誉称号。

9年前，一颗国际编号第7683号的小行星被永久命名为“吴文俊星”。
在浩瀚的夜空中，它将永久闪耀！

‍

栏目主编：秦红 笔墨编辑：李林蔚 题图来源：新华社 资料图 图片编辑：项建英

来源：作者：国家影象