开拓出中国人自己的研究方向

　　在5年前那次受访时，吴文俊对中国青年报记者表示，自己对于“具体的知识”已经知之甚少，如今“主要是在看小说”，“各式各样的小说、好看的小说”。

　　许多数学家都知道，吴先生博览群书。用他自己的话来说，他喜欢“东看西看”。

　　他的个人传记里写道：“我是个想怎样就怎样的人，想玩就玩，想工作就安安静静地工作，从不多想。读历史书籍、看历史电影帮助我的学术研究；看围棋比赛，更培养了我的全局观念和战略眼光。”

　　他“东看西看”的结果之一是为数学开创了一个新的领域。在数学界，吴文俊为人称道的一项成就是开创了数学机械化研究。当时是20世纪70年代后期，他年近花甲，从零开始学习计算机编程。他从中国古代数学的思想获得启发，提出了用计算机证明几何定理的方法，被认为是自动推理领域的一个突破。这在数学史上被称为“吴方法”。

　　20年后，吴文俊由于在此领域的“先驱性工作”获得国际自动推理学会最高奖。

　　关于当年学计算机的经历，吴文俊曾自谦“稍微学习了一些ABC”。但他2001年获国家最高科技奖时，中国科学院数学与系统科学研究院在一份简报中所作的总结显示，他绝不只是“稍微学习”而已。简报中提到，“吴文俊给人最深刻的印象是他的创新精神和惊人的勤奋”。

　　16年前的这份简报透露，在从事机器证明初期，没有计算机可以使用，为了验证其方法的有效性，吴文俊对上千项的多项式进行笔算，常常持续多日。

　　20世纪80年代初期，他的工作日程经常是：清早来到机房，八九个小时不间断地工作，下午5时许步行回家进餐，还要整理分析计算结果，19时左右又出现在机房，深夜步行回家休息。如此周而复始。

　　数学机械化研究是由中国数学家开创的领域。这体现了吴文俊多年的主张：开拓出自己的研究方向。

　　马志明对吴文俊印象最深的一点是，“他经常说我们做研究工作，应该有中国人自己的方向，不要老是跟着别人做”。而吴文俊开创的数学机械化研究，就是中国人自己的方向、自己的思想。

　　2002年，国际数学家大会首次在中国举行，吴文俊担任大会主席，担任组委会主席的是时任中国数学会理事长马志明。马志明说，吴先生为把中国建设成为数学强国倾注了大量心血，为中国数学界的组织建设和学科发展做了大量工作，他一直希望中国能够成为数学强国。