Comment I wonder... (Score 1) 133
If all the theorems/lemmas/etc used in the ultimate proof were each given an even share of the $1M, and we followed things back recursively, how much money would each person get.
Real Users find the one combination of bizarre input values that shuts down the system for days.
