Navier-Stokes par l'IA : les preuves mathématiques sont-elles
Le Monde s'interroge sur la fiabilité des démonstrations mathématiques produites par l'IA, après l'annonce d'OpenAI sur Navier-Stokes le 8 septembre 2026.
mathématiques
7 articles sur ce sujet.
OpenAI résout le problème de Navier-Stokes, la polémique enfle
OpenAI affirme avoir résolu en 88 heures un problème du millénaire vieux d'un siècle.
Stéphane Mallat : comprendre les démonstrations par IA exige
Le mathématicien Stéphane Mallat, médaille d'or 2025 du CNRS, estime que les démonstrations par IA n'ont d'intérêt que pour qui a le bagage pour les comprendre.
OpenAI résout en 88 heures le problème de Navier-Stokes
OpenAI affirme avoir produit, en 88 heures, une preuve pour l'équation de Navier-Stokes, un problème du millénaire vieux de 90 ans.
Théorème de Fermat : une preuve inédite par l'IA
Anthropic a annoncé le 4 septembre avoir formalisé une preuve du grand théorème de Fermat, suivie le 8 septembre par une avancée d'OpenAI sur Navier-Stokes.
25 médaillés Fields dénoncent l'IA des entreprises
Vingt-cinq médaillés Fields, dont Terence Tao et Peter Scholze.
Claude formalise le dernier théorème de Fermat en 11 jours
Anthropic a annoncé le 4 septembre que son IA Claude a formalisé, en onze jours, la démonstration du dernier théorème de Fermat.