Communications of the ACM, Vol. 56, No. 6, 2013 - Read articles: "Proofs Probable" and "Q&A: Cracking the Code".