【缅怀与哀悼】中国人工智能先驱、国家最高科技奖得主吴文俊逝世

【缅怀与哀悼】中国人工智能先驱、国家最高科技奖得主吴文俊逝世

一个悲伤的消息：首届国家最高科技奖获得者、著名数学家吴文俊院士因病5月7日在北京去世。

新智元报道 来源：中国科学院数学与系统科学研究院

缅怀吴先生网站地址：

中国科学院数学与系统科学研究院今天发布讣告称，首届国家最高科技奖获得者、著名数学家吴文俊院士因病医治无效，于2017年5月7日7时21分在北京不幸去世，享年98岁。

吴文俊对数学的主要领域—拓扑学做出了重大贡献。他引进的示性类和示嵌类被称为“吴示性类”和“吴示嵌类”，他导出的示性类之间的关系式被称为“吴公式”。他的工作是1950年代前后拓扑学的重大突破之一，成为影响深远的经典性成果。1970年代后期，他开创了崭新的数学机械化领域，提出了用计算机证明几何定理的“吴方法”，被认为是自动推理领域的先驱性工作。他是我国最具国际影响的数学家之一，他的工作对数学与计算机科学研究影响深远。

吴文俊曾获得首届国家最高科技奖（2000）、首届国家自然科学一等奖（1956）、首届求是杰出科学家奖（1994）、邵逸夫数学奖（2006）、国际自动推理最高奖Herbrand自动推理杰出成就奖（1997）。

吴文俊，我国著名数学家、中国共产党优秀党员、中国科学院院士。吴文俊对数学的主要领域—拓扑学做出了重大贡献、开创了崭新的数学机械化领域，获得首届国家最高科技奖、首届国家自然科学一等奖、有东方诺贝尔奖之称的邵逸夫数学奖、国际自动推理最高奖Herbrand自动推理杰出成就奖。吴文俊1919年出生于上海，1940年本科毕业于上海交通大学，1949年获法国国家博士学位，1951年回国，先后在北京大学、中国科学院数学所、中国科学院系统所、中国科学院数学与系统科学研究院任职。他曾任中国数学会理事长，中国科学院数理学部主任，全国政协常委，2002年国际数学家大会主席，中国科学院系统所名誉所长。 吴文俊生平介绍 吴文俊是我国最具国际影响的数学家之一，他对数学的核心领域拓扑学做出了重大贡献、开创了数学机械化新领域，对数学与计算机科学研究影响深远。

吴文俊1919年出生于上海，1940年本科毕业于上海交通大学，1946年在中央研究院数学所工作、在陈省身先生指导下开始从事拓扑学研究，1947年赴法留学，师从埃里斯曼与嘉当，1949年毕业于法国斯特拉斯堡大学，获得法国国家博士学位，随后在法国国家科学中心任研究员。新中国成立后，吴文俊于1951年回国工作，先在北京大学数学系任教授，1952年到中国科学院数学研究所任研究员,直到1980年转入中国科学院系统科学所，1998年转入新成立的中国科学院数学与系统科学研究院。他曾任中国数学会理事长（1985-1987），中国科学院数理学部主任（1992-1994），全国政协委员、常委（1979-1998），2002年国际数学家大会主席，1993年开始任中国科学院系统所名誉所长。

从1946年到1951年，吴文俊主要从事施蒂费尔-惠特尼示性类的研究工作；从1953年到1957年，他主要从事庞特里亚金示性类的研究工作。其后，吴文俊转向示嵌类的研究。由于他在拓扑学示性类及示嵌类方面的出色工作，吴文俊与华罗庚、钱学森一起荣获1956年国家第一届自然科学奖的最高奖——一等奖，并于1957年增选为中国科学院学部委员(院士)。1958年吴文俊被邀请到国际数学家大会作分组报告（因故未能成行）。

1976年，吴文俊在中国古算研究的基础上，开拓了机械化数学的崭新领域。1986年吴文俊被邀请到国际数学家大会作分组报告，1990年荣获第三世界科学院数学奖，1993年获陈嘉庚数理科学奖，1994年获首届香港求是杰出科学家奖，1997年获得国际自动推理最高奖厄布朗（Herbrand）自动推理杰出成就奖。

2000年，吴文俊由于对拓扑学与数学机械化的贡献，获得首届最高国家科学技术奖。2006年吴文俊由于 “对数学机械化新兴交叉学科的贡献 ”与美国数学家David Mumford共同获得了有东方诺贝尔奖之称的 “邵逸夫数学奖”及一百万美元的奖金。评奖委员会认为：“通过引入深邃的数学思想，吴开辟了一种全新的方法，该方法被证明在解决一大类问题上都是极为有效的。”“吴的方法使该领域发生了一次彻底的革命性变化，并导致了该领域研究方法的变革。” 他的工作“揭示了数学的广度，为未来的数学家们树立了新的榜样。”

吴文俊的研究工作涉及代数拓扑学、微分拓扑学、代数几何学、对策论、中国数学史、数学机械化等多个数学领域并在其中做出了独特的贡献。现介绍最重要的两个领域：拓扑学与数学机械化。

对拓扑学的重大贡献 拓扑学是现代数学的主要领域之一。法国现代数学家狄多奈称拓扑学是现代数学的女王。陈省身先生称拓扑的发展是二十世纪上半世纪在纯粹数学的最大成就。示性类是拓扑学中最基本的整体不变量。

上世纪50年代前后，示性类研究还处在起步阶段。吴文俊将示性类概念由繁化简，由难变易，引入新的方法和手段，形成了系统的理论。他引入了一类示性类，被称为吴示性类。他还给出了刻画各种示性类之间关系的吴公式。在他的工作之前，示性类的计算有极大的困难。吴的工作给出了示性类之间的关系与计算方法。由此拓扑学和数学的其他分支结合得更加紧密，许多新的研究领域应运而生。这最终使示性类理论成为拓扑学中最完美的一章。

拓扑学中最基本问题之一是嵌入问题。在吴的工作之前，嵌入理论只有零散的结果。吴提出了吴示嵌类等一系列拓扑不变量，研究了嵌入理论的核心问题，并由此发展了统一的嵌入理论。

在拓扑学研究中，吴起到了承前启后的作用。在他的工作的影响下，研究拓扑学的武器库得以形成，这极大地推进了拓扑学的发展。许多著名数学家从吴的工作中受到启发或直接以吴的成果为起始点之一，获得了一系列重大成果。例如，吴的工作被五位国际数学最高奖-菲尔兹奖-得主引用，他们分别是法国数学家托姆、美国数学家米尔诺、斯梅尔、维腾，英国数学家阿提亚，其中三位还在他们的获奖工作中使用了吴的结果。数学大师陈省身先生称赞吴“对纤维丛示性类的研究做出了划时代的贡献。”由于以上两项工作，1956年吴文俊获首届“国家自然科学一等奖。”

吴文俊的工作是50年代前后拓扑学的重大突破之一，产生了重大影响，成为影响深远的经典性成果, 被写进多种教科书，至今还在前沿研究中使用。

开创数学机械化领域 上世纪七十年代末，吴文俊用算法的观点对中国古算作了正本清源的分析，认为中国古算是算法化的数学。由此，开辟了中国数学史研究的新思路与新方法，在数学史领域产生了重大影响。1986年吴文俊被邀请到国际数学家大会作分组报告，介绍他在中国古代数学史研究中的成果。不仅如此，他又在中国古算研究的启发下，开拓了机械化数学的崭新领域。

1977年他在初等几何定理的机械化证明方面首先取得成功，提出了几何定理机器证明的吴方法。此后，相继提出微分几何的定理机械化证明方法，方程组符号求解的吴消元法，全局优化的有限核定理，建立了数学机械化体系。他不仅建立数学机械化的基础，而且将这一理论应用于多个高技术领域，解决了曲面拼接、机构设计、计算机视觉、机器人等高技术领域核心问题。这样走出了完全是中国人自己开拓的新的数学道路，产生了巨大的国际影响。

1997年吴文俊获得国际自动推理最高奖“Herbrand自动推理杰出成就奖”。授奖词中提到，几何定理自动证明在“吴方法”出现之前进展甚微,“在不多的自动推理领域中，这种被动局面是由一个人完全扭转的。吴文俊很明显是这样一个人。”吴的工作使得“几何定理证明的研究已全面复兴，变为自动推理界最活跃与成功的领域之一。”

几十年来，吴文俊一贯重视人才的培养。50至60年代，他在数学所培养的学生和长期在他影响或帮助下工作的同志，有些已经成为有名的数学家。从1960年起，吴文俊担任中国科学技术大学数学系60级学生的主讲教师，在中国科学技术大学培养了80多名学生，有的已成为所在领域的领军人物，并涌现出多名国际著名学者。

1990年，以吴文俊为首的“中国科学院数学机械化中心”正式成立。2003年,数学机械化中心与信息安全中心联合成立了中国科学院数学机械化重点实验室。该实验室目前已经成为国际计算机数学领域最著名的领军团队之一。

吴文俊的各项独创性研究工作使他在国际、国内产生广泛的影响，享有很高的声誉。2010年，经国际天文学联合会小天体命名委员会批准，将国际编号第7683号小行星永久命名为“吴文俊星”。 2011年，中国人工智能学会发起设立“吴文俊人工智能科学技术奖”；这是我国智能科学技术领域唯一依托社会力量设立的科学技术奖，具备直接推荐国家科学技术奖资格，被誉为“中国智能科技最高奖”。2011年，中国科学技术大学以中国科学技术大学数学所为基础组建了中国科学院吴文俊数学重点实验室。

吴文俊治学严谨，学术思想活跃，但从来不注意个人名利，无论获得多么高的声誉，他总是勤奋地在科研第一线工作，一生积极进取、锲而不舍，不断取得新的成就。他读庞特里亚金的俄文原文完全是靠字典一个字一个字查出来的，其刻苦精神由此可见一斑。在开始从事机器证明时，他已近花甲之年，为了验证自己所提方法的有效性，他从零开始学习编写计算机程序，用Fortran语言实现了符号计算和几何定理证明的算法。编程的工作量是巨大的，他每天十多个小时在机房连续工作，终于取得成功。他平易近人，乐于助人，乐于宣传其他人的成绩，学术作风民主。

吴文俊具有强烈的爱国心，于1951年放弃在法国的优越条件，回到祖国参加社会主义建设。他对祖国的经济建设十分关心，对于国内重大建设及项目如数家珍。1970年代以后，他对中国文化有了更深刻的认识，通过自己的科研工作真正切实地为复兴中国文化做出了重要贡献。

在1994年香港求是科技基金会的“杰出科学家”奖的颁奖典礼上，陈省身先生介绍吴文俊的学术成就，盛赞他保持了历史上的许多大数学家对纯粹数学与应用数学都有贡献的传统，他的工作一般来说都是“独出蹊径，不袭前人，富创造性”，他的机器证明理论“保持了中国数学的传统”，盛赞“这是一个十分杰出的数学家！”

2016年10月的世界人工智能大会上，新智元曾发起纪念世界人工智能六十载的主题活动，在时空隧道里对十位在人工智能领域留下了印记的伟大历史人物致敬，其中就有吴文俊先生。

震惊与悲伤

吴文俊先生逝世的消息传出，不少学者和企业界人士都表达了自己的震惊和悲伤之情。

【王小川】 震惊。中学的时候，我参加数学课题尝成功实现吴文俊方法下几何定理的自动证明，还给李岚清和杨振宁做过演示汇报。但一直就没见过吴先生本人，还想着哪天能去拜访。这就突然离开没有机会了。

吴文俊的学生在朋友圈也发表长文悼念吴先生，我们在此引用，以表达对这位伟大的数学家、人工智能先驱的缅怀与敬意： 老吴、吴先生、吴文俊教授、吴文俊院士、吴文俊研究员，这些我们在公开的、私下的、当其面或不当其面的不同场合称呼的老者 - 敬爱的吴文俊老师走了，时间是2017年5月7日晨7时20分许。再有几天就是吴老师98岁的生日，但他还是选择在这时驾鹤西去了。睿智的学者、慈祥的长者，我们永远怀念您！

是不是一个数学教授，一个数学专业的院士就可以称作数学家? 这还真不好说。但是给数学教授甚至更大一些范围的人群贴上mathematician标签是没问题的，因为mathematician指的就是作数学的人，是数学工作者。称得上数学家的人当然是mathematician，但他/她还应当是出色的mathematician。这或许应成为一种共识：数学教授/教师可以很多，也应当很多 - 因为人类社会对数学的需求无处不在；但数学家不会很多，也不该很多 - 因为不是什么人都会摆脱雕虫小技的迷惑和自欺自恋的德行。

在我的想象中，数学家应当作出过很重要的学术贡献、应培养出过一定数目的优秀学生，特别地应当有影响致远的数学思想。按照这个尺度去衡量，吴文俊教授是当然的数学家，而且还是中国当代杰出的数学家。

我非常荣幸和骄傲的是能成为吴老师最早期的博士研究生之一。他的品德、他的造诣、他的思想、他的志向、他的干劲深深地影响着我。我感激他，珍惜跟他学习、共事的31年之时光。缘分酿情谊，恩师诚楷模，宽厚铸品行，勤奋驱杂念，学问需积累，成就靠专注。

吴老师，我们舍不得您。茫茫魂海，游走到那儿，您都会是灯塔。我们迟早都会去投奔您，跟随您，神境之处，魂杰天灵！