As Dr Gonthier, and other supporters of the use of computers, point out, there is no reason to think that humans are less fallible than computers when doing long computations or proofs.

ECONOMIST: Just what does it mean to prove something?

DSPs utilize mathematical computations to process or enhance digital data almost instantaneously.

FORBES: Buying Tech: Texas Instruments