Mã hóa không thể sao chép lượng tử: GPT-5.6 Sol Ultra giúp giải quyết vấn đề kéo dài sáu năm

Ngày 23 tháng 7, Prabhanjan Anant (UCSB) và Amit Sahai (UCLA) đã đăng một bài báo trên arXiv với tựa đề 'Mã hóa không thể sao chép vô điều kiện', giải quyết một thách thức kéo dài sáu năm trong lĩnh vực mật mã lượng tử. Xây dựng và các ý tưởng chứng minh chính của bài báo hoàn toàn do một tác nhân Codex chạy trên GPT-5.6 Sol Ultra tạo ra, trong khi con người thiết kế khung phần mềm và xác minh mọi tuyên bố. Vấn đề là mã hóa không thể sao chép, nơi cơ học lượng tử ngăn chặn việc sao chép bản mã. Bản mã cổ điển có thể sao chép được; trạng thái lượng tử thì không do định lý cấm sao chép. Mục tiêu là tạo ra bản mã dưới dạng qubit sao cho ngay cả khi khóa được tiết lộ sau đó, chỉ một người nắm giữ trạng thái ban đầu mới có thể giải mã. Bảo mật được mô hình hóa như một trò chơi: kẻ tấn công cố gắng tạo hai bản sao hữu ích từ một bản mã lượng tử; bảo mật yêu cầu rằng hai người nhận không thể cùng đoán thông điệp tốt hơn ngẫu nhiên. Năm 2020, Broadbent và Lord đã chứng minh một phiên bản yếu (bảo mật tìm kiếm) nhưng phiên bản mạnh (tính không phân biệt) vẫn còn bỏ ngỏ trong sáu năm. Chứng minh mới đạt được tính không phân biệt với lợi thế giảm theo hàm mũ theo n. Chứng minh sử dụng các công cụ cơ bản (đại số tuyến tính, bất đẳng thức Cauchy-Schwarz) và hai bước chính: căn giữa một toán tử và chặn giá trị riêng lớn nhất của nó bằng một bộ lọc được xây dựng đặc biệt. Hai ngày sau, một chứng minh độc lập thứ hai của Seyoon Raghavan (MIT) cũng sử dụng GPT-5.6 Sol Ultra đã xuất hiện. Cả hai bài báo đều là bản in trước; họ tuyên bố rằng AI đã tạo ra cách xây dựng và ý tưởng chứng minh, và các tác giả chịu hoàn toàn trách nhiệm.