3 ms·Isn't automated theorem proving a kind of AI?by alphanumeric0 5y agoIsn't automated theorem proving a kind of AI?