But the "computer" is magic, to you. I could prove anything by claiming I completed a trivial-to-explain exhaustive search. The only support or refutation woul

But the "computer" is magic, to you. I could prove anything by claiming I completed a trivial-to-explain exhaustive search. The only support or refutation would be someone doing their own search. It's a very weak foundation. We already had the ABC conjecture crisis: A theorem with a human-written proof so complex that no one besides the author can understand it. Some people claim to have refuted it. Most mathematicians are unqualified to decide.