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

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

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

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

　　招聘

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

　　One More Thing…

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

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

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

相关阅读：

费马大定理证明过程

机械化定理证明器

数学备课大师

人脑与电脑 戴君惕

弦切角定理证明 带图

吴文俊与拓扑学

高中数学几何证明定理

蝴蝶定理的证明

数学归纳法证明不等式

证明勾股定理所有方法

怎么证明平行轴定理

向量法证明正弦定理

相关推荐：

华为史上最美操作系统，你绝对不能错过的EMUI5.0

国产操作系统典范：deepin操作系统

娱乐办公两不误！这个笔记本能把屏幕拔下来写字

斗鱼响应新规加强监管，坚持打造优质精品直播

SpaceX 火箭爆炸原因确定：液态氧过冷成了固态

华为Mate9中国版真机秀 你绝对没发现它有两种版本

99%的人都不知道的微信高效使用术？

乐视网一周蒸发88亿元 贾跃亭反思节奏发展过快

似乎已经战胜传统渠道的小米 今年为什么被OPPO、vivo 打败？

优雅商务风，性能一鸣惊人—TCL 950体验评测

转载请注明出处。