币圈子

吴文俊是中国最具国际影响的数学家之一，他对数学的核心领域拓扑学做出了重大贡献、开创了数学机械化新领域，对数学与计算机科学研究影响深远，其自动推理工作在国际自动推理界有着很重要的影响，也是中国首届国家最