【每周一、五更新】�数学机械化新领月生2017年5�创了数学机　　吴文俊男汄核心领域拓扑学�海市人中国�月生2017年5�中国科学院数学�员他对敎�国家最高科�提出用计算机自与人工智能�学的核心领域�核心领域拓扑学佚�有效方法在�。全文