1957年底，曾考取中法交換生的數(shù)學(xué)家吳文俊，受邀回到闊別六年的巴黎進(jìn)行講學(xué)。

吳文俊在法國(guó)的學(xué)術(shù)訪問大受歡迎，原定的訪問時(shí)間快結(jié)束時(shí)，還有大學(xué)想邀請(qǐng)他去講學(xué)。

然而，1958年6月16日，吳文俊結(jié)束訪問歸國(guó)后，等待他的卻是一個(gè)壞消息，他所從事的拓?fù)鋵W(xué)研究被意外叫停了。

1958年，為解決人才問題，中國(guó)科學(xué)院創(chuàng)辦了一所新大學(xué)——中國(guó)科技大學(xué)。中科院數(shù)學(xué)所的高級(jí)研究人員被安排參與到中國(guó)科技大學(xué)的教學(xué)工作，其中就包括吳文俊。

在教學(xué)過程中，吳文俊開始了代數(shù)幾何研究，并很快有了成果。

1965年，他的論文手稿在《數(shù)學(xué)進(jìn)展》上發(fā)表，反響很大。

1971年的一天，吳文俊接到了一封來自美國(guó)的信件。

給吳文俊寫信的是他的老師——國(guó)際著名數(shù)學(xué)大師陳省身。陳省身在信中寫道：“我來加州已11年，雖年近六十，精神如舊，工作仍能繼續(xù)。盼見面之期能不遠(yuǎn)也。”他還隨信給吳文俊寄來了一些拓?fù)鋵W(xué)最新的研究資料。

1972年9月，美國(guó)的一個(gè)學(xué)術(shù)代表團(tuán)來中國(guó)訪問，其中就有陳省身。一到北京，他就迫不及待去見他的學(xué)生吳文俊。

這次見面，陳省身講了許多國(guó)際上數(shù)學(xué)研究的最新進(jìn)展，吳文俊頗受震動(dòng)。他感覺到了中國(guó)數(shù)學(xué)水平在多年搖擺和停頓中與國(guó)際拉開的巨大差距。

后來，中科院數(shù)學(xué)所的一位領(lǐng)導(dǎo)給吳文俊出了一個(gè)主意：你可以研究一下中國(guó)古代數(shù)學(xué)。吳文俊此前研究的都是西方數(shù)學(xué)，對(duì)中國(guó)古代數(shù)學(xué)的印象只停留在加減乘除。

《周髀算經(jīng)》是中國(guó)最古老的一本天文學(xué)和數(shù)學(xué)著作。三國(guó)時(shí)期的數(shù)學(xué)家趙爽給這本書寫注時(shí)，提出了一個(gè)測(cè)量太陽高度的想法，并畫了一幅“日高圖”。實(shí)際是對(duì)日高公式的證明。

可惜的是趙爽原圖佚失，證明也找不到了。讓人感到意外的是，之前對(duì)中國(guó)古代數(shù)學(xué)有偏見的吳文俊接觸后不久，就根據(jù)殘存的原始信息成功復(fù)原了趙爽的“日高圖”，并補(bǔ)出日高公式的證明。很快，吳文俊發(fā)表了第一篇數(shù)學(xué)史論文《中國(guó)古代數(shù)學(xué)對(duì)世界文化的偉大貢獻(xiàn)》。

中國(guó)古代數(shù)學(xué)激發(fā)了吳文俊的研究熱情。而令他日后成名的“機(jī)器證明”研究，靈感也來自于中國(guó)古代數(shù)學(xué)。

在工廠勞動(dòng)時(shí)，吳文俊見證了計(jì)算機(jī)的威力，而中國(guó)數(shù)學(xué)給了他重要的啟發(fā)。1976年冬，57歲的吳文俊開始了幾何定理機(jī)器證明研究。他在北京圖書館借遍了與機(jī)器證明有關(guān)的書籍，雖已近花甲之年依然苦讀鉆研。

功夫不負(fù)有心人。1977年，吳文俊第一篇關(guān)于機(jī)器證明的論文發(fā)表。他創(chuàng)造性地將一般形式的代數(shù)簇分解為所謂“三角列”形式，讓很多性質(zhì)變得容易計(jì)算，從而使代數(shù)幾何中很多重要問題得到構(gòu)造性解決。這個(gè)方法后來被以他的姓氏命名為“吳氏方法”。

1979年，吳文俊應(yīng)邀赴美國(guó)訪問，做了兩場(chǎng)機(jī)器證明報(bào)告，引起了美國(guó)數(shù)學(xué)家的極大興趣。那次美國(guó)之行，吳文俊向國(guó)家申請(qǐng)了2萬元美金，購買了一臺(tái)像樣的臺(tái)式計(jì)算機(jī)，他要親自操作。當(dāng)時(shí)已經(jīng)60歲的吳文俊開始學(xué)習(xí)編寫計(jì)算機(jī)程序，他也由此成為了他們部門年齡最大的計(jì)算機(jī)程序員。

61歲那年，吳文俊申請(qǐng)加入中國(guó)共產(chǎn)黨。當(dāng)時(shí)改革開放的形勢(shì)讓他很興奮，在入黨志愿書上吳文俊寫道：“現(xiàn)在黨已經(jīng)進(jìn)入了第二階段的革命時(shí)期，我國(guó)的科學(xué)文化也應(yīng)像政治與經(jīng)濟(jì)那樣，急需改變幾百年的落后面貌，走上獨(dú)立自主的發(fā)展道路，把我國(guó)建設(shè)為一個(gè)科學(xué)上最先進(jìn)的國(guó)家，作為一個(gè)從事科學(xué)工作的知識(shí)分子，我決心在黨的領(lǐng)導(dǎo)下為這一新的偉大歷史任務(wù)克盡綿薄�！�

1984年，美國(guó)舉辦了一場(chǎng)全美定理機(jī)器學(xué)術(shù)會(huì)議。華裔學(xué)生周成青提交了一篇題為《用吳方法證明幾何定理》的論文。他在現(xiàn)場(chǎng)用電腦演示，短短十幾分鐘里證明了幾百條幾何定理，現(xiàn)場(chǎng)一片嘩然。

吳方法的成功引起了國(guó)際數(shù)學(xué)界的極大關(guān)注。兩年后，吳文俊應(yīng)邀前往美國(guó)參加世界數(shù)學(xué)家大會(huì)，并在會(huì)上做了45分鐘的報(bào)告。在當(dāng)時(shí)的中國(guó)數(shù)學(xué)家中，吳文俊是獲此殊榮的第一人。

2001年2月19日，國(guó)家科學(xué)技術(shù)獎(jiǎng)勵(lì)大會(huì)在北京人民大會(huì)堂隆重舉行。這次大會(huì)首次設(shè)立國(guó)家最高科學(xué)技術(shù)獎(jiǎng)，以國(guó)家名義對(duì)為科學(xué)技術(shù)發(fā)展作出杰出貢獻(xiàn)的科學(xué)家給予最高榮譽(yù)獎(jiǎng)勵(lì)。因在數(shù)學(xué)機(jī)械化領(lǐng)域的開拓性貢獻(xiàn)，82歲的吳文俊獲得了國(guó)家最高科學(xué)技術(shù)獎(jiǎng)。

2011年，以吳文俊名字命名的中國(guó)人工智能大會(huì)召開，吳文俊被尊稱為“中國(guó)人工智能先驅(qū)”。

2017年5月7日，吳文俊因病逝世，享年98歲。

兩年后，以他名字命名的中國(guó)智能科學(xué)技術(shù)最高獎(jiǎng)項(xiàng)“吳文俊人工智能科學(xué)技術(shù)獎(jiǎng)”舉行了隆重的頒獎(jiǎng)儀式。

正是吳文俊提出用計(jì)算機(jī)證明幾何定理的“吳方法”，成為自動(dòng)推理領(lǐng)域的里程碑。由于他的開拓性貢獻(xiàn)，人工智能得到快速發(fā)展。

2019年，吳文俊被授予“人民科學(xué)家”國(guó)家榮譽(yù)稱號(hào)。

9年前，一顆國(guó)際編號(hào)第7683號(hào)的小行星被永久命名為“吳文俊星”。在浩瀚的夜空中，它將永遠(yuǎn)閃耀！