吴文俊人工智能先驱(吴文俊人工智能先驱是谁) 日期: 2023-12-23 05:04:22 浏览:3 吴文俊是中国最具国际影响的数学家之一,他对数学的核心领域拓扑学做出了重大贡献、开创了数学机械化新领域,对数学与计算机科学研究影响深远,其自动推理工作在国际自动推理界有着很重要的影响,也是中国首届国家最