Axiom Math, a startup situated in Palo Alto, California, has introduced a groundbreaking AI tool named Axplorer, aimed at transforming the way mathematicians approach their work. This free resource is specifically designed to uncover mathematical patterns that may lead to solutions for age-old challenges in the field. Axplorer is an evolved version of an earlier tool called PatternBoost, co-developed by François Charton, who is currently a research scientist at Axiom. With this innovative tool, Axiom Math hopes to empower mathematicians and enhance their research capabilities, potentially leading to significant breakthroughs in mathematics.