You can also brute force the existence of a proof... It is true that the biggest splashes have been from counterexamples and such, but I have seen many smaller

You can also brute force the existence of a proof... It is true that the biggest splashes have been from counterexamples and such, but I have seen many smaller examples of proving positive results in my own field. Perhaps not superhuman yet but sufficient to completely upend the status quo. And I'm supposed to believe that this won't change in a year? or two?