Very interesting result indeed. The key was that the researchers developed an algorithm to automatically improve the efficiency of their SAT search - the 200 GB "proof" was just the logic equating their efficient SAT search with the original SAT problem - the output of their algorithm. The real magic was in devising this algorithm.