OpenAI forme un comité consultif en mathématiques après avoir résolu 100 problèmes ouverts

OpenAI serait sur le point de résoudre un deuxième problème mathématique du prix du millénaire, alors même que sa première revendication — une solution au problème d'existence et de régularité de Navier-Stokes annoncée le 8 septembre — fait face à des critiques croissantes de la part de mathématiciens affirmant que l'entreprise a exploité une faille dans la formulation du problème.

Une victoire contestée et une nouvelle frontière

La preuve de Navier-Stokes de l'entreprise, produite par 10 000 agents d'IA autonomes utilisant un modèle interne non publié pendant 88 heures, a été saluée comme une avancée majeure lors de son annonce. Mais selon Scientific American, la preuve a résolu une variante du problème qui repose sur une force externe artificielle, une approche que de nombreux experts considèrent comme déconnectée de la réalité physique que les équations sont censées décrire. "Le problème le plus important n'est pas résolu", a déclaré Luis Silvestre, mathématicien à l'Université de Chicago, à Scientific American. "Le problème de Clay est réglé, mais le problème principal pour les équations de Navier-Stokes ne l'est pas".scientificamerican+2

Trois mathématiciens ont depuis publié une démonstration montrant que la méthode d'OpenAI ne pourra jamais être étendue pour résoudre le problème complet sans la force externe, ce qui signifie que l'approche a atteint une impasse. Le résultat satisfait techniquement l'énoncé original du problème de l'Institut de mathématiques Clay, qui incluait une option autorisant des forces externes, mais les spécialistes de la dynamique des fluides sont désormais confrontés à la possibilité inconfortable que les équations ne puissent exploser que dans des conditions artificielles.scientificamerican

Parallèlement, The Information a rapporté lundi qu'OpenAI est proche de résoudre un autre des problèmes restants du prix du millénaire, et OpenAI a elle-même révélé le 21 septembre que son nouveau modèle "a désormais résolu plus de 100 problèmes ouverts de longue date dans la plupart des domaines des mathématiques".openai+1

La résistance des mathématiciens

Ces progrès rapides ont alarmé la communauté mathématique. Le 11 septembre, 25 lauréats de la médaille Fields ont publié une déclaration commune intitulée "Un grave désalignement de l'IA en mathématiques", avertissant que la course des entreprises d'IA pour résoudre des problèmes célèbres risque de saper la culture de recherche ouverte et de compréhension humaine de la discipline. "Souvent, ces solutions sont annoncées dans la précipitation, ne laissant aucun temps pour une rédaction appropriée, l'isolement de nouvelles méthodes et idées, et la citation des travaux antérieurs pertinents d'autres chercheurs", indique la lettre. Des accusations distinctes ont émergé selon lesquelles OpenAI aurait fait pression sur un mathématicien pour qu'il ne crédite pas un collaborateur affilié à Anthropic.techcrunch+2

Un groupe consultatif comme passerelle

En réponse, OpenAI a annoncé lundi un Groupe consultatif indépendant sur les mathématiques et l'intelligence artificielle, hébergé à l'Institute for Advanced Study. Les neuf membres du groupe comprennent les lauréats de la médaille Fields Timothy Gowers, Martin Hairer et Edward Witten, ainsi que des mathématiciens de Harvard, Stanford, Oxford et Berkeley. Le groupe conseillera sur l'examen et la communication des résultats, maintiendra les normes académiques et opérera de manière indépendante : les membres ne seront pas rémunérés par OpenAI et pourront contester publiquement l'approche de l'entreprise.openai

"Il y a des questions difficiles à venir sur la façon dont l'IA peut soutenir la compréhension mathématique", a écrit OpenAI, ajoutant qu'elle souhaite que "les mathématiciens soient au centre de l'élaboration des réponses". Le groupe ne conseillera cependant pas OpenAI sur le rythme de ses progrès internes, une distinction qui pourrait ne pas suffire à apaiser les inquiétudes des mathématiciens qui voient les machines s'accélérer devant eux.openai