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.

Polynomial equations are a cornerstone of modern science, providing a mathematical basis for celestial mechanics, computer graphics, market growth predictions and much more. But although most high ...

Alan Veliz-Cuba has received funding from the Simons Foundation and the American Mathematical Society for some of his research. You can probably think of a time when you’ve used math to solve an ...

A modern Red Riding Hood on her way to Grandma’s house can meander through the woods, or drive down the interstate, or even climb a mountain to come around the back way. All those routes will get her ...