L'IA résout ce que les humains ne pouvaient pas
Un modèle d'intelligence artificielle a résolu un problème de géométrie vieux de 80 ans posé par le légendaire mathématicien hongrois Paul Erdős, stupéfiant le monde des mathématiques. Le problème d'Erdős, l'un des quelque 1 200 défis non résolus qu'il a laissés derrière lui, avait résisté à toutes les tentatives humaines de solution depuis les années 1940. Les chercheurs ont découvert que l'IA avait découvert un arrangement plus complexe de points appariés — que les mathématiciens humains n'avaient jamais imaginé — donnant un taux de croissance plus élevé que les approches conventionnelles.
Les mathématiciens appellent à des garde-fous
Cette percée a suscité à la fois enthousiasme et inquiétude. « Voici ce que l'IA a trouvé, comment nous l'avons manqué et pourquoi cela importe », a écrit le Wall Street Journal. Mais la communauté mathématique appelle également à la prudence. La Déclaration de Leiden, signée par d'éminents mathématiciens, réclame une surveillance de l'utilisation de l'IA dans la recherche mathématique, avertissant qu'une dépendance excessive à l'IA pourrait compromettre la créativité humaine au cœur de la découverte mathématique.
Une nouvelle ère pour l'IA dans la science
Scientific American a qualifié cet exploit de « plus grande percée mathématique de l'IA à ce jour ». La solution démontre que l'IA peut désormais contribuer à la découverte mathématique authentique, et non plus seulement au calcul. Alors que certains célèbrent cela comme un outil pour accélérer la recherche, d'autres craignent que cela ne change la nature même de la preuve mathématique. Le débat reflète des conversations plus larges dans le monde scientifique sur la délimitation entre l'assistance de l'IA et la découverte humaine.