國際數(shù)學(xué)界不乏年少成名的奇才，但很少有人能時隔數(shù)十年再創(chuàng)輝煌，更罕有人能在晚年開宗立派，劈開一個全新領(lǐng)域。吳文俊做到了。

1946年，吳文俊師從數(shù)學(xué)家陳省身，開始研究拓?fù)鋵W(xué)。拓?fù)鋵W(xué)是著名的“難學(xué)”，但會者不難，入門不久，吳文俊就展露出化難為易的天分。1947年11月份，28歲的吳文俊赴法留學(xué)，繼續(xù)拓?fù)鋵W(xué)的研究，僅用兩年就獲取博士學(xué)位。他在這一領(lǐng)域的研究猛到什么程度呢？中科院院士林群曾經(jīng)笑言：拓?fù)鋵W(xué)在上世紀(jì)50年代前后鬧過5次“地震”，其中一次是由中國人“鬧”的，這個中國人就是吳文俊。

在拓?fù)鋵W(xué)研究中，吳文俊起到了承前啟后的關(guān)鍵作用。在吳文俊的影響下，研究拓?fù)鋵W(xué)的武器庫得以形成，這極大地推進(jìn)了拓?fù)鋵W(xué)的發(fā)展。許多著名數(shù)學(xué)家從吳的工作中受到啟發(fā)或直接以吳的成果為起始點之一。

在晚年的這一系列研究中，吳文俊提出了幾何定理機器證明的“吳方法”，微分幾何的定理機械化證明方法，方程組符號求解的“吳消元法”，全局優(yōu)化的有限核定理，建立了數(shù)學(xué)機械化體系。

1997年吳文俊獲得國際自動推理最高獎“Herbrand自動推理杰出成就獎”。授獎詞中提到，幾何定理自動證明在“吳方法”出現(xiàn)之前進(jìn)展甚微，“在不多的自動推理領(lǐng)域中，這種被動局面是由一個人完全扭轉(zhuǎn)的”。吳文俊的工作使得“幾何定理證明的研究已全面復(fù)興，變?yōu)樽詣油评斫缱罨钴S與成功的領(lǐng)域之一”。

◎ 來源|經(jīng)濟(jì)日報，有刪減