3 ms·
You seem to think "AI" means machine learning. In this case it does not. Theorem prover systems don't use neural nets.
by not2b 7y ago
You seem to think "AI" means machine learning. In this case it does not. Theorem prover systems don't use neural nets.
- higherkinded 7y agoOkay but they are formal systems and don't have anything to do with AI either, do they?