Origin of "To Err Is Human; to Foul Things Up Requires a Computer" (2010)

There was a common line: "It would have taken a thousand mathematicians a century to make a mistake like this."