Paul Erdős (1913 – 1996) était un mathématicien hongrois célèbre qui a soulevé de nombreux problèmes célèbres de mathématiques modernes, mais peu de gens s'attendaient probablement à ce que près de 80 ans plus tard, un système d'intelligence artificielle soit considéré comme ayant trouvé une percée pour l'un d'eux.
OpenAI vient d'annoncer qu'un modèle de déduction d'IA non publié de la société a résolu avec succès le "problème de la distance unitaire sur un plan", qui est un problème mathématique existant depuis 1946. Selon cette société, le modèle d'IA a construit une nouvelle preuve mathématique, réfutant ainsi l'hypothèse géométrique que de nombreux chercheurs croyaient depuis des décennies.
Le problème posé par Erdős semble simple: si plusieurs points sont placés sur un plan bidimensionnel, combien de paires de points peuvent être créées à un maximum d'une unité de distance? Cependant, derrière cette question concise se cache l'un des défis célèbres de la géométrie composite.
Selon OpenAI, leur modèle d'IA a trouvé une solution optimale qui a dépassé les prédictions précédentes des experts.
La déclaration ci-dessus continue de montrer la tendance de l'IA à s'enfoncer de plus en plus dans le domaine des mathématiques. En 2024, Google DeepMind a présenté AlphaGeometry, un modèle d'IA capable de résoudre des problèmes géométriques complexes à un niveau équivalent à celui des candidats aux Olympiades internationales de mathématiques.
D'ici 2025, les modèles d'IA non publiés d'OpenAI et de Google DeepMind continueront d'obtenir des résultats élevés dans des concours mathématiques prestigieux. Cependant, OpenAI a également rencontré des controverses concernant les déclarations sur les capacités mathématiques de l'IA.
L'année dernière, l'ancien vice-président d'OpenAI, Kevin Weil, a publié sur le réseau social X que GPT-5 avait résolu de nombreux problèmes non résolus d'Erdős. Cependant, ce message a ensuite été supprimé lorsque certains experts en IA, dont Yann LeCun et Demis Hassabis, ont affirmé que le modèle ne récupérait que les solutions qui existaient dans les documents universitaires au lieu de créer de nouvelles solutions.
Dans sa dernière annonce, OpenAI a affirmé que les résultats de cette fois marquent "un moment important dans l'interaction entre l'intelligence artificielle et les mathématiques". La société estime que l'IA non seulement soutient la résolution de problèmes mathématiques, mais peut également devenir un collaborateur de recherche pour les scientifiques à l'avenir.
Selon OpenAI, si un modèle a la capacité de maintenir des arguments complexes, de relier des idées entre de nombreux domaines et de créer des ouvrages qui dépassent les évaluations rigoureuses des experts, cette capacité peut également être appliquée en biologie, physique, science des matériaux, ingénierie ou médecine.
Pour accroître la crédibilité de cette publication, OpenAI a également publié les opinions de nombreux mathématiciens qui ont examiné les résultats de la recherche, dont Noga Alon, Thomas Bloom et Tim Gowers.
Thomas Bloom estime que l'intelligence artificielle aide les humains à explorer plus complètement le "sanctuaire mathématique" construit au fil des siècles. Pendant ce temps, Tim Gowers qualifie les résultats publiés par OpenAI de "pièce de l'informatique de l'intelligence artificielle".
Cependant, de nombreux experts estiment qu'il faut plus de temps pour que la communauté universitaire vérifie pleinement les résultats fournis par OpenAI. Mais même s'il est encore controversé, cette dernière déclaration montre toujours que l'IA se rapproche de plus en plus de son rôle d'outil de recherche scientifique véritable.
