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

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

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

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

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

2000年，吳文俊由于對(duì)拓?fù)鋵W(xué)與數(shù)學(xué)機(jī)械化的貢獻(xiàn)，獲得首屆國(guó)家最高科學(xué)技術(shù)獎(jiǎng)。

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