L'IA vient à bout d'un problème mathématique irrésolu depuis 80 ans
Une intelligence artificielle d’OpenAI a résolu un problème mathématique ouvert depuis près de 80 ans, provoquant la stupéfaction de plusieurs des plus grands mathématiciens mondiaux et relançant le débat sur la capacité des machines à produire de véritables découvertes scientifiques.
Résumé de l'article
Une IA d’OpenAI a résolu un problème mathématique vieux de 80 ans, une percée que plusieurs grands mathématiciens qualifient déjà de moment historique.
Pendant des décennies, les annonces fracassantes sur l’intelligence artificielle ont souvent oscillé entre fascination et exagération. Chaque nouveau modèle promettait de révolutionner le monde avant que la réalité ne rappelle les limites de la technologie. Mais ce qui vient de se produire dans le domaine des mathématiques pourrait bien appartenir à une autre catégorie.
Selon OpenAI et plusieurs mathématiciens de premier plan qui ont vérifié le résultat, un modèle d’intelligence artificielle a réussi à résoudre un problème ouvert depuis près de quatre-vingts ans. Un problème formulé en 1946 par le légendaire mathématicien Paul Erdős, l’une des figures les plus influentes de l’histoire des mathématiques modernes.
L’information a provoqué une onde de choc dans la communauté scientifique. Non pas parce qu’une machine a effectué un calcul plus rapidement que l’homme, mais parce qu’elle semble avoir produit une démonstration originale là où plusieurs générations de chercheurs avaient échoué.
Un problème simple à comprendre, impossible à résoudre
Le problème est connu sous le nom de « problème des distances unitaires ». Sa formulation paraît presque enfantine. Si l’on place un certain nombre de points sur une feuille de papier, combien de paires de points peuvent être séparées exactement par une distance égale à une unité ?
Derrière cette apparente simplicité se cachait pourtant l’un des grands casse-tête des mathématiques contemporaines.
Pour continuer la lecture, abonnez-vous ou utilisez un crédit.
