09/09/2026
Navier-Stokes, OpenAI et la question de la compréhension : un LLM lit le résultat d’un autre LLM
https://mathemarium.fr/Navier-Stokes-OpenAI-et-la-question-de.html
Débat à la machine à café ce matin : annonce qu'un de ses modèles a « résolu » , un des sept problèmes du millénaire. En réalité il s'agit d'une explosion en temps fini avec forçage, obtenue en 88 heures par 10 000 agents et environ 2 millions de dollars de calcul, sur une piste ouverte par deux chercheurs qui n'avaient pas ces moyens. D'où une polémique.
Pour le Mathémarium, on a fait une expérience : un collègue enseignant-cherceur à demandé à un (Claude, d'Anthropic) d'écrire l'article, de vérifier les sources, d'expliquer la preuve et de donner son propre avis sur ce résultat produit par un autre LLM. Il parle du problème, de la preuve, du coût ramené en années de postdoc, de la position de Terence Tao, et de ce que le résultat dit ou ne dit pas.
https://mathemarium.fr/Navier-Stokes-OpenAI-et-la-question-de.html