This article from the magazine The Economist argues that the notion of mathematical proof is now in flux and that "the use of computers to prove mathematical theorems is forcing mathematicians to re-examine the...