This startup wants to change how mathematicians do math | MIT Technology Review

You need to enable JavaScript to view this site.

Skip to ContentMIT Technology ReviewFeaturedTopicsNewslettersEventsAudioMIT Technology ReviewFeaturedTopicsNewslettersEventsAudioArtificial intelligenceThis startup wants to change how mathematicians do mathAxiom Math is giving away a powerful new AI tool. But it remains to be seen if it speeds up research as much as the company hopes.
By Will Douglas Heavenarchive pageMarch 25, 2026Sarah Rogers/MIT Technology Review | Getty Images 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. 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. PatternBoost ran on a supercomputer; Axplorer runs on a Mac Pro. Related StoryWhat’s next for AI and mathRead next 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. Axiom sees itself as part of that drive.
Breakthroughs in math have enormous knock-on effects across technology, says Charton. In particular, new math is crucial for advances in computer science, from building next-generation AI to improving internet security. Most of the successes with AI tools have involved finding solutions to existing problems. But finding solutions is not all that mathematicians do, says Axiom Math founder and CEO Carina Hong. Math is exploratory and experimental, she says. 
MIT Technology Review met with Charton and Hong last week for an exclusive video chat about their new tool and how AI in general could change mathematics.  Math by chatbot In the last few months, a number of mathematicians have used LLMs, such as OpenAI’s GPT-5, to find solutions to unsolved problems, especially ones set by the 20th-century mathematician Paul Erdős, who left behind hundreds of puzzles when he died. Related StoryInside OpenAI’s big play for science Read next But Charton is dismissive of those successes. “There are tons of problems that are open because nobody looked at them, and it’s easy to find a few gems you can solve,” he says. He’s set his sights on tougher challenges—“the big problems that have been very, very well studied and famous people have worked on them.” Last year, Axiom Math used another of its tools, called AxiomProver, to find solutions to four such problems in mathematics.    The Turán four-cycles problem that PatternBoost cracked is another big problem, says Charton. (The problem is an important one in graph theory, a branch of math that’s used to analyze complex networks such as social media connections, supply chains, and search engine rankings. Imagine a page covered in dots. The puzzle involves figuring out how to draw lines between as many of the dots as possible without creating loops that connect four dots in a row.) “LLMs are extremely good if what you want to do is derivative of something that has already been done,” says Charton. “This is not surprising—LLMs are pretrained on all the data that there is. But you could say that LLMs are conservative. They try to reuse things that exist.” However, there are lots of problems in math that require new ideas, insights that nobody has ever had. Sometimes those insights come from spotting patterns that hadn’t been spotted before. Such discoveries can open up whole new branches of mathematics. PatternBoost was designed to help mathematicians find new patterns. Give the tool an example and it generates others like it. You select the ones that seem interesting and feed them back in. The tool then generates more like those, and so on.   It’s a similar idea to Google DeepMind’s AlphaEvolve, a system that uses an LLM to come up with novel solutions to a problem. AlphaEvolve keeps the best suggestions and asks the LLM to improve on them.

Special access Researchers have already used both AlphaEvolve and PatternBoost to discover new solutions to long-standing math problems. The trouble is that those tools run on large clusters of GPUs and are not available to most mathematicians. Related StoryA “QuitGPT” campaign is urging people to cancel their ChatGPT subscriptionsRead next Mathematicians are excited about AlphaEvolve, says Charton. “But it’s closed—you need to have access to it. You have to go and ask the DeepMind guy to type in your problem for you.” And when Charton solved the Turán problem with PatternBoost, he was still at Meta. “I had literally thousands, sometimes tens of thousands, of machines I could run it on,” he says. “It ran for three weeks. It was embarrassing brute force.” Axplorer is far faster and far more efficient, according to the team at Axiom Math. Charton says it took Axplorer just 2.5 hours to match PatternBoost’s Turán result. And it runs on a single machine. Geordie Williamson, a mathematician at the University of Sydney, who worked on PatternBoost with Charton, has not yet tried Axplorer. But he is curious to see what mathematicians do with it. (Williamson still occasionally collaborates with Charton on academic projects but says he is not otherwise connected to Axiom Math.) Williamson says Axiom Math has made several improvements to PatternBoost that (in theory) make Axplorer applicable to a wider range of mathematical problems. “It remains to be seen how significant these improvements are,” he says. “We are in a strange time at the moment, where lots of companies have tools that they’d like us to use,” Williamson adds. “I would say mathematicians are somewhat overwhelmed by the possibilities. It is unclear to me what impact having another such tool will be.” Hong admits that there are a lot of AI tools being pitched at mathematicians right now. Some also require mathematicians to train their own neural networks. That’s a turnoff, says Hong, who is a mathematician herself. Instead, Axplorer will walk you through what you want to do step by step, she says. The code for Axplorer is open source and available via GitHub. Hong hopes that students and researchers will use the tool to generate sample solutions and counterexamples to problems they’re working on, speeding up mathematical discovery. Williamson welcomes new tools and says he uses LLMs a lot. But he doesn’t think mathematicians should throw out the whiteboards just yet. “In my biased opinion, PatternBoost is a lovely idea, but it is certainly not a panacea,” he says. “I’d love us not to forget more down-to-earth approaches.” by Will Douglas HeavenShareShare story on linkedinShare story on facebookShare story on emailPopularA “QuitGPT” campaign is urging people to cancel their ChatGPT subscriptionsMichelle KimMoltbook was peak AI theaterWill Douglas HeavenHow Pokémon Go is giving delivery robots an inch-perfect view of the worldWill Douglas HeavenMeet the Vitalists: the hardcore longevity enthusiasts who believe death is “wrong”Jessica HamzelouDeep DiveArtificial intelligenceA “QuitGPT” campaign is urging people to cancel their ChatGPT subscriptionsBacklash against ICE is fueling a broader movement against AI companies’ ties to President Trump.
By Michelle Kimarchive pageMoltbook was peak AI theaterThe viral social network for bots reveals more about our own current mania for AI as it does about the future of agents.
By Will Douglas Heavenarchive pageHow Pokémon Go is giving delivery robots an inch-perfect view of the worldExclusive: Niantic's AI spinout is training a new world model using 30 billion images of urban landmarks crowdsourced from players.
By Will Douglas Heavenarchive pageOpenAI is throwing everything into building a fully automated researcherAn exclusive conversation with OpenAI’s chief scientist, Jakub Pachocki, about his firm's new grand challenge and the future of AI.
By Will Douglas Heavenarchive pageStay connectedIllustration by Rose WongGet the latest updates fromMIT Technology ReviewDiscover special offers, top stories,
upcoming events, and more.Enter your emailPrivacy PolicyThank you for submitting your email!Explore more newslettersIt looks like something went wrong.
We’re having trouble saving your preferences.
Try refreshing this page and updating them one
more time. If you continue to get this message,
reach out to us at
customer-service@technologyreview.com with a list of newsletters you’d like to receive.The latest iteration of a legacyFounded at the Massachusetts Institute of Technology in 1899, MIT Technology Review is a world-renowned, independent media company whose insight, analysis, reviews, interviews and live events explain the newest technologies and their commercial, social and political impact.READ ABOUT OUR HISTORYAdvertise with MIT Technology ReviewElevate your brand to the forefront of conversation around emerging technologies that are radically transforming business. From event sponsorships to custom content to visually arresting video storytelling, advertising with MIT Technology Review creates opportunities for your brand to resonate with an unmatched audience of technology and business elite.ADVERTISE WITH US© 2026 MIT Technology ReviewAboutAbout usCareersCustom contentAdvertise with usInternational EditionsRepublishingMIT Alumni NewsHelpHelp & FAQMy subscriptionEditorial guidelinesPrivacy policyTerms of ServiceWrite for usContact uslinkedin opens in a new windowinstagram opens in a new windowreddit opens in a new windowfacebook opens in a new windowrss opens in a new window

Axiom Math, a Palo Alto startup, has released Axplorer, an AI tool designed to accelerate mathematical research, spearheaded by founder and CEO Carina Hong and research scientist François Charton (formerly of Meta). The tool’s genesis lies in the earlier PatternBoost, which utilized a supercomputer to crack the Turán four-cycles problem – a significant challenge in graph theory involving analyzing network configurations like social media connections or supply chains. Axplorer, running on a Mac Pro, aims to make this capability accessible to a wider range of mathematicians. The initiative is aligned with the US Defense Advanced Research Projects Agency’s (DARPA) “expMath” program, which encourages the development and use of AI in mathematical research.

Charton emphasizes the profound impact mathematics has on technological advancements, particularly in AI and computer science, highlighting that new mathematical discoveries are crucial for progress. He distinguishes between situations where AI tools primarily find solutions to existing problems versus those requiring genuinely novel insights. He is skeptical of the widespread success of large language models (LLMs) like OpenAI’s GPT-5 in solving mathematical problems, suggesting they tend to “reuse” existing knowledge rather than generating truly new ideas. Charton’s team at Axiom Math has successfully employed another tool, AxiomProver, to resolve four complex mathematical problems, demonstrating the potential of their approach.

Axplorer’s methodology mirrors AlphaEvolve, a system from Google DeepMind, which iteratively improves solutions via a feedback loop. However, Charton notes that AlphaEvolve requires access through DeepMind, whereas Axplorer is designed to be accessible and operate independently. The tool’s efficiency is demonstrated by its ability to match PatternBoost’s Turán result in just 2.5 hours using a single machine. Geordie Williamson, a mathematician at the University of Sydney, who collaborated on PatternBoost, is cautiously optimistic about Axplorer, though he acknowledges that many companies are offering AI tools to mathematicians, causing a sense of overwhelm.

Hong highlights that Axplorer’s open-source code available via GitHub, along with its step-by-step guidance, targets a broader audience, including students and researchers, with the goal of accelerating discoveries and generating counterexamples. Williamson stresses the importance of maintaining traditional mathematical approaches, advocating for a balanced approach that doesn't completely discard methods like whiteboards. He views PatternBoost as a promising concept but recognizes its limitations as a comprehensive solution. Axiom Math's goal is to provide a more accessible and efficient pathway for mathematical exploration, leveraging AI to uncover patterns and insights that might otherwise remain unnoticed.