开创数学机械化领域

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

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

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

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

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

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

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

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

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