Les équations qui font trembler les mathématiciens
Les équations de Navier-Stokes, c’est le Saint-Graal des fluides. Elles décrivent comment l’air, l’eau, le sang circulent. Elles expliquent pourquoi un avion vole, pourquoi une vague se brise, pourquoi votre café refroidit trop vite. Problème : personne n’a jamais pu les résoudre complètement. Pas même avec les supercalculateurs les plus puissants. Le Clay Institute a mis un million de dollars sur la table en 2000, avec six autres problèmes du même acabit. Personne n’a encore touché son dû.
Sauf OpenAI, maintenant. Du moins, c’est ce qu’ils disent. Leur papier, « Solving the Navier-Stokes Equations », affirme avoir trouvé une solution « exacte ». Pas une approximation. Pas une simulation. « Exacte ». Le mot est lâché. Et ça, pour un mathématicien, c’est comme si Apple annonçait avoir inventé la gravité. Sauf que la gravité, Newton l’avait déjà fait. Lui.
Le problème ? Personne n’a vérifié.
Quand l’IA devient l’arbitre de son propre jeu
OpenAI a utilisé un modèle d’IA entraîné sur des données de fluides. Résultat : des solutions qui « correspondent » aux équations. « Correspondre », pas « prouver ». La différence est cruciale. En maths pures, une solution, ça se démontre. Ça se valide. Ça se soumet à des centaines de regards critiques. Là , on a un algorithme qui spitte des résultats et une équipe qui dit : « Ça marche, point. »
Pourtant, certains experts ont réagi. Pas avec des félicitations, mais avec des questions. Terry Tao, mathématicien australien et médaille Fields, a tweeté : « C’est impressionnant, mais il faut des preuves solides. » Impressionnant ? Peut-être. Solide ? Pas encore. Le Clay Institute n’a pas encore commenté. Ils attendent. Comme tout le monde.
Le vrai scoop, c’est ce qui se passe derrière.
La guerre des crédits scientifiques
OpenAI n’est pas une université. Ce n’est pas un labo public. C’est une entreprise privée, financée par des milliards de dollars, avec un objectif : devancer la concurrence. Résoudre Navier-Stokes, ça leur donne un argument marketing de ouf. « Nous faisons des maths que personne ne peut faire. » Sauf que les mathématiciens, eux, ne sont pas convaincus. Pas parce qu’ils sont jaloux. Parce que les preuves manquent.
Il y a un précédent. En 2018, une IA avait « résolu » une conjecture en théorie des nombres. Résultat : après vérification, c’était faux. L’article avait été retiré. Personne n’avait touché son million. Personne n’avait eu honte. Juste un rappel : l’IA, c’est un outil. Pas un génie.
Alors, OpenAI a-t-il vraiment gagné ?
Le million qui attend son heure
Le Clay Institute a un processus. Pour qu’un problème soit considéré comme résolu, il faut :
- Une preuve claire et complète.
- Une validation par des experts indépendants.
- Une publication dans une revue reconnue.
OpenAI a le 1. Ils n’ont pas les 2 et 3. Pour l’instant. Mais ils ont quelque chose de plus puissant : le buzz. Les médias en parlent. Les investisseurs en parlent. Les concurrents regardent avec des yeux de requins.
Le vrai enjeu, ce n’est pas le million. C’est ce que ça change pour la science.
L’IA va-t-elle remplacer les mathématiciens ?
Si OpenAI a raison, alors oui, l’IA peut faire des maths que les humains ne peuvent pas faire. Si OpenAI a tort, alors on aura une nouvelle preuve que les algorithmes ne remplacent pas la rigueur humaine. Dans les deux cas, une chose est sûre : la recherche va accélérer. Mais pas comme on le croit.
Les universités vont devoir s’adapter. Les revues scientifiques vont devoir évaluer différemment. Et les mathématiciens ? Ils vont devoir apprendre à travailler avec l’IA, pas contre. Parce que le vrai problème, ce n’est pas de savoir si OpenAI a résolu Navier-Stokes. C’est de savoir comment on va évaluer ça, demain.
Et ça, personne n’a encore la réponse.
Conclusion
OpenAI a peut-être résolu un problème vieux de deux siècles. Ou peut-être pas. Une chose est sûre : la polémique est lancée. Et cette fois, ce n’est pas qu’une question de maths. C’est une question de confiance. Dans l’IA. Dans la science. Dans l’avenir.
Le million attend. Mais la vraie bataille, elle, vient de commencer.
