Pour la première fois, une grande énigme mathématique restée jusque-là sans réponse a été résolue par un ordinateur, a annoncé OpenAI, qui assure avoir trouvé la solution de l’un des ‘problèmes du millénaire’, lié à la mécanique des fluides.”

La revue britannique Nature est l’un des nombreux médias à relayer l’exploit de la société américaine, quatre jours seulement après celui de son concurrent Anthropic, lequel avait fait savoir, le 4 septembre, être parvenu à “formaliser” la démonstration du dernier théorème de Fermat en seulement onze jours.

Grâce à quatre-vingt-huit heures d’opérations par quelque 10 000 agents d’intelligence artificielle (IA) œuvrant ensemble, fondés sur le tout dernier modèle GPT-6 Astra, OpenAI affirme avoir démontré une rupture dans les solutions des équations de Navier–Stokes. Ces équations sont couramment utilisées depuis près de deux siècles pour décrire le mouvement des fluides, que ce soit des gaz ou des liquides présentant des degrés de viscosité variés. De nos jours, elles servent par exemple à concevoir des ailes d’avion plus efficaces et stables, simuler la circulation sanguine dans les artères ou encore à modéliser les courants marins ou atmosphériques.

La preuve par l’exemple

Rien ne garantissait que les formules développées par Claude-Louis