Reading The Music of the Primes, came across this, apropos our addiction to LLMS, re. using a computer for the proof of the Four Colour Problem: "In the absence of new ideas, the computer gave the impression of progress. But it was just an impression... chewing gum for the mind"