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.
Articles by others on the same topic
AGI-complete in general? Obviously. But still, a lot can be done. See e.g.:
- The Busy Beaver Challenge deciders