Based in Palo Alto, California, Axiom Math has launched Axplorer, a free AI tool aimed at helping mathematicians uncover mathematical patterns that may lead to solutions for longstanding challenges. This new tool is an evolution of PatternBoost, co-developed by François Charton, a research scientist at Axiom, during his time at Meta. Unlike its predecessor, which required supercomputing resources, Axplorer can operate on a standard Mac Pro, making it accessible to a wider audience.
The tool is part of a broader initiative by the US Defense Advanced Research Projects Agency, known as expMath, which encourages the integration of AI in mathematical research. Axiom Math believes that advancements in mathematics can significantly impact technology, particularly in fields like computer science and cybersecurity.
While many AI tools have focused on solving existing problems, Axiom Math emphasizes the exploratory nature of mathematics. Charton expresses skepticism about the effectiveness of large language models (LLMs) in tackling well-studied mathematical issues, asserting that true breakthroughs often require novel insights. Axplorer is designed to facilitate this exploration by allowing users to generate and refine patterns iteratively. With open-source code available on GitHub, Axiom Math hopes to accelerate mathematical discovery for students and researchers alike.