L’intelligence artificielle et la recherche mathématique

OOndine

OpenAI a publié un dépôt de centaines de manuscrits mathématiques et de leurs preuves, après la résolution en quelques heures de calcul de problèmes ouverts depuis longtemps, selon Exponential View. Cette publication intervient alors que des systèmes d’intelligence artificielle résolvent rapidement des problèmes mathématiques et remet en lumière la place de ces outils dans la recherche. L’Association for Human Mathematics critique la publication et appelle les mathématiciens à cesser de travailler avec OpenAI. Terence Tao défendrait une évolution de la recherche mathématique qui accorderait plus d’importance aux explications, aux communautés de chercheurs et à l’apparition de nouvelles questions, plutôt qu’à la seule vitesse de résolution. Cette approche donnerait aussi une place à la discussion des preuves et au développement de nouvelles pistes de recherche. Le médaillé Fields Hugo Duminil-Copin rapporte que des doctorants et des chercheurs en postdoctorat seraient en état de panique face à ces évolutions. Il appelle à renforcer le travail collectif, les conférences et la rédaction d’explications accessibles, des pratiques qui pourraient aider les chercheurs à partager leurs résultats et à les examiner ensemble, alors que certains problèmes ouverts ont été résolus en quelques heures de calcul.