Automated theorem proving
ID: automated-theorem-proving
AGI-complete in general? Obviously. But still, a lot can be done. See e.g.:
- The Busy Beaver Challenge deciders
New to topics? Read the docs here!
New to topics? Read the docs here!