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.
Pour lire l'article dans son intégralité cliquez-ici.
