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
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
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