Tag Archives: IA et mathématiques

Mardi 6 octobre, 18 heures, heure de New York. Sans tambour ni trompette, OpenAI dépose sur GitHub un dossier baptisé tout sobrement « math ». À l’intérieur : 719 manuscrits de démonstrations mathématiques, regroupés en 372 « familles » de problèmes, tous produits par un modèle d’IA interne que personne, hors de l’entreprise, n’a jamais utilisé. Le lendemain, l’informaticien Scott …

Le 8 septembre 2026, OpenAI a publié un document technique affirmant qu’un de ses modèles internes, jamais rendu public, venait de résoudre l’un des sept « problèmes du millénaire » : l’équation de Navier-Stokes. Une énigme mathématique vieille de près de deux siècles, sur laquelle butaient les plus grands esprits depuis des décennies. Soyons honnêtes tout de suite : l’affaire …