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.

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.

OpenAI’s latest artificial intelligence (AI) system dropped in September with a bold promise. The company behind the chatbot ChatGPT showcased o1 — its latest suite of large language models (LLMs) — ...