网站截屏
吴文俊院士，37岁凭借在拓扑学上的杰出成就，与华罗庚、钱学森一起获得首届国家自然科学奖一等奖；38岁当选中国科学院学部委员；上世纪70年代开始攀登数学机械化的高峰；世纪之交，捧得首届国家最高科技奖……
然而我们对他却知之甚少。
1
中国数学梦：让外国人跟着中国人跑
吴文俊是数学界的“泰斗”，他的示性类和示嵌类研究被国际数学界称为“吴公式”，“吴示性类”，“吴示嵌类”，至今仍被国际同行广泛引用。
吴文俊在数学界最关注的事情，莫过于数学的探索研究和发展。“我想知道数学界在进行哪些探索，金融数学进展如何，统计和运筹搞得怎样，西部地区的年轻人申请基金是否困难。”吴文俊说道。
吴文俊曾与陈省身、程民德、胡国定等中国老一辈数学家共同提出“中国数学要在21世纪率先赶上世界先进水平，成为数学强国”的宏伟目标。
吴文俊补充道，当时还提了“三步走”和具体规划，想把全国数学界动员起来，实现“率先赶上”的中国数学梦。我做梦都在想哪个领域赶上去了。搞数学，光发表论文不值得骄傲，应该有自己的东西。不能外国人搞什么就跟着搞什么，应该让外国人跟我们跑。这是可以做到的。
现在看，中国数学梦在部分领域已成真。中国人用机械证明定理，全世界都认可。以前认为，计算机只能用于计算，现在还能用于证明，计算机的作用就更大了。
