吴文俊引发“地震”的天才

国际数学界不乏年少成名的奇才，但很少有人能时隔数十年再创辉煌，更罕有人能在晚年开宗立派，劈开一个全新领域。吴文俊做到了。

1946年，吴文俊师从数学家陈省身，开始研究拓扑学。拓扑学是着名的“难学”，但会者不难，入门不久，吴文俊就展露出化难为易的天分。1947年11月份，28岁的吴文俊赴法留学，继续拓扑学的研究，仅用两年就获取博士学位。他在这一领域的研究猛到什幺程度呢？中科院院士林群曾经笑言：拓扑学在上世纪50年代前后闹过5次“地震”，其中一次是由中国人“闹”的，这个中国人就是吴文俊。

在拓扑学研究中，吴文俊起到了承前启后的关键作用。在吴文俊的影响下，研究拓扑学的武器库得以形成，这极大地推进了拓扑学的发展。许多着名数学家从吴的工作中受到启发或直接以吴的成果为起始点之一。

在晚年的这一系列研究中，吴文俊提出了几何定理机器证明的“吴方法”，微分几何的定理机械化证明方法，方程组符号求解的“吴消元法”，全局优化的有限核定理，建立了数学机械化体系。

1997年吴文俊获得国际自动推理最高奖“Herbrand自动推理杰出成就奖”。授奖词中提到，几何定理自动证明在“吴方法”出现之前进展甚微，“在不多的自动推理领域中，这种被动局面是由一个人完全扭转的”。吴文俊的工作使得“几何定理证明的研究已全面复兴，变为自动推理界最活跃与成功的领域之一”。

◎ 来源|经济日报，有删减