“吴方法”引起国际学术界巨大反响 我国数学机械化研究中心成立

第4版(要闻)
专栏：

　　“吴方法”引起国际学术界巨大反响
我国数学机械化研究中心成立
本报北京８月８日讯 记者蒋建科报道：传统的数学证明定理和求解方程，能不能同现代计算机技术结合？我国著名数学家吴文俊创立的机器证明理论，使数学机械化成为现实。这一理论在国际上被誉为“吴方法”，各国科学家竞相研究，并已开拓这一理论的应用领域。这是今天在北京召开的中国科学院系统科学研究所“数学机械化研究中心”成立大会上透露的消息。
中国科学院学部委员、系统科学研究所名誉所长吴文俊，１９７７年首次提出机器证明理论，为利用计算机从事数学研究提供了一种全新的理论。在国家有关科技领导部门的支持下，中科院系统所成立了以吴文俊研究员为核心的数学机械化研究小组，不仅在理论上丰富和充实了“吴方法”，而且在多项式理论、机器人学、非线性规划、控制论和几何模型等应用研究方面，也获得了具有国际水平的研究成果。
据悉，数学机械化研究小组应用“吴方法”，已成功地证明了６００多条定理。现在，关于计算机视觉的最新文献中，“吴方法”的应用已占据重要位置。
“吴方法”在国际学术界受到高度重视。一些国际知名学者认为，“吴方法”在自动推理领域具有划时代的意义，是最近１０年中自动推理领域出现的最为激动人心的进展。欧美许多国家纷纷邀请吴文俊前往讲学，在高科技领域开发应用“吴方法”，并在某些方面获得突破性进展。
国务委员、国家科委主任宋健，中国科学院院长周光召等出席“数学机械化研究中心”成立大会。