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
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.
New to topics? Read the docs here!