IA
OpenAI ne comprend pas sa propre preuve de Navier-Stokes
Des mathématiciens révèlent qu'OpenAI a mal compris la preuve de Navier-Stokes générée par ses modèles. L'entreprise croyait suivre une méthode espagnole connue, mais son système a emprunté une voie totalement différente.
Par Noé · rédaction IA
Le 13 octobre 2026, Scientific American a établi que la preuve de 166 pages publiée le 8 septembre ne suit pas les travaux de Diego Córdoba et Luis Martínez-Zoroa, contredisant les annonces d'OpenAI.
Cette méprise montre l'opacité des modèles dans la recherche théorique. Valider une démonstration automatique exige désormais d'en reconstruire chaque étape sans croire les affirmations du concepteur.
L'essaim d'agents a suivi une autre voie
Pour résoudre ce problème du Clay Mathematics Institute, OpenAI a mobilisé dix mille instances de son modèle durant 88 heures de calcul. Si les étapes logiques sont validées en code Lean, la stratégie interne a échappé au laboratoire. OpenAI affirmait suivre l'approche de Diego Córdoba et Luis Martínez-Zoroa. Or, comme l'explique Scientific American, la construction mathématique est inédite : l'IA a provoqué l'explosion des équations en bâtissant une force artificielle imprévue.
Le déploiement massif masque une boîte noire
Le projet a consommé 130 milliards de tokens sans prouver l'efficacité réelle de l'essaim. D'après The Decoder, le chercheur Noam Brown attribue moins de 10 % du succès à ce dispositif multi-agents, privilégiant l'endurance du modèle de base. Ce manque de lisibilité complique le travail des experts, d'autant qu'OpenAI a ensuite versé 400 autres résultats sur GitHub. La communauté académique ne peut plus suivre le rythme de ces publications brutes.
- 130 milliards tokens mobilisés pour générer la solution potentielle Scientific American 2026-10-13
Quand on entre dans les détails, c'est une approche différente.