GPT-5.6 сгенерировал доказательство, решившее 6-летнюю задачу криптографии

Les cryptographes Prabhanjan Ananth, de l'Université de Californie à Santa Barbara, et Amit Sahai, de l'UCLA, ont publié le 23 juillet 2026 sur arXiv un article intitulé « Unconditional Unclonable Encryption », qui a clos un problème posé à la 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 fonctionnant sur le modèle GPT-5.6 Sol Ultra.

Ce que GPT-5.6 a exactement fait

GPT-5.6, via l'agent Codex, n'a pas produit un simple fragment de calculs, mais l'intégralité de la construction du chiffrement ainsi que les idées principales de la preuve de sa sécurité — Ananth et Sahai l'affirment directement dans une section distincte à la fin de l'introduction. C'est précisément ce paragraphe qui est discuté autant que le résultat mathématique lui-même : le modèle de langage a proposé de lui-même une construction de recherche, plutôt que d'effectuer un calcul mécanique.

• Date de publication — 23 juillet 2026, preprint sur arXiv (2607.21551)
• Auteurs — Prabhanjan Ananth (UC Santa Barbara) et Amit Sahai (UCLA)
• Modèle — GPT-5.6 Sol Ultra, fonctionnant via l'agent Codex
• Le problème restait ouvert pour les cryptographes quantiques depuis environ six ans
• Sujet de l'article — « Unconditional Unclonable Encryption » (chiffrement non clonable inconditionnel)

Qu'est-ce que le chiffrement non clonable

Le chiffrement non clonable (unclonable encryption) est un schéma dans lequel le message chiffré ne peut physiquement pas être copié : la 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èses de calcul — non pas sous l'hypothèse qu'un problème donné est difficile à casser, mais de manière inconditionnelle.

C'est précisément la variante inconditionnelle qui constituait la pierre d'achoppement. Selon l'article, une construction complète de ce type de chiffrement restait un problème ouvert depuis environ six ans — les chercheurs, comme le formule Habr, n'avaient « qu'une seule balle dans le barillet », c'est-à-dire une seule approche fonctionnelle, et il a longtemps été impossible d'en trouver une seconde.

Pourquoi c'est important

L'article constitue un cas notable où un grand modèle de langage a produit non pas une réponse numérique, mais une construction mathématique et une idée de preuve de niveau recherche pour un problème ouvert. Cela fait évoluer le rôle de l'IA, d'« assistant pour les tâches routinières » à coauteur d'un travail scientifique substantiel.

«

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 à la fin de l'introduction de l'article d'Ananth et Sahai.

Selon arXiv, le preprint est paru le 23 juillet 2026 et fait l'objet de l'examen ouvert habituel de la communauté sur la plateforme — l'évaluation par les pairs dans des revues spécialisées reste à venir. Mais le simple fait que le modèle ait proposé une construction fonctionnelle pour un problème sur lequel des groupes spécialisés butaient depuis six ans a déjà fait de la section consacrée à GPT-5.6 le centre de la discussion.

Ce que cela signifie

La frontière entre « l'IA calcule » et « l'IA prouve » se déplace : GPT-5.6 a proposé une construction et des idées de preuve pour un problème auquel la communauté humaine manquait, depuis six ans, d'une seconde approche. Si le résultat résiste à l'évaluation par les pairs, ce sera l'un des premiers exemples marquants où un modèle de langage aura été l'auteur d'une partie substantielle d'un article scientifique, plutôt qu'un simple 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 — c'est ce qu'indiquent les auteurs de l'article eux-mêmes dans une section à la fin de l'introduction.

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

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