Une IA d’OpenAI vient de résoudre un problème mathématique vieux de 80 ans que personne ne parvenait à cracker, et les mathématiciens confirment que c’est réel

Mardi 20 mai 2026, OpenAI a annoncé qu’un de ses modèles de raisonnement internes avait produit, de manière totalement autonome, une preuve mathématique originale réfutant une conjecture posée par Paul Erdős en 1946. Le problème ... Lire la suite

Une IA d’OpenAI vient de résoudre un problème mathématique vieux de 80 ans que personne ne parvenait à cracker, et les mathématiciens confirment que c’est réel
l'ia résout un problème mathématiqueMardi 20 mai 2026, OpenAI a annoncé qu’un de ses modèles de raisonnement internes avait produit, de manière totalement autonome, une preuve mathématique originale réfutant une conjecture posée par Paul Erdős en 1946. Le problème ... Lire la suite