人工智能的早期应用中,目动定理证明中,我国著名数学家,中国科学院吴文俊院士把几何代数化,建立了一套机器证明方法,被称为'吴方法'。A. 对B. 错

本题考查人工智能早期应用中自动定理证明相关的知识，解题思路是依据对人工智能发展历程中自动定理证明领域的了解，判断关于吴文俊院士“吴方法”的描述是否正确。
在人工智能的早期应用里，自动定理证明是一个重要的研究方向。吴文俊院士是我国著名数学家，他在几何定理机器证明方面取得了重大突破。他把几何问题代数化，成功建立了一套有效的机器证明方法，也就是被广泛认可的“吴方法”。所以题目中的描述是与事实相符的。