几何定理大学？
几何定理的机器证明，经过我国数学家吴文俊院士以及其他一些国家的数学家30多年来的共同努力，获得了充分发展。现在，以吴方法为核心，配以其它一些方法，可以解决具有100多个约束条件，十几个未知数的几何定理的判定问题，而一般的几何定理只要十几个约束条件，所以一般的几何定理都能用机器证明。
在自动推理方面，命题逻辑和数论方向，也获得了充分发展。比如，命题逻辑方面的定理，一般都能用机器完全自动地证明出来。数论方面虽然还有很多没有解决的问题，但是，一般的大学本科和研究生的数论习题都能用机器完全自动地证出来。