“文革”期间吴文俊在北京无线电一厂劳动，但这里并不做无线电，而是转向制造计算机，在这里吴文俊第一次了解了计算机，并感到了计算机的巨大威力，认为计算机是一个了不起的工具。

　　吴文俊深切地感受到，对于数学未来的发展具有决定性影响的一个不可估量的方面是计算机对数学带来的冲击。在不久的将来，电子计算机之于数学家，势将如显微镜之于生物学家，望远镜之于天文学家那样不可或缺。

　　1974年，吴文俊开始涉足中国古代数学史，渐渐地深入进去，他对中国古代数学有了一个重要发现，就是贯穿中国古代算术的思想是机械化的思想，是非常符合现代计算机的思想。这促使他想二者合一，解决一些数学问题。

　　1976年，吴文俊放弃已成就卓著的拓朴学研究，在抱孙子的年龄“不可思议”地毅然开始攀越学术生涯的第二座高峰——数学机械化。

　　为了解决机器证明几何定理的问题，他年近花甲从头学习计算机语言。那时，在中科院系统科学研究所的机房里，经常会出现一位老人的身影，不分昼夜地忘我工作。有很多年，吴老的上机操作时间都是整个研究所的第一名。

　　1977年，吴文俊关于平面几何定理的机械化证明首次取得成功，从此，完全由中国人开拓的一条数学道路铺展在世人面前。

　　1984年，年轻的中国数学家周咸青去美国丹佛参加“全美定理机器学术会议”，在会上他提交了一篇《用吴方法证明几何定理》的论文，同时在现场用电脑进行演示，短短的十几分钟证明了几百条几何定理，整个会场顿时哗然。

　　“吴方法”的神奇之处在于，可以让电脑代替人脑去进行几何定理的证明，这样对于人脑来说，原本很复杂和繁琐甚至不太可能的计算和推理就变得轻而易举了。把这一方法运用到各种科研和技术领域中，就能显著提高工作效率。

　　后来，吴文俊在他的阅读中零星地读到，在他之前，世界上也有数学家提出过减轻繁重脑力劳动的想法，像解析几何的发明者笛卡尔等，但他们或是没有进行过尝试，或是迷失了路径。

　　而吴文俊以他敏锐的目光在世界电脑发展初露端倪之时，立即把电脑与自己所研究的中国古代算术思想联系起来，开辟了一条与西方迥然不同的数学机械化道路，开创了机器定理证明的时代，国际上称为“吴文俊方法”和“吴消元法”。

　　数十年间，吴文俊不仅建立了“吴公式”、“吴示性类”、“吴示嵌类”、“吴方法”、“吴中心”，更形成了“吴学派”。近代数学史上第一次由中国人开创的这一新领域，吸引了各国的众多数学家前来学习。

　　因为“手工计算上千项的证明要几天功夫，用计算机1秒钟就可以完成。”

　　诺贝尔奖没有设数学奖，人们通常把“菲尔兹奖”誉为数学中的诺贝尔奖。吴文俊的工作被5位菲尔兹奖获得者引用，有3位的获奖成果还使用了吴文俊的方法。一直到最近两年，仍有菲尔兹奖得主在引用吴文俊的经典结果。(完)

　　招聘

　　量子位正在招募编辑记者、运营、产品等岗位，工作地点在北京中关村。相关细节，请在公众号对话界面，回复：“招聘”。

　　One More Thing…

　　今天AI界还有哪些事值得关注？在量子位（QbitAI）公众号会话界面回复“今天”，看我们全网搜罗的AI行业和研究动态。笔芯~

　　另外，欢迎加量子位小助手的微信：qbitbot，如果你研究或者从事AI领域，小助手会把你带入量子位的交流群里。

　　?'?' ? 追踪AI行业和技术动态