中新社北京5月7日電 (記者 張素)中國科學院院士、首屆國家自然科學獎一等獎、首屆國家最高科學技術(shù)獎、邵逸夫數(shù)學獎得主吳文俊，5月7日晨在北京醫(yī)院去世，享年98歲。

吳文俊是中國最具國際影響的數(shù)學家之一，他對數(shù)學的核心領(lǐng)域拓撲學作出了重大貢獻，開創(chuàng)了數(shù)學機械化新領(lǐng)域，對數(shù)學與計算機科學研究影響深遠。業(yè)內(nèi)評論稱，他的工作“獨辟蹊徑，不襲前人，富創(chuàng)造性”，他的機器證明理論“保持了中國數(shù)學的傳統(tǒng)”，盛贊他是一個十分杰出的數(shù)學家。

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

吳文俊于1951年回國工作，先在北京大學數(shù)學系任教授，1952年到中國科學院數(shù)學研究所任研究員，直到1980年轉(zhuǎn)入中國科學院系統(tǒng)科學所，1998年轉(zhuǎn)入新成立的中國科學院數(shù)學與系統(tǒng)科學研究院。

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

2000年，吳文俊由于對拓撲學與數(shù)學機械化的貢獻，獲得首屆國家最高科學技術(shù)獎。

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