A machine can now do college-level math

Image:  For a long time, computer scientists struggled to develop artificial intelligence that could solve difficult symbolic math. At best, it could solve high school math problems—and not even well enough to pass those classes. That disappointed Iddo Drori, a computer science lecturer at the Massachusetts Institute of Technology, whose 500 students in one of his classes a couple of years ago had more questions than he had time to answer. Enticed by the possibility that artificial...