吳文俊引發“地震”的天才

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

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

在拓撲學研究中，吳文俊起到了承前啟后的關鍵作用。在吳文俊的影響下，研究拓撲學的武器庫得以形成，這極大地推進了拓撲學的發展。許多著名數學家從吳的工作中受到啟發或直接以吳的成果為起始點之一。

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

1997年吳文俊獲得國際自動推理最高獎“Herbrand自動推理杰出成就獎”。授獎詞中提到，幾何定理自動證明在“吳方法”出現之前進展甚微，“在不多的自動推理領域中，這種被動局面是由一個人完全扭轉的”。吳文俊的工作使得“幾何定理證明的研究已全面復興，變為自動推理界最活躍與成功的領域之一”。

◎ 來源|經濟日報，有刪減