史忠植：缅怀吴文俊先生

史忠植

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

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

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

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