Research · MIT Technology Review
This outfit wants to change how mathematicians do math
Compiled by KHAO Editorial — aggregated from 1 outlet. See llms.txt for citation guidance.
◌ Single Source
Axiom Math, a startup based in Palo Alto, California, has released a free new AI tool for mathematicians, designed to discover mathematical patterns that could unlock solutions to long-standing problems.
Key facts
- According to Stanford’s 2026 AI Index, AI is sprinting, and they're struggling to keep up
- But finding solutions is not all that mathematicians do, says Axiom Math founder and CEO Carina Hong
- Exclusive: Niantic's AI spinout is training a new world model using 30 billion images of urban landmarks crowdsourced from players
- Last year, the US Defense Advanced Research Projects Agency set up a new initiative called expMath—short for Exponentiating Mathematics—to encourage mathematicians to develop and use AI tools
Summary
The tool, called Axplorer, is a redesign of an existing one called PatternBoost that François Charton, now a research scientist at Axiom, co-developed in 2024 when he was at Meta. The aim is to put the power of PatternBoost, which was used to crack a hard math puzzle known as the Turán four-cycles problem, in the hands of anyone who can install Axplorer on their own computer. Last year, the US Defense Advanced Research Projects Agency set up a new initiative called expMath—short for Exponentiating Mathematics—to encourage mathematicians to develop and use AI tools. Breakthroughs in math have enormous knock-on effects across technology, says Charton.