OpenAI a résolu le problème de Navier-Stokes à 1 million de dollars en 88 heures alors que la course à l'IA à mille milliards de dollars s'intensifie

L'IA vient de résoudre l'une des questions ouvertes les plus difficiles des mathématiques, et ce moment est à la fois un triomphe et un avertissement. Le court article du WSJ retrace une année de progrès accélérés de l'IA en mathématiques qui ont dépassé les attentes ; en 2000, un médaillé Fields a qualifié les sept problèmes du Millénaire de bien au-delà des capacités des ordinateurs, et il y a un an, les prévisionnistes estimaient à près de 20 % la probabilité d'en résoudre un d'ici 2030. Aujourd'hui, OpenAI affirme avoir publié une solution. Un médaillé Fields interviewé dans la vidéo est très optimiste, tandis que douze autres lauréats de premier plan craignent que l'obsession des entreprises à résoudre des problèmes n'érode la raison d'être des mathématiques, et le même cycle d'actualités a ravivé les craintes concernant le contrôle, avec des discussions sur le ralentissement du développement et des questions sur la capacité de l'IA à menacer l'humanité.

Une équation centenaire : pourquoi Navier-Stokes est important

Les équations de Navier-Stokes, issues des travaux de Claude-Louis Navier et George Gabriel Stokes au XIXe siècle, décrivent le mouvement des fluides, de l'air au-dessus d'une aile aux courants océaniques. En 1934, Jean Leray a prouvé l'existence dans un sens généralisé, mais la question de savoir si les solutions restaient lisses est restée sans réponse pendant environ quatre-vingt-dix ans. En 2000, le Clay Mathematics Institute a fait de la régularité et de l'existence un problème du prix du Millénaire avec une récompense d'un million de dollars ; un seul des sept avait été résolu. OpenAI affirme qu'une singularité en temps fini peut se former : un écoulement commençant lisse et au repos peut, sous l'effet d'une force lisse à énergie finie, se transformer en un vortex qui se rétrécit et s'accélère comme des spaghettis étirés, entraînant une vitesse illimitée en un point tandis que la force externe reste lisse et l'énergie reste finie, réglant les énoncés C et D de la formulation officielle.

L'entreprise décrit une chaîne de production inhabituelle derrière ce résultat. Après avoir entendu une rumeur le 1er septembre selon laquelle deux problèmes du Millénaire avaient été résolus, elle a affecté des agents à Navier-Stokes, exécutant d'abord environ 100 agents pendant environ 50 heures sur le problème d'Euler connexe, puis passant à environ 10 000 agents autonomes sur le Navier-Stokes complet. Les agents ont abouti à une preuve le samedi 5 septembre, environ 88 heures après le lancement, la formalisation Lean prenant 17 heures supplémentaires via GPT-6 Astra. Près de cinq millions de messages ont été échangés, et le calcul aurait été alimenté par un modèle interne significativement plus performant que GPT-6 Astra. Quanta cite un coût de plusieurs millions de dollars, tandis que New Scientist, citant la conférence de presse, estime un prix équivalent pour le client à près de 15 millions de dollars ; la BBC corrobore l'échelle de 10 000 agents et 88 heures.

L'économie : 1 million de dollars de prix contre 15 millions de dollars de calcul

Sous l'angle économique, l'arithmétique est frappante. Le prix Clay est de 1 million de dollars, les dépenses déclarées sont jusqu'à quinze fois supérieures, et OpenAI déclare ne pas avoir l'intention de réclamer le prix. Le gain n'est pas la bourse mais la course de mille milliards de dollars pour l'infrastructure et le leadership des modèles d'IA. Avec des taux d'intérêt toujours élevés, le capital est cher, pourtant les laboratoires de pointe engagent des milliers de milliards en valorisation implicite dans les centres de données, les puces et les talents, et une preuve mathématique phare est évaluée comme un acompte sur une suprématie perçue. Le WSJ encadre les dépenses en millions, et le fait que des annonces rivales soient tombées en quelques heures normalise le taux de consommation ; le prix symbolique est éclipsé par le signal du marché selon lequel le prochain modèle de pointe est à portée de main.

La priorité et la concurrence sont liées à cette économie. Quanta et New Scientist notent que quelques heures avant l'annonce d'OpenAI, Tristan Buckmaster de NYU et Levent Alpoge d'Anthropic ont annoncé des progrès sur l'équation d'Euler forcée, décrits comme des tremplins vers Navier-Stokes, et qu'OpenAI reconnaît que la rumeur a accéléré ses efforts. OpenAI cède la priorité sur l'équation d'Euler forcée tout en affirmant que sa preuve de Navier-Stokes est distincte et n'a pas été construite sur leurs invites ou leur texte. La déclaration de Buckmaster laisse ouverte la question de savoir si les agents ont pu bénéficier indirectement de travaux réalisés avec les modèles d'OpenAI. Lorsque le fait d'être le premier est intégré dans des valorisations de mille milliards de dollars, la priorité scientifique et l'avantage du premier arrivé financier deviennent difficiles à séparer.

Sommet, peur et appels au ralentissement

La vidéo passe de la preuve à la culture et à la sécurité. Le jour même où la solution est apparue, un chercheur d'Anthropic a posté sur X qu'il estimait à plus de 10 % la probabilité d'extinction humaine au cours de la prochaine décennie, et un autre chercheur d'Anthropic a démissionné pour des raisons de sécurité, affirmant que les développeurs croient en privé que la technologie pourrait anéantir tout le monde. Le week-end, les dirigeants de quatre des plus grandes entreprises d'IA ont convenu que le développement devait ralentir. OpenAI, quant à elle, a organisé un sommet pour les mathématiciens dans ses bureaux de San Francisco, partant d'une prémisse commune : l'IA dépassera bientôt les humains en mathématiques. Les participants ont débattu des problèmes à prioriser, de ce qu'il faut enseigner et de ce que ce changement signifie pour la prochaine génération de mathématiciens, présentant la percée comme une reconnaissance institutionnelle que la façon dont le savoir est produit est en train de changer.

La vérification sera délibérément lente. Le président de Clay, Martin Bridson, a déclaré que l'évaluation serait sans précipitation et absolument rigoureuse, même si la formalisation Lean donne une confiance précoce. La seule solution du Millénaire précédente a pris des années d'arbitrage avant d'être acceptée. Pendant que les mathématiciens vérifient l'argument, les marchés continueront à évaluer la suprématie mathématique en milliers de milliards de dollars, les universités réviseront leurs programmes, et les grands investissements financés dans un environnement de taux élevés seront justifiés par des jalons comme celui-ci. OpenAI a déjà signalé qu'elle était proche d'un deuxième problème du Millénaire, suggérant que le pipeline qui a dépensé 15 millions de dollars en 88 heures est en cours de rechargement plutôt que mis en pause.