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