OpenAI a publié une solution proposée au problème d'existence et de régularité de Navier-Stokes, l'un des sept problèmes du prix du Millénaire doté d'un prix d'un million de dollars, générée par un système expérimental dans lequel quelque 10 000 agents IA ont collaboré pendant 88 heures. La preuve soutient qu'un tourbillon de fluide peut s'étirer et se concentrer jusqu'à ce que sa vitesse atteigne l'infini en un temps fini, même si l'énergie totale reste finie. Selon OpenAI, le modèle interne qui le sous-tend est nettement plus performant que GPT-6 Astra. Les agents ont échangé 2,7 millions de messages et généré environ 130 milliards de tokens avant qu'Astra ne consacre 17 heures supplémentaires à formaliser et vérifier la preuve.
Pourquoi c'est important
Les équations de Navier-Stokes décrivent comment des fluides tels que l'eau et l'air se déplacent, et la question de savoir si des écoulements parfaitement réguliers peuvent se dégrader en une turbulence à vitesse infinie reste ouverte depuis près de 90 ans. Les fluides réels ne peuvent pas se déplacer à une vitesse infinie selon la physique actuelle, mais les équations peuvent malgré tout échouer à prédire le comportement à des échelles extrêmes. Une solution confirmée affinerait la manière dont les scientifiques modélisent les écoulements turbulents dans la conception aéronautique, la prévision météorologique et la recherche sur le flux sanguin.
Au-delà des mathématiques, la méthodologie est peut-être l'enjeu principal. Si des milliers d'agents IA peuvent compresser 90 ans de mathématiques ouvertes en trois jours, la même architecture pourrait être orientée vers des problèmes difficiles en science des matériaux, en énergie, en aérospatiale et en médecine, des domaines où le goulot d'étranglement est rarement la donnée et presque toujours les heures de recherche.
Impact sur le marché
Le résultat n'est pas encore une solution officiellement reconnue. Le Clay Mathematics Institute exige que les réponses proposées survivent à des années d'examen minutieux et à une large acceptation parmi les mathématiciens avant qu'un prix ne soit décerné, un processus qui dure généralement plus longtemps que la production de la preuve elle-même.
Une controverse distincte se développe déjà en parallèle de ce calendrier. Le mathématicien de NYU Tristan Buckmaster et le chercheur d'Anthropic Levent Alpöge travaillaient sur un problème de dynamique des fluides étroitement lié à l'aide d'outils d'IA, dont Codex, et Buckmaster a publiquement remis en question la manière dont OpenAI est parvenue à la même approche en quelques jours après avoir appris que le duo avait progressé.
Questions fréquemment posées
-
Qu'est-ce que le problème d'existence et de régularité de Navier-Stokes ?
C'est l'un des sept problèmes du prix du Millénaire, chacun doté d'un prix d'un million de dollars. La question ouverte demande si des écoulements de fluide parfaitement réguliers décrits par les équations de Navier-Stokes peuvent se dégrader en une turbulence à vitesse infinie, ou diverger, en un temps fini.
-
Comment les agents IA d'OpenAI ont-ils produit la solution proposée ?
OpenAI indique qu'environ 10 000 agents IA ont collaboré pendant 88 heures, échangeant 2,7 millions de messages et générant environ 130 milliards de tokens, avant qu'un modèle interne plus performant que GPT-6 Astra ne consacre 17 heures supplémentaires à formaliser et vérifier la preuve.
-
Que revendique concrètement la preuve proposée pour Navier-Stokes ?
Elle soutient qu'un tourbillon de fluide peut s'étirer et se concentrer jusqu'à ce que sa vitesse atteigne l'infini en un temps fini, même si l'énergie totale du système reste finie.
-
Pourquoi les mathématiciens remettent-ils en question le résultat d'OpenAI ?
Tristan Buckmaster de NYU et Levent Alpöge d'Anthropic travaillaient sur un problème de dynamique des fluides étroitement lié à l'aide d'outils d'IA, dont Codex. Buckmaster a publiquement remis en question la manière dont OpenAI est parvenue à la même approche en quelques jours après avoir appris que le duo avait…
-
OpenAI va-t-il réclamer le prix du Millénaire d'un million de dollars ?
Non. Le Clay Mathematics Institute exige encore des années d'examen minutieux et une large acceptation parmi les mathématiciens avant de décerner le prix, et OpenAI a déclaré ne pas avoir l'intention de le réclamer quoi qu'il en soit.
CoinTelegraph
Crypto News
CryptoSlate
WatcherGuru
TheBlock