Comment by omnicognate

Yeah, not saying the proof was worthless, and the technique is indeed a genuine insight. However, there's likely to be a proof that explains why all the cases work out rather than it just being a crazy coincidence, and the existence of the proof did stifle further research into the now "solved" problem.

In hindsight, along with illustrating the potential of computers as a bicycle for the mind it also gave the first indication that if such proofs were to become very easy to produce they could also be used as a bulldozer to bury the mind.