OpenAI a résolu l’un des plus célèbres problèmes de mathématiques avec près de 10 000 agents IA. Si l’exploit a impressionné beaucoup de mathématiciens, ces derniers ne comprennent pas vraiment la preuve fournie par OpenAI.
- OpenAI affirme avoir résolu une variante du problème de Navier-Stokes avec près de 10 000 agents IA, 2,7 millions de messages et une preuve formalisée avec Lean.
- Plusieurs mathématiciens jugent la démonstration probablement valide, mais presque impossible à comprendre ou réutiliser par des humains dans son état actuel.
- La preuve concerne une variante avec force extérieure, tandis que le cas sans force reste ouvert, et le débat sur l’attribution des découvertes produites avec l’IA continue.
C’est au début du mois de septembre qu’OpenAI, créateur de ChatGPT, a publié une démonstration sur les équations de Navier-Stokes. Il s’agit d’équations pour décrire le mouvement de l’eau, de l’air ou encore les turbulences. Depuis près de 90 ans, les chercheurs cherchent à savoir si certaines situations produisent une singularité.
OpenAI résout un problème mathématique sans pouvoir expliquer son résultat
Pour le Clay Mathematics Institute, c’est l’un des problèmes du millénaire et la récompense est à la hauteur des enjeux, avec un million de dollars. OpenAI a utilisé environ 10 000 agents IA, des programmes capables d’explorer des pistes et de partager leurs résultats.
En 88 heures, les IA ont échangé 2,7 millions de messages et généré 130 milliards de tokens. Ensuite, la démonstration a été formalisée via Lean, un logiciel qui contrôle si chaque étape logique fonctionne correctement.
Le résultat a convaincu une grande partie de la communauté scientifique sur un point essentiel, c’est que la preuve a l’air mathématiquement valide. Mais il y a un hic, c’est de comprendre pourquoi cette solution fonctionne.
James Maynard de l’université d’Oxford juge très difficile d’en tirer « une véritable compréhension humaine. » Javier Gómez-Serrano de Brown University déclare quant à lui que « le papier n’est pas écrit pour des humains. » Selon lui, une réécriture profonde doit être faite pour que ce travail apprenne vraiment quelque chose aux chercheurs.
Le document proposé par OpenAI fait 166 pages et ne sépare pas clairement les idées essentielles et les calculs de routine. Tristan Buckmaster de l’université de New York parle d’un « article terriblement mal écrit. » L’IA a donné une réponse, mais sans explication claire qui permettrait aux mathématiciens de reprendre la méthode, de la généraliser ou de l’utiliser facilement sur d’autres problèmes.
Une vraie polémique dans le monde scientifique
L’autre débat, c’est autour de la nature des résultats. La démonstration d’OpenAI utilise une force extérieure appliquée au fluide, une option qui fait bien partie des variantes acceptées dans l’énoncé officiel du Clay Mathematics Institute.
L’institut a estimé que le problème a apparemment été résolu. Mais la question jugée la plus intéressante par beaucoup de chercheurs est celle d’un fluide sans force extérieure. « Le problème le plus important est ouvert », résume Luis Silvestre de l’université de Chicago.
La polémique ne s’arrête pas là. Tristan Buckmaster et Levent Alpöge travaillaient déjà sur des problèmes très proches avec Codex et Claude. Tristan Buckmaster pense qu’OpenAI a bénéficié indirectement de leurs travaux après avoir appris qu’une solution approchait. Le laboratoire IA de Sam Altman conteste totalement cette accusation.
Après une enquête interne, donc pas forcément impartiale, l’entreprise affirme que les requêtes Codex de Tristan Buckmaster au cours des deux mois précédents n’ont pas influencé ces IA.
L’IA dans le monde scientifique suscite des débats
La question n’est pas vraiment de savoir qui a trouvé la preuve, mais quel crédit scientifique accorder à des chercheurs qui utilisent des chatbots pour explorer des idées sans pouvoir vraiment expliquer leurs résultats à des humains. Un appel soutenu par 25 médaillés Fields demande de meilleures règles sur l’attribution des découvertes produites avec des IA.
Le 21 septembre 2026, OpenAI a créé un groupe consultatif indépendant autour des mathématiques et de l’IA. Le laboratoire IA déclare que son nouveau modèle interne a résolu plus de 100 autres problèmes ouverts. Le groupe lancé par OpenAI aidera à examiner et à présenter les prochains résultats.
Si OpenAI a réussi un exploit historique, résoudre cette équation ne suffit pas à faire progresser la connaissance humaine quand il est impossible de comprendre l’explication de l’IA. On se retrouve donc face à des chercheurs qui ne comprennent pas vraiment le chemin suivi et la clé de la victoire est dans l’esprit de la machine.
Source : NPR
Un avis, une expérience, un désaccord ? La discussion est ouverte.