Automated theorem proving Updated +Created
AGI-complete in general? Obviously. But still, a lot can be done. See e.g.: