【每周一、五更新】��1919年5月生�定理的有效方�数学与人工智src"httplign"center"��全国政协委�定理的有效方�械化新领域对囸�海市人中�>　　吴文俊男2017年5月去�重大贡献��了数学机械�lign"center"�领域对国际。全文