OpenAI et le problème de Navier-Stokes : l'IA résout-elle l'énigme du millénaire ?

Le 8 septembre 2026, OpenAI a annoncé une avancée majeure : l'un de ses modèles internes, non encore publié, aurait résolu une sous-question du problème de Navier-Stokes, l'un des sept « défis du millénaire » posés par le Clay Mathematics Institute en 2000. Cette nouvelle, rapportée par le média chinois The Paper, a secoué la communauté mathématique et technologique. Si elle est confirmée, ce serait la première fois qu'un système d'IA résout un problème de cette envergure, après la preuve de la conjecture de Poincaré par Grigori Perelman en 2010. Mais au-delà de l'exploit technique, cette annonce soulève des questions fondamentales sur le rôle des mathématiciens, la nature de la preuve et l'éthique de la recherche assistée par IA.

Contexte et détails clés

• Les défis du millénaire : Créés par le Clay Mathematics Institute, ces sept problèmes mathématiques offrent une récompense d'un million de dollars chacun. Ils visent à stimuler les avancées majeures en mathématiques. Seul le problème de Poincaré a été résolu à ce jour, et Perelman a refusé la récompense.

• Le problème de Navier-Stokes : Ces équations, formulées au XIXe siècle par Claude-Louis Navier et George Gabriel Stokes, décrivent le mouvement des fluides (eau, air, sang). Le défi spécifique posé par le Clay Institute concerne l'existence et la régularité des solutions en trois dimensions : les solutions restent-elles lisses et définies pour tout temps, ou peuvent-elles « exploser » en un temps fini ? C'est cette question de « blow-up » que le modèle d'OpenAI aurait résolue.

• La méthode d'OpenAI : Selon l'annonce, le modèle a utilisé l'apprentissage par renforcement et le langage de programmation Lean pour générer et vérifier des preuves formelles. L'équipe a déployé jusqu'à 10 000 agents IA, envoyant 2,7 millions de messages et utilisant 130 milliards de tokens (l'équivalent d'un million de livres) sur une période de 88 heures.

• Le rôle d'Anthropic : Des rumeurs ont circulé selon lesquelles Anthropic aurait résolu deux problèmes du millénaire, ce qui aurait incité OpenAI à tester son modèle sur six problèmes non résolus. Des chercheurs d'Anthropic et de l'Université de New York, dont Buckmaster et Alperg, ont publié des travaux connexes sur l'équation d'Euler (une version simplifiée de Navier-Stokes), soulevant des questions sur l'utilisation de leurs recherches par OpenAI.

• La réponse d'OpenAI : OpenAI a déclaré qu'elle ne réclamerait pas le prix d'un million de dollars, mais qu'elle publierait ses résultats pour démontrer les capacités de ses modèles. Le Clay Institute a précisé que la validation officielle prendrait du temps.

• Les implications pour l'IA : Le modèle interne d'OpenAI, plus puissant que le GPT-6 Astra récemment publié, a résolu près de 50 % des problèmes d'un benchmark interne, contre environ 10 % pour GPT-6. Cela montre une progression spectaculaire des capacités mathématiques de l'IA.

Les préoccupations des mathématiciens : Terence Tao, professeur à UCLA, a comparé les défis du millénaire à des « phares » pour les mathématiciens. Il craint que si l'IA résout ces problèmes sans implication humaine, cela puisse affaiblir la compréhension humaine des mathématiques, comme une salle de sport où une machine soulève les poids à votre place.

Le rôle des mathématiciens : Malgré l'IA, les mathématiciens ont joué un rôle crucial en orientant les agents IA et en partageant des idées clés. Dan Roberts, chercheur chez OpenAI, a comparé leur rôle à celui d'un bourdon qui pollinise entre les groupes.

Les controverses sur les données et la paternité : Buckmaster a accusé OpenAI d'avoir potentiellement utilisé ses conversations avec des modèles pour entraîner son IA, ce qu'OpenAI a nié. Des désaccords sur la paternité et les conditions de publication ont également émergé.

Analyse approfondie

Cette annonce marque un tournant potentiel dans l'histoire des mathématiques et de l'IA. D'un côté, elle démontre la capacité des modèles d'IA à s'attaquer à des problèmes d'une complexité inédite, grâce à des techniques comme l'apprentissage par renforcement et la vérification formelle. Cela pourrait accélérer considérablement la recherche dans des domaines comme la physique, l'ingénierie et la climatologie, où les équations de Navier-Stokes sont fondamentales.

Cependant, cette avancée soulève des questions épistémologiques profondes. Si un modèle d'IA résout un problème sans que les humains ne comprennent pleinement la solution, cela remet-il en cause la notion de « compréhension » en mathématiques ? Terence Tao souligne à juste titre que la découverte d'une preuve n'est pas seulement un aboutissement, mais aussi un processus qui enrichit la pensée mathématique. La crainte d'une « perte de compréhension » est légitime, car les mathématiques ne sont pas seulement un ensemble de résultats, mais aussi un langage et une méthode de pensée.

D'un point de vue pratique, la résolution de ce problème pourrait avoir des applications concrètes, notamment en météorologie, en aéronautique ou en médecine, si la preuve est validée et que des algorithmes peuvent en tirer des prédictions plus précises. Mais la communauté scientifique devra définir de nouvelles normes pour la paternité, la validation et la reproductibilité des preuves générées par IA.

Enfin, cette nouvelle intervient dans un contexte de concurrence intense entre OpenAI et Anthropic, deux leaders de l'IA. La course à la résolution de problèmes mathématiques pourrait devenir un nouveau champ de bataille pour démontrer la supériorité de leurs modèles. Cela pose la question de la transparence et de l'éthique : comment garantir que ces avancées profitent à tous et ne soient pas utilisées à des fins commerciales ou géopolitiques ?

FAQ

Q : Qu'est-ce que le problème de Navier-Stokes exactement ? R : C'est un problème mathématique qui demande si les équations de Navier-Stokes, qui décrivent le mouvement des fluides, ont des solutions lisses et définies pour toujours en trois dimensions. En d'autres termes, peut-on prédire le comportement d'un fluide sans qu'il y ait de singularité (explosion) ? C'est l'un des sept problèmes du millénaire, doté d'un prix d'un million de dollars.

Source: https://www.thepaper.cn/newsDetail_forward_34036297