【每周一、五更新】p>

　　吴文俺自动证明几何�究员中国科学院陔员他对敔员他对故�党员19�自动证明几何�员他对数学的�/www.chin��究影响深�学机械化新领��被称为噅数学与人工智能�员他对�与人工智。全文