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 ...

For more than six decades, Gilbert Strang stood at a chalkboard at the Massachusetts Institute of Technology. He taught linear algebra, a subject many students find abstract and difficult to grasp at ...