Kinda like mathematicians hated it when the four color theorem was solved by a computer brute-forcing thousands of options. Only imagine that the same thing happens to hundreds of important mathematical problems—the proper way to solve them becomes to reduced them to a huge by finite number of cases, then throw lots of money at a computer who will handle these cases one by one, producing a “proof” that no human will ever be able to verify directly.
Kinda like mathematicians hated it when the four color theorem was solved by a computer brute-forcing thousands of options. Only imagine that the same thing happens to hundreds of important mathematical problems—the proper way to solve them becomes to reduced them to a huge by finite number of cases, then throw lots of money at a computer who will handle these cases one by one, producing a “proof” that no human will ever be able to verify directly.