How Computer Scientists Learned to Reinvent the Proof

If a million computer scientists had dinner together, they’d rack up an enormous bill. And if one of them was feeling particularly thrifty and wanted to check if the bill was correct, the process would be straightforward, if tedious: They’d have to go through the bill and add everything up, one line at a time, to make sure that the sum was equal to the stated total. But in 1992…

Source