from the is-this-going-to-be-on-the-test dept.
HateBreeder writes "Continuing on a previous slashdot story regarding Arenstorf's proof of the existence of Infinitely Many Prime Twins,
it seems that a hole has recently been found in the proof, however mathematicians remain hopeful that the proof can be corrected."
Computers are unreliable, but humans are even more unreliable.
Any system which depends on human reliability is unreliable.