Automated theorem proving

ID: automated-theorem-proving

AGI-complete in general? Obviously. But still, a lot can be done. See e.g.:
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!