Les tests lancés par le projet First Proof ont montré une grande évolution des grands modèles de langage (LLM). Même si pour le moment, les très bons mathématiciens restent meilleurs. PHONLAMAIPHOTO/GETTY IMAGES/ISTOCKPHOTO

Pour aller plus loin

Ç’aura pris plus de temps que dans d’autres secteurs, mais l’IA arrive maintenant à produire des résultats remarquables en mathématiques. On ne parle plus seulement de résoudre des problèmes d’Olympiades – le championnat international pour les élèves du secondaire – ou de fouiller Internet pour trouver une solution déjà existante. Le projet First Proof, lancé par des mathématiciens américains de haut rang afin d’évaluer le niveau actuel des IA dans la recherche, a rendu ses conclusions il y a quelques semaines. « Notre but était de répondre au discours excessif des boîtes d’IA sur la capacité de leurs modèles et de sensibiliser la communauté mathématique à ces outils précieux dont beaucoup semblent ignorer l’utilité », nous explique Lauren Williams, mathématicienne à Harvard et coordinatrice du projet.

L’équipe a demandé à dix mathématiciens de sélectionner un problème qu’ils avaient résolu mais sans avoir encore publié le résultat, et dont aucune solution n’était disponible en ligne. « Nous devions procéder avec une grande prudence, car les modèles d’IA sont extrêmement performants pour la recher…