1978年,一位中国学者正式发明了几何定理机器证明的新方法,这就是举世公认的“吴方法”。应用这种方法,使欧氏几何定理的证明完全实现了机械化。利用它,人们便能借助计算机很快地重新验证已经证明过的定理,这些定理要是用传统方法来证明的话,难度之大是不可想象的。 In 1978, a Chinese scholar formally invented a new method of proof of geometric theorem machines, which is universally recognized as the “Wu Method.” Using this method, the proof of Euclidean theorem of geometry is fully mechanized. With it, one can quickly revalidate proven theorems using computers, which are inconceivable if difficult to justify using traditional methods.