Tóm tắt
Anthropic công bố hai kết quả cryptanalysis do Claude Mythos tạo ra: một attack vào HAWK, một signature scheme hậu lượng tử chưa được chuẩn hóa; và một cải thiện attack trên reduced-round AES. Matthew Green cho rằng hai kết quả này không nên bị gộp thành một headline kiểu AI phá crypto.
HAWK mới là phần đáng quan tâm hơn. Attack không phá triển khai production theo nghĩa thực dụng, nhưng làm giảm mạnh mức security của scheme đề xuất và khiến lợi thế efficiency của HAWK khó bảo vệ hơn. Với AES, kết quả chỉ áp dụng cho bản 7-round yếu hơn AES thật, cần lượng operation và chosen plaintext phi thực tế, nên không phải tín hiệu AES production gặp nguy hiểm.
Phát hiện chính
Với HAWK, điểm quan trọng là model không phát minh toán học hoàn toàn mới. Nó nối và mở rộng các công cụ cryptanalysis đã biết để tạo ra attack có code chạy được trong vài giờ trên một challenge instance yếu hơn. Chính điều đó làm kết quả thú vị: AI có vẻ rất hợp với kiểu công việc cày sâu qua nhiều kỹ thuật đã có, thử tổ hợp, rồi tìm chỗ con người chưa khai thác đủ.
Với reduced-round AES, kết quả có giá trị nghiên cứu nhưng không gần thực tế triển khai. Full AES dùng 10, 12 hoặc 14 round tùy key size; kết quả được nói tới là trên 7 round và chỉ cải thiện hằng số so với hướng nghiên cứu cũ. Đây là tiến bộ trong literature, không phải lý do thay AES trong hệ thống đang chạy.
Kiểm chứng mới là bottleneck
Green nhấn mạnh một điểm dev nên thuộc lòng: model tạo ra kết quả trông hợp lý không đồng nghĩa kết quả đó đúng. Với HAWK, verification dễ hơn vì có code attack chạy được trên challenge instance. Với kết quả kiểu paper analysis trên AES, kiểm chứng khó hơn nhiều vì runtime thật không chạy được ở quy mô đầy đủ, và proof phụ thuộc vào cách phát biểu theorem.
Lean proof hoặc machine-checkable proof có thể giúp, nhưng không thay thế domain expert. Nếu theorem statement sai hoặc thiếu điều kiện, proof vẫn có thể chứng minh đúng một thứ không còn là claim ban đầu. Nói ngắn gọn: AI tăng tốc sản xuất giả thuyết, còn kiểm chứng vẫn là phần cần người giỏi và quy trình chặt.
Ý nghĩa với Dev
Trong software engineering, pattern này quen thuộc: agent có thể viết patch, test, benchmark, migration plan và lời giải thích rất nhanh. Nhưng nếu test cùng mắc giả định sai với patch, mọi thứ sẽ xanh mà production vẫn vỡ. Cryptanalysis chỉ là phiên bản nghiêm khắc hơn của cùng một bài học.
Khi dùng AI cho security, formal methods, infra hoặc tài chính, hãy tách vai trò tạo lời giải và vai trò kiểm chứng. Ưu tiên artifact có thể chạy lại: code repro, benchmark độc lập, proof có statement được review, hoặc ít nhất là một oracle không do cùng model viết ra.
Điều cần giữ lại
Bài viết không nói AI đã thành siêu trí tuệ, cũng không hạ nó xuống autocomplete. Nó đặt vị trí thực tế hơn: model frontier đã đủ mạnh để tạo tiến bộ nghiên cứu có ý nghĩa ở một số vùng, nhưng vẫn rơi khỏi vách ở những điểm cần hiểu sâu, phát biểu đúng và kiểm chứng độc lập. Đó là trạng thái vừa hữu ích vừa nguy hiểm, vì nó mời con người giao thêm việc cho máy trước khi xây xong cơ chế kiểm tra máy.