This startup wants to change how mathematicians do math

MIT Technology Review / 3/25/2026

📰 NewsSignals & Early TrendsTools & Practical UsageModels & Research

Key Points

  • Axiom Math, a Palo Alto startup, has released Axplorer, a free AI tool for mathematicians aimed at discovering mathematical patterns that may help solve persistent open problems.
  • Axplorer is described as a redesign of an earlier PatternBoost tool co-developed by François Charton in 2024, with Charton now serving as a research scientist at Axiom.
  • The tool’s core value proposition is shifting how mathematicians explore problem spaces by using AI-assisted pattern discovery.
  • By making the tool available at no cost, Axiom is lowering barriers for researchers to trial AI-driven approaches in mathematical workflows.
Axiom Math, a startup based in Palo Alto, California, has released a free new AI tool for mathematicians, designed to discover mathematical patterns that could unlock solutions to long-standing problems. The tool, called Axplorer, is a redesign of an existing one called PatternBoost that François Charton, now a research scientist at Axiom, co-developed in 2024…