OpenAI laisse entrevoir une seconde percée sur les problèmes du millénaire

Moins de deux semaines après avoir affirmé avoir résolu le problème de l'existence et de la régularité des équations de Navier-Stokes, OpenAI a laissé entendre qu'elle pourrait être proche de résoudre un autre des sept problèmes du prix du millénaire, les spéculations se concentrant sur la conjecture de Hodge. Cette démarche intervient alors que l'entreprise fait face à une réaction organisée de la communauté mathématique, notamment une lettre signée par 25 récipiendaires de la médaille Fields mettant en garde contre un "grave décalage" entre les entreprises d'IA et la discipline qu'elles sont en train de transformer.

Les retombées de Navier-Stokes

Le 8 septembre, OpenAI a annoncé qu'environ 10 000 agents d'IA coordonnés, alimentés par un modèle interne non publié, avaient produit une preuve de 166 pages et une formalisation Lean montrant que les équations de Navier-Stokes peuvent "exploser" (générant des vitesses de fluide infinies à partir de conditions initiales lisses) au cours d'un calcul de 88 heures commencé le 1er septembre. L'annonce a immédiatement suscité des accusations de la part du mathématicien de NYU Tristan Buckmaster, qui a allégué qu'OpenAI s'était précipité pour s'attaquer au problème après avoir appris que lui et le chercheur d'Anthropic, Levent Alpöge, faisaient des progrès en utilisant une approche similaire. OpenAI a nié ces affirmations, déclarant qu'il était "catégoriquement" impossible que le travail de Buckmaster ait influencé son modèle interne.nytimes+3

La controverse a rapidement escaladé. Le 11 septembre, Terence Tao et 24 autres médaillés Fields ont publié une déclaration intitulée "Un grave décalage de l'IA dans les mathématiques", arguant que les entreprises d'IA traitent des problèmes célèbres comme des points de référence pour la force brute plutôt que comme des véhicules pour une compréhension authentique. "Souvent, ces solutions sont annoncées dans la précipitation, ne laissant aucun temps pour une rédaction appropriée, l'isolation de nouvelles méthodes et idées, et la citation des travaux précédents pertinents d'autres personnes", indique la lettre. Près de 6 000 mathématiciens supplémentaires l'ont depuis approuvée.science+2

Par ailleurs, plus de 1 000 mathématiciens ont signé une lettre ouverte s'opposant à un "mathathon" prévu à Caltech qui aurait associé des chercheurs à des crédits de calcul d'IA d'OpenAI et d'Anthropic, le qualifiant d'exploitation corporative de jeunes chercheurs. OpenAI s'est par la suite retiré de l'événement.science

Un second problème du millénaire

Alors même que les mathématiciens étudient la dense preuve de Navier-Stokes, OpenAI a signalé qu'elle pourrait être proche d'une solution pour un second problème du prix du millénaire, selon des rapports de The Information et Science. L'entreprise n'a pas confirmé quel problème elle cible, mais les spéculations convergent vers la conjecture de Hodge, un problème de géométrie algébrique si abstrait que même sa formulation nécessite une expertise de niveau master ou doctorat. Des rumeurs ont également désigné la conjecture de Birch et Swinnerton-Dyer comme une cible possible pour OpenAI ou Anthropic.theinformation+4

Le timing a suscité de vives critiques. Javier Gómez-Serrano de l'Université Brown, qui a donné une conférence sur la preuve de Navier-Stokes à Harvard le 11 septembre, a décrit le document de 166 pages comme "incompréhensible" et a déclaré que la communauté mathématique traverse une "crise existentielle". Sergei Gukov de Caltech a comparé le moment à "un tremblement de terre".science

La question de savoir si la prochaine annonce d'OpenAI, si elle se matérialise, creusera le fossé avec les mathématiciens ou marquera un tournant vers la collaboration reste ouverte. Comme l'ont écrit les médaillés Fields : le défi auquel les mathématiques sont confrontées maintenant "indique des problèmes que toute l'humanité pourrait rencontrer : comment s'assurer que, alors que l'IA change la façon dont le travail est effectué, nous ne perdions pas de vue ce que ce travail était censé accomplir en premier lieu".terrytao.wordpress