Un modèle d’intelligence artificielle développé par OpenAI a récemment résolu le problème de la distance unitaire, une conjecture vieille de 80 ans en géométrie discrète, marquant une avancée significative dans l’application de l’IA aux mathématiques pures.
Cette conjecture, centrale en géométrie discrète, portait sur le nombre maximal de paires de points à distance unitaire dans un ensemble de points donné. La solution apportée par le modèle d’OpenAI contredit une hypothèse établie de longue date, démontrant la capacité des IA à aborder des problèmes mathématiques complexes et à générer des contre-exemples inattendus.
L’approche de l’IA a permis d’explorer des configurations et des preuves d’une manière inédite, ouvrant de nouvelles voies pour la recherche mathématique assistée par ordinateur. Ce succès souligne le potentiel des modèles d’IA à non seulement aider à la preuve, mais aussi à la découverte. Cette démonstration pose la question de l’étendue des capacités de l’intelligence artificielle dans la validation de nouvelles théories mathématiques à l’avenir.
Source : OpenAI Blog