【吳文?。航|方數(shù)學的新天地需要你我的努力】吳提出的用計算機證明幾何定理的方法， 改變了國際上自動推理研究的面貌，被稱為自動推論領(lǐng)域的先驅(qū)性工作， 并因此獲得Herbrand自動推論杰出成就獎。吳文俊人工智能科學技術(shù)獎是我國智能科學技術(shù)領(lǐng)域唯一以吳院士命名的科學技術(shù)獎。#人工智能#
    背景信息：@中科院之聲一提到科學或者數(shù)學，大家腦子里想到的就是以歐美為代表的西方科學和數(shù)學。但是，中科院院士吳文俊認為，事實上還有跟它們完全不同的所謂東方科學與數(shù)學。《中國科學技術(shù)史》里就提到，東方不僅有科學和數(shù)學，而且跟西方走的是完全不同的道路，有不同的思想方法。 #晚安#