Comment by not2b

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