Quantum onkloonbare encryptie: GPT-5.6 Sol Ultra hielp een zesjarig probleem op te lossen

Op 23 juli plaatsten Prabhanjan Anant (UCSB) en Amit Sahai (UCLA) een paper op arXiv met de titel 'Unconditional Unclonable Encryption', waarmee een zes jaar durende uitdaging in de kwantumcryptografie werd afgesloten. De constructie en de belangrijkste bewijsgedachten van het paper werden volledig gegenereerd door een agent Codex die draaide op GPT-5.6 Sol Ultra, terwijl mensen de software-omgeving ontwierpen en alle beweringen controleerden. Het probleem is onkloonbare encryptie, waarbij de kwantummechanica het kopiëren van de cijfertekst verhindert. Klassieke cijferteksten kunnen worden gekopieerd; kwantumtoestanden niet vanwege het no-cloning theorema. Het doel is om een cijfertekst als qubits te creëren, zodat zelfs als de sleutel later wordt onthuld, alleen de persoon die de oorspronkelijke toestand bezit, kan ontsleutelen. Beveiliging wordt gemodelleerd als een spel: een aanvaller probeert twee bruikbare kopieën te maken van één kwantumcijfertekst; beveiliging vereist dat twee ontvangers niet beide het bericht beter kunnen raden dan willekeurig. In 2020 bewezen Broadbent en Lord een zwakke versie (zoekbeveiliging), maar de sterke versie (ononderscheidbaarheid) bleef zes jaar open staan. Het nieuwe bewijs bereikt ononderscheidbaarheid met een voordeel dat exponentieel klein is in n. Het bewijs gebruikt elementaire hulpmiddelen (lineaire algebra, de ongelijkheid van Cauchy-Schwarz) en twee belangrijke stappen: het centreren van een operator en het begrenzen van zijn maximale eigenwaarde met een speciaal geconstrueerd filter. Twee dagen later verscheen ook een tweede onafhankelijk bewijs van Seyoon Raghavan (MIT) dat dezelfde GPT-5.6 Sol Ultra gebruikte. Beide papers zijn preprint; ze beweren dat de AI de constructie en bewijsgedachten heeft gegenereerd, en de auteurs nemen de volledige verantwoordelijkheid.