3 ms·

Sorry. I can’t take the page that uses category theory and artificial intelligence in that sense seriously

• alphanumeric0 5y ago
  Isn't automated theorem proving a kind of AI?