Last year, large language models were shown to be effective at solving math problems at the high school level and above. “Math is the source of great impact, but it’s done in much the same way that people have done for centuries standing in front of a blackboard,” said Patrick Shafto, DARPA program manager, in a video introducing the program. “The modern world is built on math. Math allows us to model complex systems, such as the way air flows around airplanes, the way financial markets fluctuate, and the way blood flows through the heart. Breakthroughs in advanced math can unlock new technologies, such as cryptography, which is crucial for private messaging and online banking, and data compression, which allows us to take images and video on the internet.<\/p>\n\n\n\n
But advances in math can take years. DARPA wants to speed up the process. The goal of expMath is to encourage mathematicians and AI <\/strong>researchers to develop what DARPA calls “AI<\/strong> co-authors” tools that can break down large, complex math problems into smaller, simpler problems that are easier to understand and therefore faster to solve.<\/p>\n\n\n\n For decades, mathematicians have used computers to speed up calculations or to check the correctness of certain mathematical statements. The new hope is that AI might help them crack previously unsolvable problems.<\/p>\n\n\n\n But there\u2019s a big difference betweenAI <\/strong>that can solve high school math problems (which the latest generation of models have mastered) and AI that can (in theory) solve problems that professional mathematicians spend their careers trying to solve.<\/p>\n\n\n\n On the one hand, these tools can automate some of the tasks that math graduates do; on the other, they can push human knowledge beyond existing limits.<\/p>\n\n\n\n Here are three ways to think about this gap.<\/p>\n\n\n\n AI <\/strong> needs more than just clever tricks<\/p>\n\n\n\n Large language models aren\u2019t good at math. They make things up and can be convinced that \u201c2 + 2 = 5.\u201d But newer versions of the technology, especially so-called large reasoning models (LRMs) like OpenAI\u2019s o3 and Anthropic\u2019s Claude 4 Thinking, are far more capable than ever before\u2014and that\u2019s got mathematicians excited.<\/p>\n\n\n\n This year, many LRMs scored high on the American Invitational Mathematics Exam (AIME), an exam for the top 5% of high school math students in the United States. LRMs try to solve problems step by step, rather than just giving the first answer.<\/p>\n\n\n\n Meanwhile, new hybrid models that combine a master\u2019s degree in law (LLM) with some kind of fact-checking system have also made breakthroughs. Emily de Oliveira Santos, a mathematician at the University of S\u00e3o Paulo in Brazil, points to Google DeepMind\u2019s AlphaProof system, which combines an LLM with DeepMind\u2019s game-playing model AlphaZero, as an important milestone. Last year, AlphaProof became the first computer program to reach the level of a silver medalist in the International Mathematical Olympiad, one of the world\u2019s most prestigious math competitions.<\/p>\n\n\n\n In May, Google DeepMind\u2019s model AlphaEvolve achieved better results than anything humans have ever achieved on more than 50 unsolved math problems and several real-world computer science problems.<\/p>\n\n\n\n