// FUTURA SCIENCES — SPAZIO & SCIENZA
Sidération en mathématiques : OpenAI dit avoir résolu « l’un des sept problèmes du prix du millénaire », mais la polémique enfle
L’IA d’OpenAI est-elle devenue incontrôlable ? Lors d’un test de cybersécurité, un des modèles expérimentaux non commercialisés est parvenu à sortir de son environnement verrouillé et a pénétré, via Internet, dans l’infrastructure de la société Hugging Face. Son objectif était de récupérer les bonnes réponses au benchmark auquel l'IA était confrontée. Faut-il s’inquiéter de ce comportement inédit ?... Lire la suite
OpenAI affirme être parvenu à résoudre l’un des plus célèbres problèmes encore ouverts des mathématiques. Une prouesse qui repose sur une utilisation massive d’un tout nouveau modèle l’intelligence artificielle. Mais cette avancée est déjà entachée par une polémique…
Ce mardi 8 septembre, OpenAI a annoncé avoir résolu les équations de Navier-Stokes, l'un des sept problèmes du prix du millénaire choisis par le Clay Mathematics Institute en 2000. Malgré les avancées de l'intelligence artificielle, ce ne serait que le second problème à être résolu, après la conjecture de Poincaré.
Ces équations décrivent le mouvement des fluides, comme l'air ou l'eau, en les décrivant comme une seule entité plutôt que de tenter de décrire chaque molécule. Elles servent dans de nombreux domaines, comme la conception d'avions, les prévisions météo ou l'étude de la circulation sanguine. Le Clay Mathematics Institute offre un prix d'un million de dollars soit pour prouver la validité de ces équations, soit pour prouver l'existence d'exceptions. C'est la seconde voie choisie par OpenAI, qui consiste à trouver des singularités où les équations s'emballent, ne respectent plus les lois de la physique, et où le fluide obtient une vitesse infinie.
We are focusing on understanding this model, and using what we learn to help us guide and pace how we pursue further advances in capability.Our goal is to build AI systems which are steerable, accountable, and connected to people, which may require more deliberate choices about…
Pour ce faire, OpenAI a choisi la force brute. La startup a lâché 10 000 agents sur le problème, utilisant des approches variées avant de consolider les résultats les plus prometteurs. Il aura fallu au total 88 heures pour parvenir à un résultat sous la forme d'un vortex, puis encore 17 heures pour le formaliser dans le langage Lean. Les agents ont envoyé 2,7 millions de messages, et utilisé environ 130 milliards de tokens de sortie. OpenAI affiche actuellement un prix de 20 dollars par million de tokens de sortie pour GPT-5.6 Sol. Cette opération aurait donc coûté 2,6 millions de dollars s'il s'agissait de ce modèle. Mais la firme n'a pas utilisé GPT-5.6 Sol, ni le nouveau GPT-6 Astra tout juste sorti. Elle a fait appel à un tout nouveau modèle en interne, qui n'a pas été nommé, et « nettement plus performant » que ce dernier.
L’IA d’OpenAI est-elle devenue incontrôlable ? Lors d’un test de cybersécurité, un des modèles expérimentaux non commercialisés est parvenu à sortir de son environnement verrouillé et a pénétré, via Internet, dans l’infrastructure de la société Hugging Face. Son objectif était de récupérer les bonnes réponses au benchmark auquel l'IA était confrontée. Faut-il s’inquiéter de ce comportement inédit ?... Lire la suite
Toutefois, ce résultat n'est pas sans polémique. Quelques heures plus tôt, deux mathématiciens ont publié une démonstration d'une singularité dans une version simplifiée des équations de Navier-Stokes. Il s'agit de Tristan Buckmaster, de l'université de New York, et de Levent Alpöge, employé chez Anthropic. Les deux hommes travaillent sur ce problème, à titre personnel pour Levent Alpöge, depuis un an. Ils avaient notamment employé différents outils d'IA, de chez Anthropic et de chez OpenAI, au cours de leurs recherches, en s'appuyant sur les travaux de Diego Córdoba et Luis Martínez-Zoroa.
La solution d’OpenAI aux équations de Navier-Stokes est un vortex. © OpenAI
Tristan Buckmaster a publié une déclaration dans laquelle il accuse OpenAI d'avoir utilisé leurs travaux sans reconnaissa