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