Une nouvelle startup de mathématiques IA nommée Axiom a apparemment résolu quatre problèmes mathématiques de longue date, démontrant des avancées dans le raisonnement de l'intelligence artificielle. L'IA de l'entreprise a abordé des défis dans des domaines comme la géométrie algébrique et la théorie des nombres qui ont déconcerté les mathématiciens pendant des années. Ce développement met en lumière les capacités croissantes de l'IA pour relever des énigmes académiques complexes.
Dans une annonce récente, Axiom, une startup axée sur l'IA, a revendiqué que sa technologie a résolu quatre problèmes mathématiques auparavant non résolus. Ceux-ci incluent des questions en géométrie algébrique, calcul et théorie des nombres, des domaines qui ont longtemps défié les chercheurs. Un exemple spécifique concerne le travail d'il y a cinq ans des mathématiciens Dawei Chen et Quentin Gendron. Ils exploraient une zone complexe de géométrie algébrique incorporant des différentiels — éléments du calcul utilisés pour mesurer des distances sur des surfaces courbes. Lors de leurs efforts sur un théorème particulier, ils ont rencontré une barrière : leur preuve reposait sur une formule obscure de la théorie des nombres qu'ils n'ont pu résoudre ni expliquer. En conséquence, Chen et Gendron ont publié leurs résultats comme une conjecture plutôt qu'un théorème complet. L'IA d'Axiom a maintenant fourni des solutions à de telles conjectures, suggérant une avancée dans le raisonnement automatisé pour les mathématiques pures. La réalisation de la startup indique le potentiel de l'IA pour accélérer les découvertes dans des domaines théoriques, où l'intuition humaine a traditionnellement dominé. Cependant, les experts mettent en garde que, bien que prometteuses, ces preuves générées par IA nécessiteront une vérification rigoureuse par la communauté mathématique pour confirmer leur validité. Cet événement souligne l'intersection de l'intelligence artificielle et de l'académie, avec des implications pour la manière dont la recherche future pourrait intégrer l'assistance machine. Publié le 4 février 2026, la nouvelle a suscité l'intérêt des laboratoires d'IA repoussant les limites dans les disciplines STEM.
