That hasn't been true for at least 30 years. Do you claim the current proof of the 4 color theorem was, in substantial part, not written by a computer?
Nothing of substance is "proven" by a computer. There are things that can be verified by exhaustive computer search. The proof part of the A&H theorem was the reduction to the cases that were then "verified" by computer. It was still viewed with suspicion.