舒石 问耕 发自 LZYY

　　量子位 报道 | 公众号 QbitAI

　　我国著名数学大师、首届国家最高科技奖获得者、人工智能研究开拓者吴文俊院士因病医治无效，于2017年5月7日7时21分在北京逝世。

　　在此致以深切的哀悼。

　　吴文俊(Wentsun WU)，祖籍浙江嘉兴，1919年5月12日出生于上海。1940年吴文俊毕业于交通大学数学系，1949年在法国斯特拉斯堡大学获博士学位。

　　吴文俊在拓扑学、自动推理、机器证明、代数几何、中国数学史、对策论等研究领域均有杰出的贡献，在国内外享有盛誉。他的数学研究活动，可分为前后两个时期。

　　前期自1947年至70年代，以代数拓扑为主，他的贡献主要有两个方面：示性类、示嵌类研究，是拓扑学中的奠基性工作并有许多重要应用。

　　后期始于1976年，从事机器征明与数学机械化的研究。他提出的用计算机证明几何定理的方法(吴方法)，与常用的基于数理逻辑的方法根本不同，显现了无比的优越性，改变了国际上自动推理研究的面貌，被称为自动推论领域的先驱性工作。

　　△吴文俊，《人民画报》1957年，摄影 钱浩

　　吴文俊曾获得首届国家自然科学一等奖(1956)、中国科学院自然科学一等奖(1979)、第三世界科学院数学奖(1990)、陈嘉庚数理科学奖(1993)、首届香港求是科技基金会杰出科学家奖(1994)、Herbrand自动推理杰出成就奖(1997)、首届国家最高科学技术奖(2000)、第三届邵逸夫数学奖(2006)。

　　△吴文俊与袁隆平获首届国家最高科学技术奖

　　2010年5月4日，国际小行星中心先后发布公报通知国际社会，将国际永久编号第7683号小行星永久命名为“吴文俊星”。

　　吴文俊1957年当选为中科院学部委员（后改为院士）。现任中国科学院系统科学研究所名誉所长。1991年当选第三世界科学院院士。

　　吴文俊还曾担任中国数学会理事长（1985—1987），中国科学院数理学部主任（1992—1994），全国政协常委（1979—1998）

　　此外，中国人工智能学会还发起成立“吴文俊人工智能科学技术奖”，这是我国智能科学技术领域唯一以吴文俊先生命名，依托社会力量设立的科学技术奖，具备直接推荐国家科学技术奖资格，被誉为“中国智能科技最高奖”。

　　再次深切缅怀吴文俊先生。

　　以下是量子位摘录整理的一些吴文俊生平故事。

　　拓扑学

　　吴文俊的青少年时代是在抗战的炮火中度过的。

　　他小时候喜欢看历史书籍，对数学并没有多大兴趣。在大学二年级时还曾一度对数学失去兴趣，atv直播，甚至想辍学不念。一位姓武老师的精彩课程，改变了他对数学的看法。大学三四年级时的刻苦钻研，使他打下了现代数学的基础。

　　大学毕业后，吴文俊到处奔波才在郊区的中学找到了一个位置。此后整整五年，没有接触数学研究。

　　抗战胜利后，吴文俊由亲友推荐结识了陈省身先生。此时，拓扑学正在兴起，被称为现代数学的王后，陈省身把他引上了拓扑学的正途。在陈省身身边一年多的时间里，吴文俊展露了颖异的才华，极受陈先生赏识。

　　1946年，吴文俊考取了留学生，来到法国，两年之后获得法国国家科学博士学位。法国是拓扑学的中心，吴文俊在这里御风而飞，渐入境界。

　　1950年, 吴文俊提出“吴示性类” 和“吴公式”，将拓扑学中示性类的概念由繁化简，由难变易，并给出了示性类之间明确的关系和可以计算的公式。吴文俊抓住本质的鲜明工作，如同拨云见日，为拓扑学开辟了新的天地，被称为 “拓扑学的地震”。

　　1951年吴文俊回到祖国，继续拓扑学方面的研究，又作出了“吴示嵌类”的发现。

　　1956年，37岁的吴文俊因其在拓扑学上的杰出成就，与华罗庚、钱学森一起获得当时的“最高科技奖”——国家自然科学一等奖，j2直播，第二年他成为了当时最年轻的中国科学院学部委员（院士）之一。

　　数学机械化

　　数学机械化思想的提出和成果铸就了吴文俊数学人生的第二块里程碑。这源于两次偶然的机遇。一次是在无线电厂的劳动，一次是对中国古代数学的重新认识。