Một tuần sau khi OpenAI loại bỏ 722 bản thảo toán học được viết bởi một mô hình AI chưa được phát hành, cộng đồng mật mã đang tranh cãi về một câu hỏi mà hầu hết mọi người đã đưa ra dưới dạng khoa học viễn tưởng: liệu một hệ thống AI cuối cùng có thể phá vỡ mã hóa bảo vệ internet không? Theo báo cáo của Scientific American, các chuyên gia thực sự có sự chia rẽ.

Cuộc tranh luận bắt nguồn từ bản phát hành lập kỷ lục của OpenAI, trong đó mọi bài báo đều được viết bởi một mô hình mà công chúng không thể truy cập. Kết quả đầu ra không hề hoàn hảo – OpenAI đã rút ba bài báo trong vòng một ngày do lỗi ký hiệu và các nhà toán học vẫn đang xem xét phần còn lại – nhưng quy mô và tính chính xác của công việc đã khiến các nhà nghiên cứu lo lắng, những người từng cho rằng toán học do máy tạo ra phải mất nhiều năm nữa. Chúng tôi đề cập đến việc phát hành lần đầu 722 bản thảo và những lần rút bỏ sau đó khi chúng diễn ra.

Phản ứng của cộng đồng toán học đối với bản phát hành đã mang tính chống đối — các nhà toán học hàng đầu, bao gồm cả những người đoạt huy chương Fields, đã công khai yêu cầu các tiêu chuẩn xác minh mạnh mẽ hơn đối với các bằng chứng do AI tạo ra và cuộc tranh luận về mật mã theo nhiều cách là sự mở rộng lập luận đó vào bảo mật ứng dụng. Nếu toán học do AI tạo ra vẫn chưa thể được tin cậy hoàn toàn, câu hỏi đặt ra là phần nào của cơ sở hạ tầng tin cậy có thể chờ đợi được.

Nỗi lo lắng 15 phần trăm

Toán học là nền tảng của mật mã. Mọi tin nhắn được mã hóa và thông tin đăng nhập ngân hàng đều dựa vào một bài toán được cho là thực tế không thể đảo ngược được. Matthew Green, một nhà mật mã học tại Đại học Johns Hopkins, đã đưa ra một con số đáng lo ngại trong một bài đăng trên mạng xã hội vài ngày sau khi phát hành: ông thấy khoảng 15% khả năng thế giới có thể mất niềm tin vào các thuật toán mã hóa khóa công khai hiện có - các hệ thống cho phép trình duyệt thiết lập kết nối an toàn và xác minh danh tính kỹ thuật số mà không cần chia sẻ trước khóa bí mật.

Nỗi sợ hãi đã có tiền lệ lịch sử. Các nhà mật mã từng cho rằng khóa RSA 512 bit là an toàn, cho đến khi sàng trường số khiến việc bẻ khóa dễ dàng hơn đáng kể và buộc ngành công nghiệp phải kéo dài khóa - 2.048 bit hiện là mức tối thiểu được chấp nhận. Mối lo ngại của Green là AI có thể tìm ra lối tắt tương tự trong mật mã đường cong elip, bảo mật phần lớn trang web và hầu hết các loại tiền điện tử, bằng cách phát hiện ra cấu trúc mà con người đã bỏ lỡ trong nhiều thập kỷ.

Những người hoài nghi: Không có bằng chứng về sự đột phá

Rất nhiều nhà mật mã học hàng đầu nhận thấy không có lý do gì đáng báo động. Yehuda Lindell, giáo sư tại Đại học Bar-Ilan và người đứng đầu bộ phận mật mã tại Coinbase, đã viết rằng không có bằng chứng nào về bước đột phá chống lại các vấn đề toán học làm nền tảng cho mã hóa hiện đại. Dan Boneh, giáo sư mật mã của Stanford, đã chỉ ra rằng không một bài nào trong số 722 bài báo của OpenAI đề cập đến mật mã.

Govind Pimpale, một nhà nghiên cứu tại Quỹ Đổi mới Hoa Kỳ, đã thừa nhận một cách rõ ràng tình trạng hiện tại: không có thuật toán nào được triển khai hiện tại bị AI phá vỡ. Mối quan tâm của ông mang tính cấu trúc chứ không phải ngay lập tức - mật mã khóa công khai dựa trên một số vấn đề toán học được nghiên cứu bởi các cộng đồng nhỏ và máy móc có thể nỗ lực rất nhiều vào những mục tiêu hẹp đó so với các nhà nghiên cứu con người từng có.

Bằng chứng thực sự cho thấy điều gì

Điểm dữ liệu cụ thể nhất đến từ bản in gần đây của Florian Tramèr, một nhà khoa học máy tính tại ETH Zurich, và các đồng nghiệp bao gồm ba nhà nghiên cứu tại Anthropic. Nhóm đã so sánh các mô hình AI hàng đầu với 191 thử thách phá mã và Tramèr cho biết rõ ràng rằng khả năng phân tích mật mã của các mô hình đang phát triển cực kỳ nhanh chóng.

Các nhà nghiên cứu khác chuyển hướng lo lắng sang những rủi ro ngắn hạn hơn. Eyal Ronen của Đại học Tel Aviv, đồng tác giả của nghiên cứu phân tích mật mã, lưu ý rằng AI đã rất giỏi trong việc tìm ra các lỗ hổng phần mềm - một mối đe dọa trực tiếp hơn so với các vụ phá vỡ mã hóa giả định, vì những kẻ tấn công áp đảo sử dụng con đường dễ dàng nhất hiện có, chẳng hạn như đánh cắp khóa từ một máy bị xâm nhập. Bart Preneel, giáo sư mật mã tại KU Leuven, nói thêm rằng quy mô rất quan trọng: ngay cả một tiến bộ toán học giúp thực hiện các cuộc tấn công nhanh hơn hàng tỷ lần vẫn có thể khiến chúng không thực tế về mặt tính toán đối với các hệ thống được cấu hình đúng cách.

Tại sao tiền đặt cược lại cao như vậy

Mật mã khóa công khai lặng lẽ bảo vệ các kết nối trình duyệt, chữ ký cập nhật phần mềm, giao dịch tiền điện tử và ứng dụng nhắn tin. Một sự phá vỡ thực sự sẽ cho phép những kẻ tấn công mạo danh ngân hàng, giả mạo các bản cập nhật phần mềm và đọc lưu lượng được mã hóa dự trữ trong nhiều năm - các cơ quan tình báo kịch bản thu hoạch ngay, giải mã sau được cho là đã cố gắng chống lại các chuyển đổi sau lượng tử.

Ngay cả một kết quả cục bộ cũng sẽ buộc phải có một cuộc di cư toàn cầu đầy đau đớn. Green cảnh báo rằng bản thân quá trình nâng cấp có thể là một thảm họa, lưu ý rằng các quá trình chuyển đổi mật mã không thành công trong lịch sử đã tạo ra những điểm yếu mới. Rủi ro đó đã lộ rõ ​​trong tháng này khi hệ thống Claude Mythos của Anthropic xác định những điểm yếu chưa từng được biết đến trước đây trong việc triển khai mã hóa, một lời nhắc nhở rằng tiến trình AI tương tự gây ấn tượng với các nhà toán học cũng đang nhằm mục đích nghiên cứu bảo mật.

Hiện tại, sự đồng thuận thường xảy ra trong mật mã: không có hệ thống được triển khai nào bị hỏng, nhưng cái giá phải trả cho việc giả định rằng điều đó tồn tại mãi mãi là quá cao để có thể bỏ qua. Điều đã thay đổi trong tháng này là bản thân tốc độ khám phá toán học đã trở thành biến số được giám sát.

---

Đi trước AI

Nhận tin tức, phân tích và đột phá mới nhất về AI — tất cả ở cùng một nơi.

Đọc thêm tin tức về AI →