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