吴文俊：把代数几何与机器证明写到世界的中国数学家

他自称"很笨"，却说出了"数学是笨人学的"这句流传甚广的话；他一生两度开创数学研究的新天地，从拓扑学到数学机械化，让世界为中国数学的原创能力而瞩目。他就是中国科学院院士、"人民科学家"国家荣誉称号获得者、首届国家最高科学技术奖得主——吴文俊。

拓扑学的东方新星

1919年5月12日，吴文俊出生于上海。1940年毕业于上海交通大学，后经陈省身先生推荐进入数学研究所。1947年，他赴法国留学，在斯特拉斯堡大学深造拓扑学，仅用两年便通过博士答辩。1950年，他首创"吴示性类""吴公式"，将抽象的拓扑学概念变得具体可算，震惊法国数学界，与托姆、塞尔等并称"法国拓扑四杰"。

1956年，37岁的吴文俊与华罗庚、钱学森一起，荣获首届国家自然科学奖一等奖。他却没有满足于既有成就，而是一再跳出熟悉的领域，向更难攀登的科学高峰发起挑战。

用"笨功夫"开创新天地

上世纪70年代，吴文俊敏锐地察觉到计算机的巨大潜力。年近花甲之际，他毅然放下钻研多年的拓扑学，从零开始学习计算机语言，走上数学机械化之路。在很长一段时间里，他是研究所机房里年龄最大、上机时间最长的"程序员"。

经过近十年日积月累的"笨功夫"，吴文俊用计算机成功证明了几何定理，"吴方法"由此诞生——这是近代数学史上第一个由中国人原创的研究领域，被国际数学界认定为自动推理领域的先驱性工作，也深刻影响了今天的人工智能、模式识别等前沿技术。

让外国人跟着我们学

吴文俊始终强调学术上的独立思考与原创精神。他说："我们不能老是跟着人家亦步亦趋，应该有自己的东西，让外国人跟我们学。"他还十分推崇以《九章算术》为代表的中国古代数学，认为中国数学有着算法化、机械化的深厚传统，完全可以走向世界前列。

2000年度，吴文俊荣获首届国家最高科学技术奖；2006年，他又因对数学机械化这一新兴交叉学科的贡献获得邵逸夫数学奖。2019年，他被国家授予"人民科学家"荣誉称号。2017年5月7日，这位"老顽童"般的数学大师在北京辞世，享年98岁。

结语：一生一事，极致报国

吴文俊用一生诠释了什么叫"把聪明藏在笨功夫里"。他既站在世界拓扑学的前沿，又开创出中国人自己的原创研究方向，让国际数学界为中国智慧点赞。他的探索与坚守，为中国数学乃至世界科技发展贡献了不可磨灭的力量。