吴文俊人工智能科学技术奖

沉痛悼念吴文俊先生:巨星陨落今犹在,懿德嘉风千古留

2017年07月10日    来源:     
1171

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

  讣告:中科院院士吴文俊逝世

  中国共产党优秀党员、我国著名数学家、中国科学院院士、首届国家最高科技奖获得者、中国科学院数学与系统科学研究院研究员吴文俊先生因病医治无效,于2017年5月7日7时21分在北京不幸逝世,享年98岁。

  吴文俊1919年5月12日出生于上海。1940年毕业于上海交通大学,1946年到中央研究院数学所工作。1947年赴法国斯特拉斯堡大学留学,1949年获得法国国家博士学位,随后在法国国家科学中心任研究员。新中国成立后,吴文俊于1951年回国,先后在北京大学、中国科学院数学所、中国科学院系统所、中国科学院数学与系统科学研究院任职。曾任中国数学会理事长、中国科学院数理学部主任、全国政协常委、2002年国际数学家大会主席、中国人工智能学会名誉理事长、中国科学院系统所名誉所长。1957年当选为中国科学院学部委员(院士)。

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

  吴文俊曾获得首届国家最高科技奖(2000)、首届国家自然科学一等奖(1956)、首届求是杰出科学家奖(1994)、有东方诺贝尔奖之称的邵逸夫数学奖(2006)、国际自动推理最高奖Herbrand自动推理杰出成就奖(1997)。他培养的许多学生已成为所在领域的领军人物。他建立的数学机械化重点实验室是国际符号计算领域最主要的研究中心之一。

  吴文俊具有强烈的爱国心,于1951年放弃在法国的优越条件,回到祖国参加社会主义建设。他对中国文化有着深刻的认识,并通过自己的科研工作为复兴中国文化做出了重要贡献。

  吴文俊先生永垂不朽!

  吴文俊先生悼念网站:www.amss.ac.cn/wwj/

  吴文俊先生遗体告别仪式定于2017年5月11日上午10:30在八宝山殡仪馆东厅举行。

  吴文俊先生治丧办公室

  2017年5月7日

  吴文俊先生治丧办公室:

  主 任: 王跃飞、席南华

  副主任: 汪寿阳、高小山、武艰

  成 员: 巩馥洲、高军、潘建中、胡晓东、戴彧虹、张纪峰、杨晓光、李洪波、冯雷、丁晓蕾

  联系人: 周代珍、李佳、牛园园、王林

  电 话: 010-82541802;82541809;82541870;82541889

  传 真: 010-82541972

  电子邮箱:wu-commemorate@amss.ac.cn(唁电唁信请发至此邮箱)

  手 机: 13693282978,18710049810,15801187618,18201550405

  地 址: 北京市海淀区中关村东路55号,数学院南楼417室

  邮 编: 100190

  参加遗体告别仪式的同志请于2017年5月11日上午9:15在思源楼上车前往殡仪馆。

  党和国家领导人关怀吴文俊院士

国家主席江泽民给首届国家最高科学技术奖获得者吴文俊颁奖

国家主席胡锦涛亲切看望杰出科学家吴文俊院士

国务院总理温家宝亲切看望吴文俊院士

中共中央政治局常委、中央书记处书记刘云山看望著名科技专家吴文俊院士

全国政协副主席、科技部万钢部长看望国家最高科学技术奖获奖者吴文俊院士

吴文俊院士参加国家最高科学技术奖获得者小行星命名仪式

  吴文俊院士生平介绍

  吴文俊是我国最具国际影响的数学家之一,他对数学的核心领域拓扑学做出了重大贡献、开创了数学机械化新领域,对数学与计算机科学、人工智能的研究影响深远。

  吴文俊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年放弃在法国的优越条件,回到祖国参加社会主义建设。1980年4月加入中国共产党,并表示“作为一个从事科学工作的知识分子,我决心在党的领导下,为党的四个现代化这一新的伟大历史任务克尽绵薄。”他对祖国的经济建设和国内重大建设项目十分关心。他对中国文化有着深刻的认识并通过自己的科研工作为复兴中国文化做出了重要贡献。

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

  吴文俊人工智能科学技术奖简介

  “吴文俊人工智能科学技术奖”是我国智能科学技术领域唯一以吴文俊院士命名,依托社会力量设立的科学技术奖,具备直接推荐国家科学技术奖资格,被誉为“中国智能科技最高奖”。

  “吴文俊人工智能科学技术奖”由国家级学会--中国人工智能学会发起主办,得到了享誉海内外的杰出科学家、著名数学家、我国智能科学研究的开拓者和领军人、首届国家最高科学技术奖获得者、中国科学院资深院士、中国人工智能学会名誉理事长吴文俊先生的支持,经国家科学技术部核准,国家科学技术奖励工作办公室(国科奖社证字第0218号)公告,2011年1月6日正式设立“吴文俊人工智能科学技术奖”。

中国人工智能学会理事长、中国工程院院士李德毅和浙江大学校长吴朝晖教授为获奖者颁奖

  “吴文俊人工智能科学技术奖”旨在贯彻“尊重知识、尊重人才、尊重创造”的方针,充分调动广大智能科学技术工作者的积极性和创造性,奖励在智能科学技术领域取得重大突破,做出卓著贡献的科技工作者和管理者。

中国人工智能学会副理事长、中国科学院院士谭铁牛宣读奖励决定

  吴文俊人工智能科学技术奖每年评奖一次。其中吴文俊人工智能科学技术成就奖和吴文俊人工智能优秀青年奖奖励个人,不设等级。吴文俊人工智能自然科学奖和吴文俊人工智能技术发明奖奖励团队成果完成人、吴文俊人工智能科学技术进步奖奖励项目(单位和成果完成人),分设一、二、三等奖。吴文俊人工智能科学技术进步奖(科普项目类和企业技术创新工程类)奖励项目,不设等级。

上海交大常务副校长、中国科学院院士梅宏致辞

  近年来,“吴文俊人工智能科学技术奖”通过开展面向全国高校、科研院所和智能化生产企业的品牌宣传、成果推介、隆重颁奖、高端论坛、项目展览等“科技奖励五个一工程”,吸引了来自清华大学、北京大学、中国科学院、浙江大学、上海交通大学等360余个高校、研究院所和企业申报,先后有120余个项目成果、300余名科技工作者得到授奖和表彰。

教育部原副部长、中国科协副主席、中国工程院院士赵沁平讲话

  “吴文俊人工智能科学技术奖”的设立、评审和颁奖,均符合《国家科学技术奖励条例》、《国家科学技术奖励实施细则》,以及《社会力量设立科学技术奖管理办法》。

香港中文大学(深圳)校长、中国工程院院士徐扬生作精彩报告

  吴文俊院士是我国人工智能研究的开拓者和领军人,中国人工智能学会第四届和第五届理事会指导委员会名誉主席,中国人工智能学会名誉理事长。吴文俊院士的“吴方法”在国际机器证明领域产生巨大的影响,有广泛重要的应用价值。当前国际流行的主要符号计算软件都实现了吴文俊院士的算法。他早年提出的数学机械化和脑力劳动机械化研究已经成为我国和世界人工智能研究的重要目标。此后人工智能、并联数控技术、模式识别等诸多领域取得的重大科研成果,背后都有数学机械化的广泛应用。

  中国人工智能学会理事长拜望吴文俊院士

中国人工智能学会理事长李德毅院士、原理事长钟义信教授亲切看望吴文俊院士

中国人工智能学会理事长李德毅院士、副理事长韩力群教授和吴文俊奖办公室余有成主任新春看望吴文俊院士

中国人工智能学会常务副理事长杨放春教授、秘书长王万森教授新春亲切看望吴文俊院士及夫人

 

吴文俊院士欣然给中国人工智能学会题词

  第六届吴文俊人工智能科学技术奖颁奖盛典在深圳举行