Using automated theorem proving, the machines can find and check proofs, as well as work with proofs too lengthy to write out by hand.
Со употреба на автоматизирано кокажување на теореми машините можат да пронаоѓаат и проверуваат докази, како и да работат со докази кои се предолги за да да бидат пишувани рачно.