中国人工智能之父——吴文俊

    吴文俊，中国著名数学家、中国中共党员、中国中国科学院院士。吴文俊对数学的主要领域做出了重大贡献——拓扑、创造了数学机械化的新领域，获得了第一届国家最高科学技术奖、第一届国家自然科学一等奖、拥有东方诺贝尔奖的名称邵逸夫数学奖、国际自动推理奖，赫兰德自动推理杰出成就奖。

    吴文俊出生于1919年的上海，他于1940年毕业于交通大学数学系。1949年从法国毕业，1951年回到中国。他是北京大学、中国科学院数学研究所、中国科学院科学技术学院、中国科学院和系统科学。他曾担任中国中国4主席，中国科学院数学和物理系主任，国家中国6常务委员会委员，2002年国际数学家大会主席人工智能研究所名誉主席，中国系统研究所名誉所长。

    从1946年到1951年，吴文俊主要从事Stiefel-惠特尼的研究工作。从1953年到1957年，他主要从事庞特里亚金的研究工作。后来，吴文俊转向嵌入式课程的学习。吴文俊和华罗庚、钱学森由于在拓扑和显示类方面的出色工作，于1956年获得了第一届国家自然科学奖一等奖，——和1957年的一等奖。年度选举是当选为中国科学院（院士）成员。1958吴文俊受邀参加国际数学家大会，进行小组报告。
    1976年，吴文俊在中国古代计算的基础上开发了一个新的机械化数学领域。1986年，吴文俊被邀请参加国际数学家大会，进行小组报告。1990年，他获得了第三世界科学院的数学奖。1993年，他获得了惠特尼2数学科学奖。1994年，他获得了首个惠特尼3惠特尼4杰出科学家奖。1997年，他获得了国际自动推理奖，差事惠特尼5（Herbrand）自动推理杰出成就奖。
    在2000年，吴文俊因其对拓扑和数学机械化的贡献而获得了第一届国家科学技术奖。2006吴文俊得益于“对数学机械化新兴学科的贡献”和惠特尼8数学家DavidMumford与Oriental惠特尼9共同获得“庞特里亚金0数学奖”和100万美元奖金。陪审团说：“通过引入深刻的数学思想，庞特里亚金1开辟了一种全新的方法，已被证明在解决各种问题上极为有效。”“庞特里亚金1的方法使这一领域发生了一场彻底的革命，他的工作“揭示了数学的广度，为未来的数学家树立了新榜样。”
    吴文俊的研究工作涉及代数拓扑、微分拓扑、代数几何、博弈论、中国数学史、数学机械化等数学领域做出了独特的贡献。介绍了两个最重要的区域：拓扑和数学机械化。
    对拓扑的重大贡献
    拓扑是现代数学的主要领域之一。庞特里亚金5现代数学家庞特里亚金6被称为拓扑学，是现代数学的女王。庞特里亚金7先生说，拓扑学的发展是20世纪上半叶纯数学领域的最大成就。显式类是拓扑中最基本的整体不变式。在1950年代，关于指标的研究仍处于起步阶段。吴文俊简化了班级的概念，并且很难更改。引入了新的方法和手段来形成系统的理论。他介绍了一个班级，称为吴班级。他还给出了一个吴公式，该公式描述了各种显式类之间的关系。在他工作之前，指示类的计算非常困难。吴的工作给出了显式类之间的关系和计算方法。这种拓扑结构和其他数学分支更加紧密地集成在一起，并且出现了许多新的研究领域。这最终使指示性类的理论成为拓扑中最完美的一章。
    拓扑中最基本的问题之一就是嵌入问题。在吴工作之前，嵌入理论只产生了分散的结果。吴提出了一系列拓扑不变量，如吴嵌入类，研究了嵌入理论的核心问题，并发展了统一的嵌入理论。
    在拓扑研究中，吴在过去和将来扮演着重要角色。在他的工作的影响下，形成了研究拓扑的武器库，极大地促进了拓扑的发展。许多著名的数学家都从吴的工作中受到启发，或者直接从吴的工作开始，并取得了一系列重大成就。例如，吴的著作被五个最高的国际数学奖-吴0-分别是吴1数学家吴2、吴3数学家吴4、吴5、吴6、020-17位数学家吴8，其中三位在获奖作品中也使用了吴的结果。数学硕士陈省身02-0先生“我为纤维簇的研究做出了划时代的贡献。”由于上述两项任务，吴文俊在1956年获得了第一届“国家自然科学一等奖”。