他60歲開始學編程，后被尊稱為“中國人工智能先驅”

1957年底，曾考取中法交換生的數學家吳文俊，受邀回到闊別六年的巴黎進行講學。

吳文俊在法國的學術訪問大受歡迎，原定的訪問時間快結束時，還有大學想邀請他去講學。

然而，1958年6月16日，吳文俊結束訪問歸國后，等待他的卻是一個壞消息，他所從事的拓撲學研究被意外叫停了。

01

之前，吳文俊一直專心于純數學研究，不太考慮現實應用。研究專業一下子被取消，吳文俊陷入了迷茫。

吳文俊

中國科學院院士

數學不能脫離現實世界，用當時的話叫理論要聯系實際。你不能脫離實際，不能為了數學而數學。

1958年，為解決人才問題，中國科學院創辦了一所新大學——中國科技大學。中科院數學所的高級研究人員被安排參與到中國科技大學的教學工作，其中就包括吳文俊。

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

1965年，他的論文手稿在《數學進展》上發表，反響很大。

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

給吳文俊寫信的是他的老師——國際著名數學大師陳省身。陳省身在信中寫道：“我來加州已11年，雖年近六十，精神如舊，工作仍能繼續。盼見面之期能不遠也?！彼€隨信給吳文俊寄來了一些拓撲學最新的研究資料。

1972年9月，美國的一個學術代表團來中國訪問，其中就有陳省身。一到北京，他就迫不及待去見他的學生吳文俊。

這次見面，陳省身講了許多國際上數學研究的最新進展，吳文俊頗受震動。他感覺到了中國數學水平在多年搖擺和停頓中與國際拉開的巨大差距。

后來，中科院數學所的一位領導給吳文俊出了一個主意：你可以研究一下中國古代數學。吳文俊此前研究的都是西方數學，對中國古代數學的印象只停留在加減乘除。

開頭我也看不起中國古代數學，根本沒想到去學。一看，就慢慢看出這不像通常想象中那么微不足道。

《周髀算經》是中國最古老的一本天文學和數學著作。三國時期的數學家趙爽給這本書寫注時，提出了一個測量太陽高度的想法，并畫了一幅“日高圖”。實際是對日高公式的證明。

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

高小山

中國科學院數學與系統研究院研究員

吳文俊學生

他研究中國古代數學，我想首先是對數學的發展做了一種正本清源。因為國際上認為中國古代數學是沒有系統的數學理論，對數學發展影響不大。吳先生通過自己的研究，認為中國數學跟西方數學實際上是兩個大的思想。

02

中國古代數學激發了吳文俊的研究熱情。而令他日后成名的“機器證明”研究，靈感也來自于中國古代數學。

在工廠勞動時，吳文俊見證了計算機的威力，而中國數學給了他重要的啟發。1976年冬，57歲的吳文俊開始了幾何定理機器證明研究。他在北京圖書館借遍了與機器證明有關的書籍，雖已近花甲之年依然苦讀鉆研。

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

1979年，吳文俊應邀赴美國訪問，做了兩場機器證明報告，引起了美國數學家的極大興趣。那次美國之行，吳文俊向國家申請了2萬元美金，購買了一臺像樣的臺式計算機，他要親自操作。當時已經60歲的吳文俊開始學習編寫計算機程序，他也由此成為了他們部門年齡最大的計算機程序員。

61歲那年，吳文俊申請加入中國共產黨。當時改革開放的形勢讓他很興奮，在入黨志愿書上吳文俊寫道：“現在黨已經進入了第二階段的革命時期，我國的科學文化也應像政治與經濟那樣，急需改變幾百年的落后面貌，走上獨立自主的發展道路，把我國建設為一個科學上最先進的國家，作為一個從事科學工作的知識分子，我決心在黨的領導下為這一新的偉大歷史任務克盡綿薄?！?/span>

03

1984年，美國舉辦了一場全美定理機器學術會議。華裔學生周成青提交了一篇題為《用吳方法證明幾何定理》的論文。他在現場用電腦演示，短短十幾分鐘里證明了幾百條幾何定理，現場一片嘩然。

吳方法的成功引起了國際數學界的極大關注。兩年后，吳文俊應邀前往美國參加世界數學家大會，并在會上做了45分鐘的報告。在當時的中國數學家中，吳文俊是獲此殊榮的第一人。

2001年2月19日，國家科學技術獎勵大會在北京人民大會堂隆重舉行。這次大會首次設立國家最高科學技術獎，以國家名義對為科學技術發展作出杰出貢獻的科學家給予最高榮譽獎勵。因在數學機械化領域的開拓性貢獻，82歲的吳文俊獲得了國家最高科學技術獎。

上一篇：如何避免水中毒的發生

下一篇：沒有了！