Digital Mathematicans Need Not Apply
The New York Times on the acceptance (or lack of acceptance) of computer-aided proofs in the mathematical community. This isn't really they type of computer-aided proof I work with, but still an interesting article.