Areas of pure math such as algebra, analysis, combinatorics and many others can be used—in some cases combined—to solve the complex math problems arising from applications of math to the real world.

Researchers at DeepMind, the artificial intelligence research division of Alphabet Inc., have created software that’s able to solve difficult geometry proofs that are often used to test the brightest ...