[not2b]

You seem to think "AI" means machine learning. In this case it does not. Theorem prover systems don't use neural nets.

[higherkinded]

Okay but they are formal systems and don't have anything to do with AI either, do they?