GPT-5.6 a généré la preuve qui résout un problème de cryptographie vieux de six ans

Les cryptographes Prabhanjan Ananth, de l'Université de Californie à Santa Barbara, et Amit Sahai, de l'UCLA, ont publié sur arXiv le 23 juillet 2026 l'article « Unconditional Unclonable Encryption ». Il résout un problème qui restait ouvert en cryptographie quantique depuis six ans. La construction du chiffrement et les idées clés de la preuve ont été entièrement générées par l'agent Codex, qui repose sur le modèle GPT-5.6 Sol Ultra.

Ce qu'a réellement fait GPT-5.6

Via l'agent Codex, GPT-5.6 n'a pas fourni un simple fragment de calcul : il a produit toute la construction du chiffrement et les principales idées de la preuve de sa sécurité. Ananth et Sahai le déclarent explicitement dans une section dédiée, à la fin de l'introduction. Ce paragraphe suscite autant de discussions que le résultat mathématique lui-même : un modèle de langage a proposé de lui-même une construction de niveau recherche, au lieu d'exécuter un calcul mécanique.

• Date de publication : 23 juillet 2026, préprint sur arXiv (2607.21551)
• Auteurs : Prabhanjan Ananth (UC Santa Barbara) et Amit Sahai (UCLA)
• Modèle : GPT-5.6 Sol Ultra, utilisé via l'agent Codex
• Le problème est resté ouvert pour les cryptographes quantiques pendant environ six ans
• Sujet de l'article : « Unconditional Unclonable Encryption » (chiffrement inclonable inconditionnel)

Qu'est-ce que le chiffrement inclonable ?

Le chiffrement inclonable (unclonable encryption) est un schéma dans lequel le message chiffré ne peut pas être copié physiquement. Cette propriété repose sur le théorème quantique de non-clonage. Le mot « unconditional » dans le titre signifie que la sécurité est prouvée sans hypothèse de calcul : elle ne suppose pas qu'un problème donné soit difficile à résoudre pour un attaquant, elle est établie de façon inconditionnelle.

C'est précisément la variante inconditionnelle qui posait problème. Selon l'article, une construction complète de ce type de chiffrement est restée un problème ouvert pendant environ six ans. Comme le formule Habr, les chercheurs n'avaient qu'« une balle dans le barillet » : une seule approche fonctionnelle, et personne n'en trouvait longtemps une seconde.

Pourquoi c'est important

L'article marque un cas notable où un grand modèle de langage n'a pas livré une réponse numérique, mais une construction mathématique et l'idée d'une preuve de niveau recherche sur un problème ouvert. Le rôle de l'IA glisse ainsi de « assistant pour les tâches routinières » à coauteur d'un travail scientifique de fond.

«

La construction et les principales idées de la preuve ont été entièrement générées par l'agent Codex sur le modèle GPT-5.6 Sol Ultra », indique la section placée à la fin de l'introduction de l'article d'Ananth et Sahai.

Selon arXiv, le préprint a été publié le 23 juillet 2026 et fait l'objet de la vérification ouverte habituelle par la communauté sur la plateforme ; la relecture par les pairs dans des revues spécialisées reste à venir. Mais le simple fait qu'un modèle ait proposé une construction fonctionnelle sur un problème qui occupait des groupes spécialisés depuis six ans a déjà placé la section consacrée à GPT-5.6 au centre des discussions.

Ce que cela signifie

La frontière entre « l'IA calcule » et « l'IA démontre » se déplace : GPT-5.6 a proposé une construction et des idées de preuve sur un problème où la communauté humaine manquait d'une seconde approche depuis six ans. Si le résultat résiste à la relecture par les pairs, ce sera l'un des premiers cas retentissants où un modèle de langage signe la partie substantielle d'un article scientifique, au lieu de servir d'outil de vérification.

Questions fréquentes

Quel modèle d'IA a généré la preuve ?

La construction du chiffrement et les principales idées de la preuve ont été générées par l'agent Codex sur le modèle GPT-5.6 Sol Ultra, comme l'indiquent les auteurs de l'article eux-mêmes dans la section située à la fin de l'introduction.

Qui sont les auteurs de l'article et où est-il publié ?

Les auteurs sont Prabhanjan Ananth (Université de Californie à Santa Barbara) et Amit Sahai (UCLA). Le préprint « Unconditional Unclonable Encryption » a été publié sur arXiv le 23 juillet 2026 (2607.21551).