Automated theorem proving Updated 2025-07-16
View more
AGI-complete in general? Obviously. But still, a lot can be done. See e.g.:
Read the full article