【吴文俊：建立东方数学的新天地需要你我的努力】吴提出的用计算机证明几何定理的方法， 改变了国际上自动推理研究的面貌，被称为自动推论领域的先驱性工作， 并因此获得Herbrand自动推论杰出成就奖。吴文俊人工智能科学技术奖是我国智能科学技术领域唯一以吴院士命名的科学技术奖。#人工智能#
    背景信息：@中科院之声一提到科学或者数学，大家脑子里想到的就是以欧美为代表的西方科学和数学。但是，中科院院士吴文俊认为，事实上还有跟它们完全不同的所谓东方科学与数学。《中国科学技术史》里就提到，东方不仅有科学和数学，而且跟西方走的是完全不同的道路，有不同的思想方法。 #晚安#