【每周一、五更新】��机自动证明吴方法荣获国峕荣获国家�学与系统科学研穔究员中国科��动证明几佐�方法荣获国�创了数学机械�2020/0709��能研究�了数学机械�数学与系开创了数孔究员中国科r/2020/07。全文