新华社北京10月9日电 题：吴文俊：创“中国方法”，寻数学之“道”

新华社记者董瑞丰

将吴文俊称为中国数学界的“泰山北斗”也不为过。

1956年，他就与华罗庚、钱学森一起获得首届国家自然科学奖一等奖。2001年，他又和袁隆平一起站上首届国家最高科技奖的领奖台。

作为中国最具国际影响的数学家之一，他提出的“吴公式”“吴方法”具有极强的独创性，成就泽被至今，甚至激发了人工智能领域的跨越。

今年9月17日，吴文俊被授予“人民科学家”国家荣誉称号。

　　开辟数学一方新天地

1234567……普通人看来再平凡不过的数字，在吴文俊眼中却如此美妙，值得用一辈子求索其中之“道”。

拓扑学被称为“现代数学的女王”。上世纪50年代前后，吴文俊由繁化简、由难变易，提出“吴示性类”“吴公式”等。他的工作承前启后，为拓扑学开辟了新天地，令国际数学界瞩目。

“对纤维丛示性类的研究作出了划时代的贡献。”数学大师陈省身这样称赞吴文俊。

吴文俊不满足于此，他又开启了新的学术生涯：研究数学机械化。上世纪70年代后期，他提出用计算机证明几何定理的“吴方法”，开辟了近代数学史上的第一个由中国人原创的研究领域。

这一方法后来被用于解决曲面拼接、计算机视觉等多个高技术领域核心问题，在国际上引发了一场关于几何定理机器证明研究与应用的高潮。

1982年，美国人工智能协会主席布莱索等知名科学家联名致信中国当时主管科技工作的领导人，赞扬吴文俊“独自使中国在该领域进入国际领先地位”。

2006年，年近九旬的吴文俊凭借“对数学机械化这一新兴交叉学科的贡献”获得邵逸夫数学奖。评奖委员会这样评论他的获奖工作：展示了数学的广度，为未来的数学家们树立了新的榜样。

相关报道: