Chiffrement non clonable quantique : GPT-5.6 Sol Ultra a aidé à résoudre un problème vieux de six ans

Le 23 juillet, Prabhanjan Anant (UCSB) et Amit Sahai (UCLA) ont publié un article sur arXiv intitulé « Unconditional Unclonable Encryption », mettant fin à un défi de six ans en cryptographie quantique. La construction et les idées clés de la preuve ont été entièrement générées par un agent Codex fonctionnant sur GPT-5.6 Sol Ultra, tandis que les humains ont conçu le logiciel de contrôle et vérifié toutes les affirmations. Le problème est celui du chiffrement non clonable, où la mécanique quantique empêche la copie du texte chiffré. Les textes chiffrés classiques peuvent être copiés ; les états quantiques ne le peuvent pas en raison du théorème de non-clonage. L'objectif est de créer un texte chiffré sous forme de qubits de sorte que, même si la clef est révélée ultérieurement, seule la personne qui détient l'état original puisse déchiffrer. La sécurité est modélisée comme un jeu : un adversaire tente de créer deux copies utiles à partir d'un seul texte chiffré quantique ; la sécurité exige que deux destinataires ne puissent pas tous deux deviner le message mieux qu'au hasard. En 2020, Broadbent et Lord ont prouvé une version faible (sécurité de recherche) mais la version forte (indistinguabilité) est restée ouverte pendant six ans. La nouvelle preuve atteint une indistinguabilité avec un avantage exponentiellement petit en n. La preuve utilise des outils élémentaires (algèbre linéaire, inégalité de Cauchy-Schwarz) et deux étapes clés : centrer un opérateur et borner sa valeur propre maximale avec un filtre spécialement construit. Deux jours plus tard, une deuxième preuve indépendante de Seyoon Raghavan (MIT) utilisant le même GPT-5.6 Sol Ultra est également apparue. Les deux articles sont des prépublications ; ils affirment que l'IA a généré la construction et les idées de preuve, et les auteurs assument l'entière responsabilité.