> they can certainly disprove some of them very quickly through the kind of grind that humans can't do

Of course computers can grind in a way that humans can't. But now we have systems that convert the human-comprehensible ideas into a computer's plan of attack, in a way that greatly expands the frontier of ideas thus treatable.