Probabilistically Checkable Proofs

"How Computer Scientists Learned to Reinvent the Proof"