Copy-Protected Quantum Encryption: GPT-5.6 Helped Prove Six-Year-Old Problem

Vào ngày 23 tháng 7, một bài báo của Prabhanjan Ananth (Đại học California, Santa Barbara) và Amit Sahai (UCLA) đã được đăng trên arXiv, giải quyết vấn đề mã hóa không thể sao chép vô điều kiện mà các nhà mật mã lượng tử đã phải đối mặt trong sáu năm. Đây là về một loại mã hóa trong đó bản mã được ghi vào các qubit và chỉ tồn tại ở một bản sao duy nhất nhờ vào định lý cấm nhân bản: ngay cả khi khóa bị rò rỉ, chỉ chủ sở hữu của trạng thái lượng tử gốc mới có thể đọc được thông điệp. Các tác giả đã chứng minh tính an toàn mạnh (không thể phân biệt) cho sơ đồ sử dụng các trạng thái riêng của toán tử Pauli, trong đó khóa là một chuỗi cổ điển gồm 2n-1 bit, và việc mã hóa và giải mã được thực hiện trong thời gian tuyến tính. Chứng minh sử dụng các công cụ cơ bản, bao gồm bất đẳng thức Cauchy-Schwarz, và đưa ra một cận lũy thừa cho lợi thế của kẻ tấn công (2^((n+1)/2)). Trong phần về sử dụng trí tuệ nhân tạo (AI), các tác giả cho biết cấu trúc và các ý tưởng chính của chứng minh được tạo ra bởi tác nhân Codex trên mô hình GPT-5.6 Sol Ultra; con người đã xây dựng phần mềm kết nối (harness), kiểm tra từng tuyên bố và chịu trách nhiệm về kết quả. Harness này dựa trên UCLA Moonshot Harness và một lời nhắc (prompt) từ OpenAI. Vào ngày 25 tháng 7, một công trình độc lập của Seyoon Ragavan từ MIT với cùng kết quả, cũng sử dụng GPT-5.6 Sol Ultra, đã xuất hiện trên Cryptology ePrint Archive. Cả hai chứng minh đều là bản in trước (preprint), nhưng đã nhận được đánh giá tích cực từ các chuyên gia.