先驱人物

他是中国计算机科学和人工智能领域的先驱，以开创性工作被誉为“中国人工智能之父”。在20世纪70年代，他就敏锐地意识到人工智能对未来科技发展的重要性，率先在国内开展人工智能研究，建立了中国第一个人工智能学科，并创办了相关学术期刊。 理论突破：机器证明的里程碑 在机器证明领域，他研发的几何定理证明系统被誉为“吴方法”，成功证明了许多困难定理。这一成果改变了国际上…