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

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

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

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

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

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

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