数学大师、AI先驱吴文俊逝世，40年前让电脑代替人脑证明定理(2)

2017-05-07 编辑：

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

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

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

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

　　招聘

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

　　One More Thing…

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

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

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