By theorems, I mean the ones you can find in an undergraduate course of mathematics, not the ones you can find in a textbook of automated proofs.
I mean by "proved by a computer" that an existing theorem was fully automatically proved by a computer(Automated Theorem Proving).
I exclude verifications of existing theorems by a computer.
This is a related question.