利用电脑解放人脑 中科院推广“吴方法”

第2版(国内要闻)
专栏：

　　利用电脑解放人脑
中科院推广“吴方法”
本报北京3月29日讯 记者贾西平报道：国家科学技术最高奖获得者吴文俊院士的“吴方法”——数学机械化方法，将会在我国科学技术领域发挥更大的作用。中科院院长路甬祥今天宣布，中科院决定设立面向全国的专项经费，以推动“吴方法”这一世界领先成果的应用。
　　据介绍，吴文俊敏锐地觉察到计算机在数学研究中的巨大潜力，从中国传统数学的构造性思想中得到启发，开创了数学机械化研究的新领域。他提出的借助计算机证明几何定理的“吴方法”，首次实现了高效的几何定理自动证明，被认为是几何推理的先驱性工作。
　　在中科院和国家自然科学基金委举行的“吴文俊先生荣获国家最高科学技术奖庆祝会暨数学机械化方法应用推广会”上，吴文俊院士解释说，“吴方法”的重要意义就是要解放人，通过强大的计算机运算将人从复杂艰苦的逻辑推理中解放出来，让人从事更加有创造性、更加重要的工作。毫无疑问，这样一项奠基性科学成果推广应用，将会解放大量的智力资源，将对我国科研事业产生重大影响。
　　据悉，专项经费启动资金共120万元人民币，50万元来自吴文俊的获奖经费，20万元由数学与系统科学院支持，中国科学院院长基金再匹配50万元。