Introduction
Un groupe de 49 mathématiciens a compilé un ensemble de questions de mathématiques de niveau recherche avec des réponses connues. Cette étude a été menée entre le 1er avril et le 15 mai 2026, avec une grande partie du travail effectué lors d'un atelier de 3 jours à l'Institut Max Planck pour les mathématiques dans les sciences à Leipzig, en Allemagne.
Contexte Technique
L'évaluation de ces questions s'est déroulée en trois étapes : une tentative unique par cinq LLM (Large Language Model) d'état de l'art, suivie d'une évaluation de 20 runs par modèle avec trois de ces modèles, et enfin une tentative de 3 runs avec deux modèles de réflexion approfondie. Les résultats montrent que les capacités de raisonnement mathématique des LLM sont de plus en plus impressionnantes.
Analyse et Implications
Après la première étape, 41 questions restaient complètement sans solution ; après la deuxième étape, ce nombre est tombé à 16 ; et nous avons conclu la troisième étape avec seulement 2 questions sans solution. Cela démontre que les LLM sont capables de résoudre des problèmes mathématiques de plus en plus complexes. Cela a des implications importantes pour le domaine des mathématiques et de l'IA, car cela ouvre des possibilités pour l'utilisation de l'IA dans la recherche mathématique.
Perspective
Il est important de surveiller les progrès des LLM dans le domaine des mathématiques, car cela pourrait conduire à des avancées significatives dans la compréhension et la résolution de problèmes mathématiques complexes. Cependant, il est également important de noter que les LLM ne sont pas encore capables de remplacer les mathématiciens humains, et que leur utilisation doit être considérée comme un outil complémentaire pour la recherche mathématique.
