Un modèle d'IA d'OpenAI a réfuté une célèbre hypothèse mathématique que les plus grands scientifiques du monde n'avaient pas réussi à résoudre pendant des décennies. Ce travail d'une équipe d'auteurs dirigée par Noga Alon a stupéfié la communauté scientifique. Le professeur Tim Gowers de l'Université de Cambridge a qualifié cet événement de tournant dans l'histoire des mathématiques informatiques, notant que si ce travail avait été écrit par des humains, il aurait été publié sans hésitation dans une revue prestigieuse comme Annals of Mathematics. C'est ce que rapporte Ixbt.com rapporte.
Il s'agit du problème des distances unitaires dans le plan (planar unit distance problem). Le grand mathématicien du XXe siècle, Paul Erdős, considérait ce problème comme sa contribution la plus brillante à la géométrie. L'essence du problème est la suivante : lorsque des points arbitraires sont placés sur une feuille de papier infinie, quel est le nombre maximum de segments de même longueur pouvant être tracés entre eux ? Erdős avait émis l'hypothèse que la solution optimale prendrait la forme d'une grille carrée et que le nombre de segments serait légèrement supérieur au nombre de points.
Cependant, le réseau neuronal d'OpenAI a prouvé que le grand mathématicien avait tort : il s'est avéré qu'en plaçant les points dans des motifs complexes et moins symétriques, le nombre de connexions équidistantes peut être multiplié par plusieurs. L'algorithme a utilisé la théorie des nombres algébriques pour cette solution. L'IA a construit des grilles massives dans des espaces multidimensionnels, puis les a projetées sur un plan bidimensionnel.
Selon le scientifique Samuel Mansfield de l'Université de Manchester, la raison pour laquelle les humains n'ont pas pu trouver cette solution est que les géomètres manquent généralement de connaissances approfondies en théorie des nombres. L'IA a démontré sa supériorité dans la synthèse de différents domaines scientifiques. Le professeur Misha Rudnev de l'Université de Bristol a qualifié cette découverte de "bombe absolue".
Bien que ce problème d'Erdős soit considéré comme une théorie fondamentale, sa solution fournit de nouveaux outils pour travailler avec le Big Data, la cristallographie et les structures de réseaux complexes. Bien qu'OpenAI n'ait pas encore divulgué l'architecture du modèle, l'entreprise souligne qu'il s'agit d'une étape importante vers l'Intelligence Artificielle Générale (AGI).
Lisez “Zamin” sur Telegram !
