OpenAI affirme que l'un de ses systèmes internes d'intelligence artificielle a résolu un problème qui résistait aux mathématiciens depuis plus de quatre-vingt-dix ans : les équations de Navier-Stokes, qui décrivent le mouvement des fluides, peuvent-elles produire une singularité, c'est-à-dire un point où la vitesse de l'écoulement devient infinie. C'est l'un des sept problèmes du millénaire définis par l'institut Clay en 2000, chacun doté d'un million de dollars, et un seul avait été résolu jusqu'ici.
Selon l'entreprise, environ 10 000 agents IA tournant sur un modèle interne non public, plus puissant que GPT-6 Astra, ont travaillé 88 heures sur le problème, échangeant 2,7 millions de messages et consommant environ 130 milliards de tokens en sortie. GPT-6 Astra a ensuite passé 17 heures supplémentaires à vérifier formellement la logique de la démonstration avec Lean, un langage utilisé par les mathématiciens pour valider des raisonnements.
Le calendrier est gênant. Douze heures avant l'annonce d'OpenAI, le mathématicien de l'université de New York Tristan Buckmaster et le chercheur d'Anthropic Levent Alpöge ont publié un résultat proche. Buckmaster a qualifié l'un des textes qui en ont résulté de "bouillie générée par IA" et a laissé entendre que l'équipe d'OpenAI aurait pu consulter leurs travaux non publiés. Les deux camps se disputent la priorité.
Charles Fefferman, de Princeton, l'un des spécialistes les plus reconnus de ce problème précis, s'est dit "enthousiasmé", tout en rappelant que les véritables artisans de la percée sont ailleurs : les mathématiciens Diego Córdoba et Luis Martínez-Zoroa, dont la nouvelle technique a rendu possibles les deux démonstrations assistées par ordinateur. Aucune institution mathématique n'a encore validé le résultat d'OpenAI, et ce type d'examen prend habituellement des années, pas des jours.
