2017年5月7日，数学界巨擘、中国科学院院士、中国科学院数学与系统科学研究院研究员、首届国家最高科学技术奖获得者吴文俊驾鹤西行，享年98岁。

吴文俊曾在《东方数学的使命》这篇文章中提出一个问题：“怎样进行工作，才能对得起古代的前辈，建立起我们新时代的新数学，并在不远的将来，使东方的数学超过西方的数学，不断地出题目给西方做？我想，这是值得我们大家思考和需要努力的方面。”

为解答这个问题，吴文俊身体力行。在拓扑学领域，吴文俊引进的示性類和示嵌类被称为“吴示性类”和“吴示嵌类”，他导出的示性类之间的关系式被称为“吴公式”。在吴文俊研究的影响下，研究拓扑学的“武器库”得以形成，法国数学家托姆、美国数学家米尔诺等许多著名数学家都受他启发或以他的研究为起点之一，获得一系列重要成果。

1970年代后期，吴文俊开创了崭新的数学机械化领域，他提出的用计算机证明几何定理的“吴方法”被认为是自动推理领域的先驱性工作。因为这项工作，他获得了2006年的“邵逸夫数学奖”。

这样开创性的工作，源自吴文俊对数学发展、对中国古代数学的深刻理解。吴文俊认为，中国古代数学不同于西方传统公理化数学，它是构造性的、算法性的，因而是最符合数学机械化的。他用算法的观点对中国古算作了正本清源的分析，不仅开辟了中国数学史研究的新思路与新方法，也与机械化数学的开创密切相关。

“科研是永远做不完的。……