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
L’intelligence artificielle (IA) progresse rapidement dans le domaine des mathématiques, atteignant des résultats significatifs. Le projet First Proof, dirigé par des mathématiciens américains de renom, a récemment évalué les capacités actuelles de l’IA en recherche mathématique. Selon Lauren Williams, mathématicienne à Harvard et coordinatrice du projet, l’objectif était de « répondre au discours excessif des entreprises d’IA sur la capacité de leurs modèles » tout en sensibilisant la communauté mathématique à ces outils.
Pour cette étude, l’équipe a demandé à dix mathématiciens de choisir un problème qu’ils avaient résolu, mais qui n’avait pas encore été publié, ni trouvé de solution en ligne. « Nous devions procéder avec une grande prudence, car les modèles d’IA sont extrêmement performants pour la recherche », a ajouté Williams.
Source : Focus, Nouvel Obs.
