Automated theorem proving
ID: automated-theorem-proving
Automated theorem proving (ATP) is a branch of artificial intelligence and mathematical logic concerned with the development of algorithms and software that can automatically prove mathematical theorems. The goal of ATP systems is to determine the validity of logical statements and derive conclusions based entirely on formal logical reasoning, without human intervention.
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!