Using automated theorem proving, the machines can find and check proofs, as well as work with proofs too lengthy to write out by hand.
Χρησιμοποιώντας αυτοματοποιημένη απόδειξη θεωρημάτων οι υπολογιστές μπορούν να βρουν και να ελέγξουν αποδείξεις, καθώς και να εργαστούν με αποδείξεις οι οποίες είναι υπερβολικά χρονοβόρες για να γραφτούν με το χέρι.