Le "blow-up" de Navier-Stokes expliqué simplement : ce que l'IA a vraiment démontré

Le 8 septembre 2026, Terence Tao, l'un des mathématiciens vivants les plus respectés, médaille Fields en 2006, a confié traverser "une crise existentielle" dans sa propre discipline. La cause : un système d'OpenAI venait de démontrer, en moins de quatre jours, un résultat sur lequel des générations de mathématiciens butaient depuis un siècle et demi. Ce résultat s'appelle le "blow-up". Il tient, une fois débarrassé de son jargon, en une idée qu'on peut comprendre sans être médaille Fields soi-même.

Dans cet article :

• Navier-Stokes, en une phrase
• Le "blow-up", avec un exemple simple
• Ce qu'OpenAI affirme avoir démontré
• Pourquoi ça inquiète autant les mathématiciens
• Ce qu'il faut en retenir
• Questions fréquentes

Navier-Stokes, en une phrase

Les équations de Navier-Stokes, écrites au dix-neuvième siècle, décrivent comment un fluide (de l'eau, de l'air) se déplace : sa vitesse, en tout point, à tout instant. Elles servent tous les jours, pour prévoir la météo ou concevoir une aile d'avion. Une question, elle, résistait depuis 1845 : ces équations restent-elles toujours cohérentes, ou peuvent-elles, dans un cas extrême, se contredire elles-mêmes ? C'est l'un des sept problèmes du prix du millénaire, doté d'un million de dollars par le Clay Mathematics Institute.

Le "blow-up", avec un exemple simple

Imaginez un tourbillon dans une baignoire. Plus on s'approche du centre, plus l'eau tourne vite. Une question naturelle : cette accélération pourrait-elle, dans un scénario extrême, s'emballer au point que la vitesse au centre exact devienne littéralement infinie, en un temps parfaitement fini ? Comme rien dans le monde réel ne peut atteindre une vitesse infinie, un tel moment signifierait que l'équation elle-même s'effondre : elle continue à réclamer un chiffre, mais ce chiffre n'a plus de sens physique. Les mathématiciens appellent ce moment le "blow-up", littéralement l'explosion.

Ce n'est pas une question d'école. Si le blow-up est possible, cela veut dire que l'équation qu'on utilise pour prédire des fluides, tous les jours, peut techniquement cesser de décrire quoi que ce soit de réel dans certaines conditions extrêmes.

Ce qu'OpenAI affirme avoir démontré

Le système d'OpenAI, mobilisant environ 10 000 agents pendant moins de quatre jours, affirme avoir construit un scénario mathématique précis où ce blow-up se produit bel et bien, pour un cas particulier des équations en trois dimensions. Ven Chandrasekaran, chercheur chez OpenAI, l'a résumé ainsi lors de la conférence de presse : il existe des fluides qui, en partant de conditions parfaitement normales, atteignent une vitesse infinie en un temps fini, selon les équations.

Point important pour la confiance qu'on peut accorder au résultat : la preuve n'a pas été acceptée sur parole. Elle a été intégralement vérifiée par Lean, un logiciel qui contrôle chaque étape logique d'une démonstration avec une rigueur absolue, un peu comme un correcteur qui ne laisserait passer aucune faute, même invisible à l'œil humain. La preuve est aussi publiée en accès libre.

Pourquoi ça inquiète autant les mathématiciens

On pourrait croire qu'un résultat vérifié par un logiciel infaillible mettrait tout le monde d'accord. Ce n'est pourtant pas ce qui s'est passé. Ce qui inquiète une partie de la communauté mathématique n'est pas l'exactitude du résultat, c'est sa provenance : une preuve produite par des milliers d'agents en quelques jours peut être juste, tout en devenant pratiquement impossible à comprendre et à s'approprier pour un humain, même vérifiée ligne par ligne par une machine. Terence Tao a d'ailleurs appelé, publiquement, à ce que l'IA serve les mathématiciens plutôt qu'elle ne les remplace dans la compréhension même des résultats.

Ce résultat ne sort pas non plus de nulle part. Il s'appuie sur des décennies de travaux humains sur les scénarios de blow-up, un champ où des mathématiciens comme le Français Frank Merle, récompensé du Breakthrough Prize en mathématiques en 2026, ont posé une bonne partie des fondations théoriques que ce genre de système explore ensuite à très grande échelle.

Ce qu'il faut en retenir

Le blow-up n'est pas une catastrophe annoncée pour la météo de demain : il concerne un scénario mathématique extrême, pas les fluides qu'on croise au quotidien. Ce qui change vraiment, c'est la vitesse à laquelle un problème vieux d'un siècle et demi vient d'être débloqué, et la question, désormais bien réelle, de savoir si comprendre une preuve restera possible quand ce sont des milliers d'agents, et non plus un seul humain, qui la construisent.