20世紀(jì)70年代,吳文俊為了解決幾何定理機(jī)器證明和數(shù)學(xué)機(jī)械化問題,年近六十,還從頭學(xué)習(xí)計(jì)算機(jī)語(yǔ)言,親自在袖珍計(jì)算器和臺(tái)式計(jì)算機(jī)上編制計(jì)算程序,嘗盡在微機(jī)上操作的甘苦。他的勤奮是驚人的,在利用HP-1000計(jì)算機(jī)進(jìn)行研究的那段時(shí)間內(nèi),他的工作日程經(jīng)常是這樣安排的:清早,他來到機(jī)房外等候開門,進(jìn)入機(jī)房之后便八九個(gè)小時(shí)不間斷工作;下午5點(diǎn)鐘左右,他步行回家吃飯,并利用這個(gè)時(shí)間抓緊整理分析計(jì)算結(jié)果;到傍晚7點(diǎn)鐘左右,他又到機(jī)房工作,有時(shí)候只在午夜之后回家休息,清晨又回到機(jī)房。長(zhǎng)期繁重的工作,使他常常忘記自己的生日。
一天,一位客人來拜訪吳文俊,見面就說:"聽您夫人講,今天是您的六十大壽,特來祝賀!""噢,是嗎?"吳教授聽了,若無(wú)其事地說。客人感到迷惑不解,心想:"這位數(shù)學(xué)家恐怕是老糊涂了,記憶力衰退,不然怎么連自己的生日都忘了呢?"
可是,后來客人發(fā)現(xiàn)并非如此。當(dāng)他倆談到吳教授所研究的用機(jī)器證明幾何問題時(shí),客人指著教授所設(shè)計(jì)的一臺(tái)機(jī)器問道:"這臺(tái)機(jī)器是什么時(shí)候安裝好的?""去年12月6日。"教授不假思索地回答。"您在研究用機(jī)器證明幾何問題方面有哪些進(jìn)展?"客人又問。"大的進(jìn)展談不上。今年1月11日以前,我為計(jì)算機(jī)編了300多道'命令'的程序,完成了第一步準(zhǔn)備工作。"教授繼續(xù)回答。這時(shí),客人十分驚訝地問道:"吳教授,您自己的生日都記不住,這幾個(gè)日子卻記得這么清楚,這是什么原因?"吳文俊教授爽朗地笑了:"我從來不記那些無(wú)意義的數(shù)字。在我看來,生日,早一天,晚一天,有什么要緊?所以,我的生日,愛人的生日,孩子們的生日,我都記不得,但有些數(shù)字就非記不可,也很容易記。例如,年底,當(dāng)然是12月;而6正好是12的一半。年初,自然是1月,而1月11日,排成阿拉伯?dāng)?shù)字是111,3個(gè)1連排,很好記。"
就這樣,他已經(jīng)在數(shù)學(xué)研究領(lǐng)域走過了半個(gè)多世紀(jì)的漫長(zhǎng)道路。他的老伴說:"他是個(gè)搞學(xué)問的人,一心只搞學(xué)問。做家務(wù),他沒有時(shí)間,也沒有興趣。"即使在上世紀(jì)六七十年代,受到?jīng)_擊也仍然抓緊時(shí)間從事科研。
"我本來根本沒有想到我會(huì)跟計(jì)算機(jī)打交道。一直到文化大革命,要我到工廠學(xué)習(xí),我到了北京無(wú)線電一廠。這次學(xué)習(xí)對(duì)我來說非常有成果,因?yàn)闊o(wú)線電一廠當(dāng)時(shí)轉(zhuǎn)向制造計(jì)算機(jī),我在那兒真正接觸到計(jì)算機(jī),我對(duì)計(jì)算機(jī)的效率大為驚奇,覺得這是一個(gè)非常重要的武器。這是一個(gè)機(jī)遇。另外一個(gè)機(jī)遇就是1974年學(xué)習(xí)中國(guó)數(shù)學(xué)史,我也得益于中國(guó)傳統(tǒng)數(shù)學(xué)的學(xué)習(xí)。兩者一對(duì)照,我覺得中國(guó)數(shù)學(xué)的思想和方法跟現(xiàn)在的計(jì)算機(jī)是合拍的,就促使我進(jìn)行一些機(jī)器證明方面的嘗試。"真的,機(jī)遇只光顧有準(zhǔn)備的頭腦,但是有準(zhǔn)備的頭腦能不能在機(jī)遇來臨的時(shí)候不失時(shí)機(jī)地抓住它,就需要科學(xué)家敢于打破慣有思維的勇氣和創(chuàng)新精神。難怪,一同榮獲國(guó)家最高科技獎(jiǎng)的世界"雜交水稻之父"袁隆平也這樣認(rèn)為:"吳文俊機(jī)器證明的研究方法,是中國(guó)古代數(shù)學(xué)思想跟當(dāng)代計(jì)算機(jī)技術(shù)的'遠(yuǎn)緣雜交',如是'親近雜交'想必是要退化的。"
吳老為拓?fù)鋵W(xué)做了奠基性的工作,取得的成就聞名國(guó)際數(shù)學(xué)界。1976年,年近花甲的吳文俊毅然開始攀越數(shù)學(xué)生涯的第二座高峰---數(shù)學(xué)機(jī)械化。1977年,吳文俊關(guān)于平面幾何定理的機(jī)械化證明首次取得成功,從此完全由中國(guó)人開拓的一條數(shù)學(xué)道路鋪展在世人面前。這是國(guó)際自動(dòng)推理界先驅(qū)性的工作,被稱為"吳方法"。數(shù)十年間,吳文俊不僅建立了"吳公式"、"吳示性類"、"吳示嵌類"、"吳方法"、"吳中心",更形成了"吳學(xué)派",被國(guó)際數(shù)學(xué)界稱為"吳文俊公式"、"吳文俊示性類"等已被編入許多研究名著。80年代,美國(guó)計(jì)算機(jī)科學(xué)界的權(quán)威曾聯(lián)名寫信給我國(guó)中央領(lǐng)導(dǎo),認(rèn)為吳先生的工作是"第一流的",美國(guó)人工智能和自動(dòng)推理方面的一些權(quán)威人士指出:"吳的工作不僅奠定了自動(dòng)推理研究的基礎(chǔ),而且給出了衡量其他推理方法的明確標(biāo)準(zhǔn)。""吳的工作改變了自動(dòng)推理的面貌,是近幾十年來自動(dòng)推理領(lǐng)域最主要的進(jìn)展。""他使中國(guó)的自動(dòng)推理研究在國(guó)際上遙遙領(lǐng)先。"數(shù)學(xué)家李邦河分析說:"必須是具備多方面的數(shù)學(xué)知識(shí)和善于創(chuàng)造性思維的人,才可能作出這一獨(dú)特的發(fā)現(xiàn),一是他對(duì)中國(guó)古代數(shù)學(xué)的深刻理解,中國(guó)古代數(shù)學(xué)是構(gòu)造性的,可計(jì)算的,而只有構(gòu)造性的數(shù)學(xué)才可能在計(jì)算機(jī)上實(shí)現(xiàn)。二是對(duì)初等幾何的非一般可比的精通。三是熟悉代數(shù)幾何,他面對(duì)的是多項(xiàng)式系統(tǒng)。"美、德、英、法、意、日等國(guó)都在致力于"吳方法"的研究和證明,并已在智能計(jì)算機(jī)、機(jī)器人學(xué)、控制論、工程設(shè)計(jì)等方面獲得應(yīng)用。