OpenAI a annoncé que son dernier modèle de raisonnement a résolu un problème mathématique demeuré non résolu pendant près de huit décennies. Selon un communiqué de l'entreprise, l'intelligence artificielle a généré une preuve qui réfute la conjecture de la distance unitaire dans le plan, une question ouverte posée par le mathématicien hongrois Paul Erdős en 1946.
Une conjecture célèbre et insoluble La conjecture de la distance unitaire s'intéresse au nombre maximal de fois qu'une distance de longueur 1 peut apparaître entre des points dans un plan euclidien. Erdős avait proposé que ce nombre soit au plus proportionnel à n^(1 + c / log log n) pour un ensemble de n points, mais aucune preuve définitive n'avait été trouvée. Le problème est considéré comme l'un des grands défis de la géométrie combinatoire.
Une preuve originale générée par l'IA OpenAI indique que son modèle de raisonnement, spécialement conçu pour les tâches logiques et mathématiques, a produit une preuve originale qui démontre que la conjecture d'Erdős est fausse. L'entreprise précise que la démonstration a été vérifiée par des mathématiciens et qu'elle constitue une avancée significative dans la capacité des intelligences artificielles à effectuer des raisonnements mathématiques de haut niveau.
Implications pour la recherche Cette annonce, si elle est confirmée, marquerait une étape importante dans l'utilisation de l'intelligence artificielle pour la recherche fondamentale. Elle suggère que des modèles de raisonnement peuvent désormais contribuer à résoudre des problèmes qui échappent depuis longtemps aux mathématiciens humains. La communauté mathématique attend toutefois une validation complète de la preuve avant de tirer des conclusions définitives.
