La résolution du problème 1196 d'Erdős par un modèle d'intelligence artificielle marque un tournant significatif dans la recherche fondamentale. Cette avancée, obtenue grâce à une requête soumise par un amateur, démontre la capacité des outils numériques à générer des approches inédites sur des énigmes mathématiques qui résistaient aux experts depuis des décennies.
Une percée sur les conjectures d'Erdős
Le mathématicien Paul Erdős, figure prolifique du XXe siècle, a laissé derrière lui plus de 1 200 problèmes non résolus, dont beaucoup portent sur les « ensembles primitifs ». Ces structures numériques, où aucun nombre n'est divisible par un autre, constituent un défi de taille pour la théorie des nombres. Le problème 1196, sur lequel Jared Duker Lichtman de l'université de Stanford travaillait depuis sept ans, a finalement été débloqué par une intelligence artificielle, révélant une méthode d'analyse jusque-là ignorée par la littérature scientifique.
Le rôle pivot de l'expertise humaine
Bien que la solution ait été générée par un modèle d'IA suite à une requête de l'amateur Liam Price, le processus souligne la nécessité d'une collaboration étroite avec des spécialistes. Le résultat brut produit par la machine, bien que correct, nécessitait une interprétation rigoureuse. Le mathématicien Jared Duker Lichtman a joué ce rôle crucial, validant la pertinence de l'approche et l'utilisant comme tremplin pour explorer d'autres problèmes connexes, prouvant que l'IA agit désormais comme un collaborateur capable d'offrir des perspectives nouvelles.
Vers une nouvelle ère de recherche collaborative
L'impact de cette technologie dépasse le cadre du problème 1196. Quelques semaines après cette découverte, le même modèle a permis de réfuter une conjecture restée irrésolue pendant près de 80 ans. Ces succès récents, incluant dix avancées majeures annoncées par OpenAI, confirment que l'intelligence artificielle est devenue un outil de travail à part entière. Pour la communauté scientifique, l'enjeu est désormais d'intégrer ces systèmes comme des partenaires de confiance, capables d'accélérer la formalisation de résultats complexes et de stimuler l'innovation dans les domaines les plus pointus de la science.