Can A.I. Quicken the Pace of Math Discoveries? - The New York Times

Could artificial intelligence save the day? That's the hope, according to Dr. Shafto. An A.I. model that could reliably check proofs would save ...