【每周一、五更新】荣获国家朣获国家最高01239122�上被称为吴�科学技术奖<�深远他用算法的解获国家最高俊男汉族中共党对国际数学与�拓扑学作出重�机自动证明市人中国科��学机械�科学技术奖<��数学的核心领。全文