Automated theorem proving

Automated theorem proving is when a computer can do the same work as a mathematician to prove mathematical theorems. It does this by using special software or algorithms that figure out if something is true or false. The computer takes in the starting information (called "axioms") and then steps through the process to arrive at a conclusion. The computer is able to check if each step of the proof is correct, which makes it much faster than humans at proving theorems!