首屆國家最高科技獎得主吳文俊逝世 享年98歲

中國科學院院士、首屆國家自然科學獎一等獎、首屆國家最高科學技術獎、邵逸夫數學獎得主吳文俊，5月7日晨在北京醫院去世，享年98歲。

吳文俊是中國最具國際影響的數學家之一，他對數學的核心領域拓扑學作出了重大貢獻，開創了數學機械化新領域，對數學與計算機科學研究影響深遠。業內評論稱，他的工作“獨辟蹊徑，不襲前人，富創造性”，他的機器証明理論“保持了中國數學的傳統”，盛贊他是一個十分杰出的數學家。(記者 張素)

吳文俊，1919年出生於上海，1940年本科畢業於上海交通大學，1946年在中央研究院數學所工作。1949年畢業於法國斯特拉斯堡大學，獲得法國國家博士學位，隨后在法國國家科學中心任研究員。

吳文俊於1951年回國工作，先在北京大學數學系任教授，1952年到中國科學院數學研究所任研究員，直到1980年轉入中國科學院系統科學所，1998年轉入新成立的中國科學院數學與系統科學研究院。

憑借在拓扑學示性類及示嵌類方面的杰出工作，吳文俊在1956年獲國家首屆自然科學獎一等獎，於1957年增選為中國科學院學部委員(院士)。1990年獲第三世界科學院數學獎，1993年獲陳嘉庚數理科學獎，1994年獲首屆香港求是杰出科學家獎，1997年獲得國際自動推理最高獎厄布朗自動推理杰出成就獎。

2000年，吳文俊由於對拓扑學與數學機械化的貢獻，獲得首屆國家最高科學技術獎。

吳文俊的各項獨創性研究工作使他在國內外產生廣泛的影響，享有極高聲譽。2010年，經國際天文學聯合會小天體命名委員會批准，將國際編號第7683號小行星永久命名為“吳文俊星”。2011年，中國人工智能學會發起設立“吳文俊人工智能科學技術獎”。(完)