Des chercheurs utilisent une IA d’OpenAI pour résoudre un célèbre problème de mathématiques
Source : Clubic
Publié le : vendredi 22 mai 2026 à 15:30
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.