Un modèle de raisonnement d'OpenAI a produit une preuve qui réfute une conjecture posée par le mathématicien hongrois Paul Erdős en 1946. Neuf mathématiciens extérieurs ont relu et validé le résultat. Le médaillé Fields Tim Gowers le juge digne d'une grande revue.
Tech
DES CHERCHEURS UTILISENT UNE IA D’OPENAI POUR RÉSOUDRE UN CÉLÈBRE PROBLÈME DE MATHÉMATIQUES
22 mai 2026
1 min de lecture
