
Cette startup veut changer la façon dont les mathématiciens font des maths
Axiom Math, une startup basée à Palo Alto, vient de lancer Axplorer, un outil d'intelligence artificielle gratuit destiné aux mathématiciens. Conçu pour identifier des motifs mathématiques susceptibles de débloquer des problèmes non résolus depuis des décennies, l'outil est accessible à quiconque dispose d'un Mac Pro — une rupture radicale avec les ressources jusqu'alors nécessaires pour ce type d'approche.
L'enjeu dépasse largement le cercle académique. Comme le souligne François Charton, chercheur chez Axiom, les avancées en mathématiques ont des répercussions directes sur l'ensemble de la technologie : développement de l'IA de nouvelle génération, renforcement de la sécurité sur Internet, optimisation des réseaux complexes. La DARPA américaine a d'ailleurs lancé l'initiative expMath (Exponentiating Mathematics) pour encourager précisément ce type de développement — et Axiom se positionne explicitement dans cette dynamique.
Axplorer est une refonte grand public de PatternBoost, un outil que Charton avait co-développé en 2024 alors qu'il était chez Meta, et qui nécessitait un supercalculateur. PatternBoost avait notamment permis de résoudre le problème des quatre-cycles de Turán, un défi majeur en théorie des graphes. La fondatrice et CEO d'Axiom, Carina Hong, insiste sur une distinction clé : là où les LLMs comme GPT-5 excellent à trouver des solutions à des problèmes déjà balisés, Axplorer vise l'exploration — générer des exemples, identifier des motifs inédits, ouvrir de nouvelles branches mathématiques. Charton est sévère avec l'approche LLM : "Les LLMs sont conservateurs. Ils essaient de réutiliser ce qui existe déjà."
La comparaison la plus directe est AlphaEvolve de Google DeepMind, qui utilise une approche similaire d'amélioration itérative — mais reste fermé, accessible uniquement à quelques chercheurs privilégiés. C'est précisément le pari d'Axiom : démocratiser ces capacités de découverte mathématique assistée par IA, sans passer par de grandes infrastructures GPU ni dépendre d'un accès institutionnel.
L'outil gratuit Axplorer est accessible à toute la communauté mathématique européenne, et son co-créateur François Charton est un chercheur français.



