Axiom Math, a pioneering startup in Palo Alto, California, has launched Axplorer, a revolutionary AI tool designed to unearth novel mathematical patterns, potentially solving long-standing problems.

Building on the success of its predecessor, PatternBoost, which cracked the notorious Turán four-cycles problem, Axplorer is now accessible to mathematicians worldwide, running seamlessly on a Mac Pro.

The US Defense Advanced Research Projects Agency’s expMath initiative has sparked a wave of innovation, encouraging mathematicians to harness the power of AI. Axiom Math is at the forefront of this movement, empowering mathematicians with the cutting-edge capabilities of PatternBoost.

Groundbreaking mathematical discoveries have far-reaching implications for technology, and Axiom Math’s founder and CEO, Carina Hong, emphasizes the crucial role of new mathematical advancements in driving progress in computer science, from next-generation AI to enhanced internet security.

While some mathematicians have leveraged large language models (LLMs) like OpenAI’s GPT-5 to tackle unsolved problems, Axiom Math research scientist François Charton remains skeptical, arguing that LLMs often rely on established ideas rather than pioneering new ones.

Charton’s focus is on using AI to tackle the most daunting challenges, including infamous problems that have stumped renowned mathematicians. Axiom Math’s AxiomProver tool has already yielded solutions to four such mathematical conundrums, underscoring the vast potential of AI in revolutionizing the field of mathematics.

Photo by Mikael Blomkvist on Pexels
Photos provided by Pexels