Située à Palo Alto, en Californie, Axiom Math a lancé Axplorer, un outil d'IA gratuit destiné à aider les mathématiciens à déceler des motifs mathématiques pouvant mener à des solutions à des défis de longue date. Cet outil est une évolution de PatternBoost, co-développé par François Charton, un scientifique de recherche chez Axiom, lors de son passage chez Meta. Contrairement à son prédécesseur, qui nécessitait des ressources de supercalcul, Axplorer peut fonctionner sur un Mac Pro standard, le rendant accessible à un plus large public.
Cet outil s'inscrit dans une initiative plus large de l'Agence des projets de recherche avancée de la défense des États-Unis, connue sous le nom d'expMath, qui encourage l'intégration de l'IA dans la recherche mathématique. Axiom Math croit que les avancées en mathématiques peuvent avoir un impact significatif sur la technologie, en particulier dans des domaines comme l'informatique et la cybersécurité.
Alors que de nombreux outils d'IA se concentrent sur la résolution de problèmes existants, Axiom Math souligne la nature exploratoire des mathématiques. Charton exprime des doutes quant à l'efficacité des modèles de langage (LLMs) pour aborder des problèmes mathématiques bien étudiés, affirmant que de véritables percées nécessitent souvent des idées nouvelles. Axplorer est conçu pour faciliter cette exploration en permettant aux utilisateurs de générer et d'affiner des motifs de manière itérative. Avec un code open-source disponible sur GitHub, Axiom Math espère accélérer la découverte mathématique pour les étudiants et les chercheurs.