Le modèle IA interne d'OpenAI a trouvé un contre-exemple au problème de la distance unitaire de Paul Erdős de 1946…

…marquant la première conjecture historiquement significative résolue par l'IA. Cette percée démontre la capacité croissante de l'IA dans la recherche mathématique.

Généré par IA : résumés rédigés par une IA à partir des sources citées. Notre usage de l'IA