首届吴文俊人工智能科学技术奖揭晓

 2012年05月15日  来源： 新华网

新华网北京５月１４日电（记者余晓洁）首届吴文俊人工智能科学技术奖１４日在京揭晓。北京邮电大学钟义信教授的“构建信息科学理论基础，创新人工智能核心理论”获吴文俊人工智能科学技术奖成就奖；广东工业大学蔡文研究员等完成的“拓论及其应用”获创新奖一等奖。

此外，北京邮电大学和国瑞数码安全系统有限公司杨义先等完成的“时空混沌密码与信息安全技术”项目、北京工商大学韩力群等完成的“智能烤烟烟叶质量特征检测与分级系统”项目、中国科学院自动化研究所汤淑明等完成的“智能交通技术带来的节能降耗”项目分获进步奖二等奖。

“获奖同志是广大智能科学技术工作者的优秀代表。希望大家珍惜荣誉，谦虚谨慎，再接再厉，为推动经济社会发展和科技进步创造新的业绩。”中国科协副主席赵沁平说。

吴文俊是我国著名数学家、首届国家最高科学技术奖获得者。他开创的数学机械化在国际上被誉为“吴方法”。此后人工智能、并联数控技术、模式识别等诸多领域取得的重大科研成果，背后都有数学机械化的广泛应用。

据中国人工智能学会副理事长谭铁牛介绍，吴文俊人工智能科学技术奖设有成就奖、创新奖和进步奖，每年评奖一次，奖励在智能科学技术领域取得重大突破，做出卓著贡献的科技工作者和管理者。

吴文俊，男，1919年5月出生于上海，1940年毕业于上海交通大学数学系。

    1946年赴法国Strassbourg 大学留学，获博士学位。1957年被选为中国科学院学部委员（院士）。1990年被第三世界科学院选为院士，2000年度国家最高科技奖 。

    1952年至1979年任中国科学院数学所副所长、研究员。1979年至现在任中国科学院系统科学研究所副所长、名誉所长、研究员。

吴文俊院士是著名的数学家，他的研究工作涉及到数学的诸多领域。在多年的研究中取得了丰硕成果。其主要成就表现在拓扑学和数学机械化两个领域。他为拓扑学做了奠基性的工作。他的示性类和示嵌类研究被国际数学界称为“吴公式”，“吴示性类”，“吴示嵌类”， 在拓扑学的示性类和示嵌类、数学机械化等领域中作出了重要贡献，后者得益于他对中国数学史的研究。这是近代数学史上的第一个中国原创的领域，被国际上称为“吴方法”。至今仍被国际同行广泛引用，影响深远，享誉世界。

    70年代后期，在计算机技术大发展的背景下，他继承和发展了中国古代数学的传统（即算法化思想），转而研究几何定理的机器证明，彻底改变了这个领域的面貌，是国际自动推理界先驱性的工作，被称为“吴方法”，产生了巨大影响。吴的研究取得了一系列国际领先成果并已应用于国际上当前流行的符号计算软件方面。

吴文俊院士热爱祖国，有高尚的科学道德，是数学界德高望重的前辈，至今仍在数学机械化研究的第一线。在50多年的研究工作中，始终站在数学领域的前沿，做出了原创性研究成果。在国际上产生了重大影响。

代表作品： 《几何定理的机械化证明》，《数学机械化》