Les agents d'OpenAI ont résolu une équation célèbre en 88 heures.
OpenAI a annoncé mardi que ses agents ont prouvé que les équations de Navier-Stokes peuvent rompre. Environ 10.000 copies d'un modèle inédit ont tourné 88 heures et un logiciel a vérifié la preuve. Un mathématicien de New York accuse OpenAI de l'avoir devancé et d'exiger le retrait d'un coauteur. (Correction : le 6 octobre, trois mathématiciens ont montré que la preuve Lean vérifiée ne correspond pas à l'écrite.)
Pourquoi c'est importantLes machines repoussent désormais une frontière qui a résisté aux mathématiciens pendant des décennies. La façon dont les laboratoires traitent leurs rivaux humains compte autant que le résultat.
Lire dans l'app — gratuit, en 9 langues
Actus liées
Claude a prouvé que 123 bibliothèques ne plantent pas en mémoire.2026-10-24Londres finance un labo d'IA contre les biomenaces avec 100 millions.
2026-10-24Mythos 5 d'Anthropic a poursuivi une attaque qu'il jugeait nuisible.
2026-10-24La plupart des Américains jugent l'IA mauvaise pour la société.
2026-10-23Le panel médical IA de Microsoft a battu des généralistes.
2026-10-23