Where's the paper? And most importantly, how the hell did he go about proving that?

Published proofs are often so opaque, but I always wonder what the mental thought process was to get to the proof. What were you tinkering with, what were the failures, etc