La recherche mathématique pourrait connaître une véritable révolution grâce à l'intelligence artificielle. Axiom Math, une jeune entreprise basée à Palo Alto, en Californie, vient de lancer un outil IA gratuit destiné aux mathématiciens. Son objectif : aider à la découverte de schémas mathématiques inédits, susceptibles de débloquer des problèmes complexes restés irrésolus pendant des années.

Cet outil, baptisé Axplorer, est une refonte d'un ancien outil appelé PatternBoost. PatternBoost avait été co-développé en 2024 par François Charton, aujourd'hui chercheur chez Axiom, lorsqu'il travaillait chez Meta. La différence majeure réside dans la puissance de calcul nécessaire : PatternBoost nécessitait un supercalculateur, tandis qu'Axplorer peut fonctionner sur un simple Mac Pro. L'ambition d'Axiom Math est de rendre accessible la puissance de PatternBoost, qui a déjà fait ses preuves en résolvant un problème mathématique ardu connu sous le nom de problème des quatre cycles de Turán, à tous ceux qui peuvent installer Axplorer sur leur propre ordinateur.

L'année dernière, la Defense Advanced Research Projects Agency (DARPA), l'agence américaine pour les projets de recherche avancée de défense, a lancé une initiative novatrice appelée expMath (pour Exponentiating Mathematics), visant à encourager les mathématiciens à développer et à utiliser des outils basés sur l'IA. Axiom Math se positionne clairement dans cette dynamique. Selon François Charton, les avancées en mathématiques ont d'énormes retombées dans le domaine de la technologie. En particulier, de nouvelles découvertes mathématiques sont cruciales pour le développement de nombreux domaines.

Axplorer représente donc un pas important vers une démocratisation de l'utilisation de l'IA dans la recherche mathématique. En mettant à disposition un outil puissant et accessible, Axiom Math espère stimuler l'innovation et accélérer la résolution de problèmes complexes. L'impact potentiel de cette initiative est considérable, non seulement pour le monde de la recherche, mais également pour l'ensemble des secteurs qui dépendent des avancées mathématiques, comme l'informatique, l'ingénierie et la physique. L'avenir de la recherche mathématique semble donc s'écrire de plus en plus avec l'aide de l'intelligence artificielle, ouvrant des perspectives passionnantes pour la résolution de problèmes et la découverte de nouvelles théories.