Des chercheurs font la course avec l'IA pour résoudre un célèbre problème mathématique

En bref: Des chercheurs humains se sont dépêchés de publier une démonstration mathématique complexe après avoir entendu des rumeurs selon lesquelles une entreprise d'intelligence artificielle allait publier une solution similaire. Les deux groupes ont résolu avec succès des problèmes majeurs en informatique théorique.

Lorsqu'un message texte est arrivé pour avertir que l'intelligence artificielle risquait de le devancer sur une découverte mathématique légendaire, Dor Minzer a cru à une blague. Bientôt, les rumeurs se sont avérées fondées, déclenchant une course à hauts risques entre la puissance cérébrale humaine et la génération par machine.

Ce qui s'est passé, en mots simples

Dor Minzer, Yumou Fei et Shuo Wang ont passé des années à travailler sur un casse-tête ardu lié à la conjecture des jeux 2-à-1 en informatique théorique. Lorsqu'ils ont entendu des rumeurs en septembre 2026 selon lesquelles OpenAI s'apprêtait à publier une démonstration de la conjecture connexe des jeux uniques, le trio s'est précipité pour publier en ligne son propre article de 95 pages afin d'éviter d'être éclipsé. Peu de temps après, OpenAI a annoncé publiquement des démonstrations pour la conjecture des jeux uniques et la conjecture 2-à-1, ainsi que des centaines d'autres résultats mathématiques.

Points clés

Des chercheurs humains devancent un communiqué de presse: Minzer et ses étudiants diplômés se sont dépêchés de partager leur manuscrit mathématique en ligne avant qu'OpenAI ne puisse publier ses propres démonstrations automatisées.
Une énigme de longue date résolue: L'équipe humaine a prouvé une variante d'une conjecture proposée pour la première fois par Subhash Khot, montrant que certains problèmes de coloration restent très difficiles même avec de nombreux choix de couleurs supplémentaires.
L'IA entre dans le monde des mathématiques: OpenAI a publié un lot massif de démonstrations, dont une pour la conjecture des jeux uniques, suscitant à la fois curiosité et anxiété parmi les mathématiciens humains.

Termes expliqués

Conjecture — Une supposition ou une idée astucieuse qui semble vraie sur la base de tests et de logique, mais qui n'a pas encore été démontrée pour absolument tous les cas. Exemple: Remarquer qu'il pleut toujours le jour de votre anniversaire pendant cinq années d'affilée conduit à l'hypothèse qu'il pleut toujours le jour de votre anniversaire, même si vous n'avez pas vérifié chaque année de l'histoire.
Théorie de la complexité computationnelle — L'étude scientifique de la difficulté à résoudre des problèmes mathématiques et informatiques, et des raisons pour lesquelles certains demandent trop de temps ou de puissance. Exemple: Comprendre pourquoi organiser un plan de table massif pour un mariage géant est tellement plus difficile que d'additionner deux nombres simples.
Graphe — Un réseau constitué de points appelés nœuds reliés entre eux par des lignes appelées arêtes. Exemple: Une carte de villes reliées par des trajets de vol, où les villes sont les nœuds et les vols sont les arêtes.

Pourquoi c'est important

Ces découvertes fondamentales aident les scientifiques à comprendre les limites naturelles de ce que les ordinateurs et les algorithmes peuvent calculer, ce qui pourra éventuellement guider la recherche dans de nombreux domaines techniques différents.

Ce que l'on ne sait pas encore

L'article humain a été rédigé à la hâte et manque de mots de liaison dans les dernières sections, tandis que les démonstrations de l'IA sont des manuscrits générés qui n'ont pas subi d'édition humaine traditionnelle ni de révision par des experts indépendants.

D'après un article de Quanta Magazine. Ceci est une explication indépendante, rédigée avec nos propres mots et l'aide d'une IA ; Quanta Magazine ne l'a ni relue ni approuvée. Consultez l'original pour tous les détails.