Artificial intelligence systems may be good at generating text, recognizing images, and even solving basic math problems—but when it comes to advanced mathematical reasoning, they are hitting a wall.

If you're old enough, you probably remember getting a line from your math teacher that you need to learn the steps to an equation because "you won't always be carrying a calculator with you." In an AP ...