Axiom Math, a pioneering startup based in Palo Alto, California, has unveiled Axplorer, a revolutionary AI-powered tool designed to unearth mathematical patterns that could hold the key to solving longstanding problems.

Building on the foundations of PatternBoost, a tool co-developed by research scientist François Charton in 2024, Axplorer is now accessible to mathematicians worldwide, running seamlessly on a Mac Pro.

The goal of Axplorer is to democratize access to the powerful pattern-recognition capabilities of PatternBoost, which famously cracked the notoriously tough Turán four-cycles problem in graph theory. This breakthrough has far-reaching implications for the analysis of complex networks, from social media connections to supply chains and search engine rankings.

Axiom Math is proud to be part of the US Defense Advanced Research Projects Agency’s expMath initiative, which encourages mathematicians to harness the power of AI tools to drive innovation. As Axiom Math founder and CEO Carina Hong notes, mathematics is an inherently exploratory and experimental field, and AI tools can be a game-changer in this process.

While some mathematicians have leveraged Large Language Models (LLMs) to find solutions to unsolved problems, Charton is focused on tackling the toughest challenges – the big, well-studied problems that have stumped famous mathematicians for years. Last year, Axiom Math’s AxiomProver tool successfully solved four such problems, demonstrating the immense potential of AI in mathematics.

According to Charton, LLMs excel at derivative work but may not be suited for problems that require novel insights. As Axiom Math continues to push the boundaries of mathematical innovation, one thing is clear: the future of mathematics has never looked brighter.

Photo by Olena Bohovyk on Pexels
Photos provided by Pexels