⚡ EILMELDUNG
ForschungKI-Sicherheit 🇷🇺 26.07.2026 17:03

Quanten-unklonbare Verschlüsselung: GPT-5.6 Sol Ultra half bei der Lösung eines sechs Jahre alten Problems

OpenAIOpenAI
Forscher der University of California, Santa Barbara (UCSB) und der University of California, Los Angeles (UCLA) veröffentlichten ein Papier, das das sechs Jahre alte Problem der unbedingten unklonbaren Verschlüsselung löst. Die Konstruktion und die wesentlichen Beweisideen wurden vollständig von einem KI-Agenten (Codex auf GPT-5.6 Sol Ultra) generiert. Innerhalb von Tagen erschienen zwei unabhängige Beweise unter Verwendung desselben Modells.
Am 23. Juli veröffentlichten Prabhanjan Anant (UCSB) und Amit Sahai (UCLA) ein Papier auf arXiv mit dem Titel „Unconditional Unclonable Encryption“ und lösten damit eine sechsjährige Herausforderung in der Quantenkryptographie. Die Konstruktion und die wichtigsten Beweisideen des Papiers wurden vollständig von einem Agenten Codex generiert, der auf GPT-5.6 Sol Ultra lief, während Menschen die Softwareumgebung gestalteten und alle Behauptungen verifizierten. Das Problem ist die unklonbare Verschlüsselung, bei der die Quantenmechanik das Kopieren des Chiffretexts verhindert. Klassische Chiffretexte können kopiert werden; Quantenzustände aufgrund des No-Cloning-Theorems nicht. Ziel ist es, einen Chiffretext als Qubits zu erstellen, so dass selbst bei späterer Preisgabe des Schlüssels nur die Person, die den ursprünglichen Zustand besitzt, entschlüsseln kann. Die Sicherheit wird als Spiel modelliert: Ein Angreifer versucht, aus einem Quantenchiffretext zwei brauchbare Kopien zu erzeugen; Sicherheit erfordert, dass zwei Empfänger die Nachricht nicht besser als zufällig erraten können. Im Jahr 2020 bewiesen Broadbent und Lord eine schwache Version (search security), aber die starke Version (indistinguishability) blieb sechs Jahre lang offen. Der neue Beweis erreicht indistinguishability mit einem Vorteil, der exponentiell in n klein ist. Der Beweis verwendet elementare Werkzeuge (lineare Algebra, Cauchy-Schwarz-Ungleichung) und zwei Schlüsselschritte: die Zentrierung eines Operators und die Beschränkung seines maximalen Eigenwerts mit einem speziell konstruierten Filter. Zwei Tage später erschien ein zweiter unabhängiger Beweis von Seyoon Raghavan (MIT) unter Verwendung derselben GPT-5.6 Sol Ultra. Beide Papiere sind Preprints; sie behaupten, dass die KI die Konstruktion und die Beweisideen generiert hat, und die Autoren übernehmen die volle Verantwortung.
Quelle: Habr — хаб ИИ — Original
Unsere früheren Beiträge zu diesem Thema ↓
Aktuelle Nachrichten