1977年，数学家吴文俊正式发表了用机器证明几何定理的新方法，受到了世界的公认，被誉为“吴氏方法”。运用该种方法，实现了欧氏几何定理证明的机械化，有着重要应用价值。于是，世界数学界诞生了一个新的研究领域——数学机械化。如同工业革命实现体力劳动机械化一样，“吴氏方法”带来了全球脑力劳动机械化。美国前人工智能协会主席布莱德梭曾致函中国领导人：“吴的工作是一流的，他独自使中国在该领域进入国际领先行列。”近代数学史上第一次由中国人开创的这一新领域，吸引了各国的众多数学家前来学习。因为“手工计算上千项的证明要几天功夫，用计算机1秒钟就可以完成”。该方法已在计算机图形学、机械设计、理论物理等领域获得重要应用，它将引起数学研究方式的变革。1991年，吴文俊获第三届世界科学家数学奖，1997年获Herbrand自动推理成就奖。