The mathematician who checked the machine s math