Contexte et annonces
OpenAI a publié, via GitHub, trois solutions à des problèmes mathématiques majeurs, dont une qui contredit l'Exponential Time Hypothesis (ETH). Cette hypothèse, formulée en 1999 par Russell Impagliazzo et Ramamohan Paturi, postule que les algorithmes les plus rapides pour une classe précise de problèmes logiques nécessitent un temps exponentiel en fonction du nombre de variables. Anthropic a suivi d’une réfutation similaire quelques heures plus tard.
Pour chaque discipline, OpenAI a adopté une diffusion différenciée : les mathématiciens reçoivent les preuves sur GitHub, les informaticiens forment un groupe de travail avec financement d’une conférence, et les physiciens créent un groupe dédié à la diffusion de leurs résultats.
Mécanisme de la réfutation de l'ETH
Les modèles d’IA d’OpenAI auraient identifié des algorithmes capables de résoudre les instances ciblées en temps sous‑exponentiel, c’est‑à‑dire plus rapidement que les limites théoriques établies par l’ETH. Aucun détail d’implémentation n’est fourni dans l’article, mais la revendication repose sur la capacité du modèle à générer des constructions algorithmiques qui échappent aux bornes classiques.
Le professeur Ryan Williams du MIT, spécialiste de la complexité computationnelle, a accepté de collaborer avec les laboratoires afin d’interpréter ces solutions. Il a souligné que, même si les algorithmes présentés sont prometteurs, ils ne constituent pas nécessairement « l’algorithme optimal » pour les problèmes concernés.
Implications pour la théorie de la complexité et la cryptographie
Si les algorithmes sous‑exponentiels sont validés, l’ETH serait invalidée, ce qui affaiblirait l’argumentation soutenant P ≠ NP. Une telle remise en cause pourrait, à terme, ouvrir la voie à des avancées vers P = NP, bien que les experts restent prudents quant à la portée immédiate.
Williams a également évoqué les conséquences potentielles sur la sécurité : des algorithmes plus rapides pourraient réduire la marge de sécurité des systèmes cryptographiques basés sur la difficulté de problèmes NP‑durs. OpenAI aurait vérifié que leurs découvertes n’entraînent pas de rupture concrète des schémas de chiffrement actuels, mais la communauté devra réévaluer les tailles de clés et les hypothèses de sécurité à la lumière de ces nouvelles performances.
Réactions de la communauté scientifique
La publication a suscité un mélange d’enthousiasme et de scepticisme. Certains chercheurs, comme le mathématicien Levent Alpöge d’Anthropic, ont suggéré que les solutions pourraient s’appuyer sur du travail préexistant. D’autres, dont Williams, ont critiqué la méthode de diffusion initiale d’OpenAI, la qualifiant de « DDOS attack on mathematicians », avant d’accepter de participer à un dialogue structuré.
Un groupe de travail dirigé par Williams, incluant Impagliazzo et Paturi, a publié une lettre ouverte appelant à un débat ouvert sur les normes de contribution de l’IA aux mathématiques. La suite du processus dépendra de la validation indépendante des algorithmes et de l’impact réel sur les théories établies.
