吳文俊提交了一篇“用吳方法證明幾何定理”的論文，同時(shí)在現(xiàn)場(chǎng)用電腦演示，短短的十幾分鐘證明了幾百條幾何定理，整個(gè)會(huì)場(chǎng)頓時(shí)嘩然。

這真是不可思議迄今為止所有的幾何定理機(jī)器證明都是沿襲泰斯坦或希爾伯特的路線進(jìn)行的，而這個(gè)年輕人卻另辟蹊徑，用所謂的吳方法——代數(shù)消元法自成體系。

吳方法？吳？吳文��？吳文俊何許人也？聞所未聞，與會(huì)的年輕精英們搔首皺眉；似曾相知，老一代的精英們卻依稀記得：三四十年前，在巴黎有個(gè)叫吳文俊的中國(guó)人，對(duì)示性類平方運(yùn)算及其流形給出了明確的表達(dá)式，這個(gè)表達(dá)式被國(guó)際上譽(yù)為“吳公式”。銷聲匿跡多少年，這一次又以“吳方法”重露頭角，再現(xiàn)輝煌。學(xué)術(shù)會(huì)后，美國(guó)《自動(dòng)推理雜志》主編致信吳文俊，希望能在該雜志上重新發(fā)表他的奠基之作《幾何定理機(jī)器證明的基本原理》。這一來(lái)，吳文俊的聲名再次鵲起，各方邀請(qǐng)信紛至沓來(lái)。 

吳文俊欣然前往。1986年，67歲的他到了美國(guó)。在阿格紐國(guó)家實(shí)驗(yàn)室，他看到專家們對(duì)用電腦從開(kāi)普勒定律推導(dǎo)牛頓定律一籌莫展，就用自己帶來(lái)的電腦軟件，三下五除二干凈利落地完成了自動(dòng)推導(dǎo)工作，使親睹者驚訝不已。更使他們想不到的是，眼前這位博古通今而又談鋒甚健的學(xué)者，平時(shí)卻是個(gè)性格內(nèi)向、沉默寡言的人。

吳文俊的木訥沉靜來(lái)自于他的父親。自他1919年5月在上海出生之后，在他孩提時(shí)代的記憶里，父親總是靠在臨窗的一張椅子上，一動(dòng)不動(dòng)地看著書。這時(shí)夕陽(yáng)送來(lái)金黃色的余暉，小鳥(niǎo)在窗外的枝頭啁啾。父親很少講話，只是時(shí)而一聲長(zhǎng)嘆。吳文俊不知道這深長(zhǎng)的嘆息里包含著對(duì)國(guó)家的憂患和對(duì)世事艱難的無(wú)奈。不過(guò)吳文俊很快就嘗到生活的辛酸。1932年的1月28日，日本在上海不宣而戰(zhàn)，停在黃埔江口的日本艦隊(duì)猛轟上海閘北，中國(guó)軍民奮起抗擊。一時(shí)間硝煙彌漫，槍聲四起。剛念初中的吳文俊被人送回浙江老家，以避戰(zhàn)亂。 

半年之后，吳文俊重返上海讀書。雖然課堂肅靜如初，但經(jīng)受顛沛流離之苦的吳文俊卻依舊惶恐不安。其他課還能對(duì)付，但數(shù)學(xué)對(duì)他來(lái)說(shuō)不啻是天方夜譚，以至于那學(xué)期的數(shù)學(xué)考分為零。家長(zhǎng)怨艾的目光，同學(xué)放肆的譏笑，簡(jiǎn)直使他無(wú)地自容。人，知恥而后勇，整個(gè)寒假，他閉門苦讀，居然發(fā)現(xiàn)他原先深惡痛絕的ａ、ｂ、ｃ、ｘ、ｙ、ｚ，竟蘊(yùn)藏著無(wú)窮樂(lè)趣。第二年，他的數(shù)學(xué)成績(jī)名列前茅。到高中畢業(yè)的1936年，他成了全校的“數(shù)理王子”。

他高興，但也傷心——家境越發(fā)困難了，父親盡管早出晚歸，但微薄的收入再無(wú)力供他繼續(xù)上學(xué)。好在不久之后學(xué)校設(shè)立了獎(jiǎng)學(xué)金，吳文俊憑此進(jìn)了上海交通大學(xué)數(shù)學(xué)系。 　

四年寒窗，吳文俊臥薪嘗膽，發(fā)奮鉆研。1940年他以出色的成績(jī)從大學(xué)畢業(yè)。上海當(dāng)時(shí)是日本占領(lǐng)的淪陷區(qū)。日本人早已注意到這個(gè)貌不驚人、聰慧異常的學(xué)生。他們?cè)柑峁┆?jiǎng)學(xué)金，讓他到日本去深造，或者，他也可去日本的數(shù)學(xué)研究所工作，由吳文俊自己選擇。吳文俊的選擇非常簡(jiǎn)單：留上海。而留上海意味著窮困潦倒，也意味著從此告別神圣的數(shù)學(xué)研究殿堂。他到處奔波，費(fèi)了九牛二虎之力，才在郊區(qū)的一所中學(xué)找到了一個(gè)位置。此后的整整五年半，他再也沒(méi)有接觸數(shù)學(xué)研究，只是長(zhǎng)夜夢(mèng)醒，才浮現(xiàn)依稀模糊的ａ、ｂ、ｃ…… 

命運(yùn)之神再一次惠顧了他：抗戰(zhàn)勝利，吳文俊結(jié)識(shí)了陳省身教授，他被安排在中央研究院數(shù)學(xué)研究所工作。吳文俊不負(fù)師望，在一年半的短短時(shí)間內(nèi)，就在新興的拓?fù)鋵W(xué)的研究方面取得了重大進(jìn)展，并在這個(gè)迷離晦澀的領(lǐng)域有了突破：對(duì)惠特尼提出的對(duì)偶定理做出了簡(jiǎn)單新穎的證明。陳省身對(duì)此大喜過(guò)望，在贊嘆之余立刻把他送往國(guó)外留學(xué)。于是在1947年，吳文俊到了法國(guó)。1949年獲得法國(guó)國(guó)家科學(xué)博士后，他繼續(xù)全力向拓?fù)鋵W(xué)進(jìn)軍。1950年，他提出了“吳公式”和“吳文俊示性類”，這一嶄露頭角的新成果使當(dāng)時(shí)歐洲數(shù)學(xué)界為之矚目然而，吳文俊又面臨著不是選擇的選擇。中華人民共和國(guó)的成立在他心里引起了持久的激動(dòng)。義無(wú)反顧——愛(ài)國(guó)不用喧嚷，甚至不用表白，他一聲不響地回來(lái)了，這是1951年的冬天。他開(kāi)始就教于北京大學(xué)，僅半年，就調(diào)到中國(guó)科學(xué)院數(shù)學(xué)研究所任研究員。 

吳文俊現(xiàn)在是春風(fēng)得意馬蹄疾了。他憑著自己年富力強(qiáng)和滿腹經(jīng)綸，在拓?fù)鋵W(xué)的領(lǐng)域里橫沖直撞，左右開(kāi)弓。1958年，他開(kāi)始對(duì)策論的研究；1967年，他專注于示嵌類理論與線性圖平面的相關(guān)問(wèn)題；1970年，又提出了Ｉ量度的概念……到了1974年，突如其來(lái)地，他開(kāi)始涉足研究中國(guó)古代數(shù)學(xué)史。也許這是命運(yùn)之神的最大恩賜：他對(duì)中國(guó)古代數(shù)學(xué)史的研究以及這些研究成果與現(xiàn)代電腦相結(jié)合所開(kāi)創(chuàng)的中國(guó)別具一格的數(shù)學(xué)機(jī)械化領(lǐng)域，鑄成了吳文俊人生之途的第二塊里程碑。

平心而論，吳文俊起初對(duì)中國(guó)古代數(shù)學(xué)也了解不多，但不久他便發(fā)現(xiàn)中國(guó)數(shù)學(xué)自成一體，不僅與西方理論是完全不同的兩套思路，而且對(duì)現(xiàn)代數(shù)學(xué)也有啟迪。他深入了，忘情了，而且激情澎湃了。1977年，他發(fā)表了《中國(guó)古代數(shù)學(xué)對(duì)世界文化的偉大貢獻(xiàn)》；在10年之后的1987年，他發(fā)表了更加重要的《中國(guó)傳統(tǒng)數(shù)學(xué)的再認(rèn)識(shí)》，引起了數(shù)學(xué)界的極大興趣。吳文俊提出：中國(guó)傳統(tǒng)數(shù)學(xué)雖沒(méi)有素?cái)?shù)和因子分解這一類概念，卻用求“等”之法，創(chuàng)立了大衍求一術(shù)，即中國(guó)的剩余定理；中國(guó)傳統(tǒng)數(shù)學(xué)雖沒(méi)有平行線和角度的概念，但在解決實(shí)際的測(cè)量、面積、體積和圓周率的計(jì)算中卻發(fā)展了與歐幾里得完全不同的幾何學(xué)原理；中國(guó)傳統(tǒng)數(shù)學(xué)中有世界最早的線性方程組矩陣解法和以勾股術(shù)、天元術(shù)、四元術(shù)為主的高次方程解法；中國(guó)最早完善十進(jìn)位制記數(shù)法，引入負(fù)數(shù)、分?jǐn)?shù)和小數(shù)，是最科學(xué)的實(shí)數(shù)系統(tǒng)……等等，等等，不一而足。 

　　吳文俊目光敏銳，當(dāng)世界電腦發(fā)展初露端倪之時(shí)，他立刻把電腦與自己所研究的中國(guó)古代算術(shù)思想聯(lián)系起來(lái)，從而開(kāi)辟了一條與西方迥然不同的數(shù)學(xué)機(jī)械化－定理機(jī)器證明的道路。在“吳方法”為世人所推崇之后，1989年吳文俊任數(shù)學(xué)機(jī)械化研究中心主任，他即把他創(chuàng)造的方法用于不等式證明，從而使它在機(jī)器人學(xué)和非線性規(guī)劃方面得到廣泛的應(yīng)用前景。 

　　也許是吳文俊太興奮了，有一天，一向謙虛謹(jǐn)慎的他竟然口吐“狂言”：“我是真正理解中國(guó)古代數(shù)學(xué)的第一人。”同時(shí)又補(bǔ)上了一句：“我國(guó)古代機(jī)械化和代數(shù)化的光輝思想和偉大成就是無(wú)法磨滅的�！边@兩句話刻劃出一個(gè)完整的吳文�。簭墓糯�走向未來(lái)的數(shù)學(xué)家。  

摘自《院士故事》 樊洪業(yè)