Axiom Math, a California-based startup located in Palo Alto, has launched an innovative AI tool aimed at transforming how mathematicians approach problem-solving. Named Axplorer, this free resource is designed to identify mathematical patterns that may lead to breakthroughs in unresolved issues within the field. The tool is an upgraded version of PatternBoost, which François Charton, currently a research scientist at Axiom, helped develop back in 2024. By harnessing the power of artificial intelligence, Axiom Math seeks to empower mathematicians with new insights and foster a collaborative environment for tackling complex mathematical challenges.