Clubic / 22.05.26

Des chercheurs utilisent une IA d'OpenAI pour résoudre un célèbre problème de mathématiques

Un modèle de raisonnement d'OpenAI a produit une preuve qui réfute une conjecture posée par le mathématicien hongrois Paul Erds 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.
Lire l'article