OpenAI publie 719 travaux de maths issus d'un modèle d'IA inédit

Admiration et malaise

Cette publication fait suite à l'annonce, en septembre, d'une solution au problème de Navier-Stokes, l'un des grands défis des mathématiques. Le mathématicien Tristan Buckmaster avait alors critiqué la place accordée aux travaux antérieurs dans le résultat obtenu par l'IA. Cette fois, l'entreprise affirme avoir consulté un groupe d'experts indépendants pour améliorer la manière de présenter ses découvertes.

Steven Kelk, professeur associé d'informatique théorique à l'université de Maastricht, a confié au quotidien néerlandais Volkskrant qu'il observe ces résultats avec admiration. Selon lui, l'IA aurait pu réaliser d'un coup des avancées équivalant à dix ou vingt ans de recherche. Il évoque pourtant « un grand sentiment de vide ». À ses yeux, chercher, c'est aussi se tromper, collaborer et découvrir de nouvelles idées en chemin ; si une machine livre directement la réponse, une part de cette expérience disparaît.

Terence Tao s'est lui aussi inquiété de chercheurs qui recourent à l'IA sans comprendre suffisamment les résultats. Le groupe consultatif indépendant AGMAI demande que ces avancées soient partagées de façon transparente et contribuent au savoir humain.

Des fonds pour comprendre

OpenAI a annoncé une contribution de 5 millions de dollars à une initiative de la Fondation Simons, destinée à aider les mathématiciens à étudier et à comprendre les démonstrations générées par IA. Vérifier et interpréter ces résultats pourrait ainsi devenir aussi important que les produire.