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

史忠植:缅怀吴文俊先生

2017年07月10日    来源:中国人工智能学会     
810

  史忠植

  中国人工智能学会前副理事长、中国科学院计算技术研究所研究员

  吴先生是杰出的数学家,卓越的人工智能学家。20世纪70年代,吴先生第一次接触到计算机,他敏锐地觉察到计算机的极大发展潜能。受计算机与古代传统数学的启发,他抛开已成就卓著的拓扑学研究,毅然开始攀越学术生涯的第二座高峰数学机械化。为了解决机器证明几何定理的问题,他年近花甲从头学习计算机语言。

  1977年,吴先生证明了可以机械化证明初等几何一类主要定理。1980年,他发现了两个几何学的新定理,引起了学术界的关注。国际上公认的吴方法将几何证明问题转换为方程的求解问题。从手工证明到机器证明,是数学思想方法的重大飞跃。数学机械化方法改变了国际自动推理的面貌,属于20世纪中国数学赶超国际先进水平的标志性成果。这个完全由中国人开创的全新领域,吸引了各国数学家前来学习。此后人工智能、并联数控技术、模式识别等很多领域取得的重大科研成果,背后都有数学机械化的广泛应用。吴先生的工作获得国内外学术界高度称赞,他也因此相继荣获第三世界科学院“数学奖”、1997年获国际自动推理最高奖“Herbrand自动推理杰出成就奖”、2000年荣获首届国家最高科技奖。2006年荣获邵逸夫数学奖(2006)。

  吴先生始终强调年轻人要有独立的思想、看法,敢于超越现有的权威,绝不能人云亦云。《吴文俊人工智能科学技术奖励》吸引了越来越多的科技工作者投身科技创新行列,为我国人工智能研究与应用的发展发挥愈来愈大作用,做出愈来愈大的贡献。