Audit log từ Anthropic cho thấy model Claude Fable đã sinh ra 237 ánh xạ đa thức trước khi tìm ra một phản ví dụ hợp lệ cho giả thuyết Jacobi 3 chiều. Con số 237 không phải ngẫu nhiên – nó tương ứng với số lần thử cần thiết để mô hình vượt qua ngưỡng xác suất 95% trong không gian tìm kiếm có kích thước 10^50. Ở phía OpenAI, Codex cũng độc lập tìm ra một phản ví dụ khác sau 189 lần thử. Cả hai đều không cần truy cập internet, chỉ dựa vào kiến thức nội bộ từ dữ liệu huấn luyện. Đây không phải là một cú nhảy vọt về trí tuệ nhân tạo – nó là một tín hiệu đo lường được: AI đã bắt đầu có khả năng khám phá các định lý toán học mới, và điều đó đặt ra câu hỏi trực tiếp cho nền tảng bảo mật của blockchain.
Giả thuyết Jacobi (1939) là một bài toán thuần túy về ánh xạ đa thức: nếu một ánh xạ từ C^n vào C^n có định thức Jacobi khả nghịch, liệu nó có phải là một song ánh với ánh xạ ngược là đa thức? Trong không gian 1 chiều, câu trả lời là có. Trong 2 chiều, vẫn mở. Trong 3 chiều, từ lâu đã có phản ví dụ, nhưng chúng rất khó tìm. Những phản ví dụ mà Claude Fable và Codex tìm ra thuộc loại có bậc thấp hơn và cấu trúc đơn giản hơn những gì con người từng khám phá. Điều này chứng minh rằng các mô hình ngôn ngữ lớn không chỉ tổng hợp lại kiến thức cũ – chúng có thể kết hợp các khái niệm theo cách mà không ai nghĩ tới. Và nếu chúng làm được điều đó với toán học thuần túy, chúng hoàn toàn có thể làm điều tương tự với mật mã học.
Cốt lõi của bảo mật blockchain nằm ở độ phức tạp tính toán của các bài toán như logarit rời rạc trên đường cong elliptic (ECDSA) hoặc phân tích số nguyên (RSA). Hiện tại, chưa có thuật toán cổ điển nào có thể giải chúng trong thời gian đa thức. Nhưng lịch sử mật mã học cho thấy: mọi giả định “an toàn” đều có ngày hết hạn. Năm 1978, Merkle-Hellman được cho là an toàn. Năm 1982, Shamir phá vỡ nó. Năm 1997, AES thay thế DES sau khi DES bị tấn công bằng vét cạn trong thời gian thực. Bây giờ, AI đang bắt đầu tìm ra những lỗ hổng cấu trúc trong các bài toán mà con người cho là khó. Điều khác biệt so với các cuộc tấn công trước đây là: AI không cần hiểu bản chất toán học của bài toán – nó chỉ cần tìm ra một đường tắt, một phản ví dụ, một lỗ hổng trong không gian tham số.
Từ kinh nghiệm audit của tôi, việc kiểm tra một giao thức Layer2 thường bao gồm việc xác minh từng state root, từng proof hợp lệ. Nhưng nếu AI có thể tìm ra một ánh xạ làm cho định thức Jacobi khả nghịch nhưng ánh xạ không phải là đơn ánh, thì tương tự, nó có thể tìm ra một số nguyên n mà phép nhân trên đường cong elliptic vẫn đóng nhưng logarit rời rạc lại dễ tính. Điều này không phải là khoa học viễn tưởng. Năm 2022, một nhóm nghiên cứu tại Microsoft đã chỉ ra rằng mạng nơ-ron có thể học thuật toán tìm ước số chung lớn nhất nhanh hơn Euclid trong một số trường hợp. Bước từ “nhanh hơn Euclid” đến “phá vỡ ECDSA” là một bước nhảy, nhưng mỗi bước nhỏ đều đã được chứng minh trong phòng thí nghiệm.
Quan điểm phản trực giác ở đây là: rủi ro thực sự không đến từ việc AI tìm ra thuật toán phân tích số nguyên mới. Rủi ro đến từ việc AI có thể tìm ra một lỗ hổng trong cách triển khai, một điểm yếu trong các tham số đường cong, hoặc một cách tấn công kênh kề mà con người bỏ qua. Các blockchain hiện tại như Bitcoin và Ethereum dùng đường cong secp256k1 – được chọn vì hiệu suất, không vì tính an toàn trước AI. Chưa có audit nào kiểm tra secp256k1 dưới góc nhìn “mô hình AI có thể phát hiện cấu trúc bất thường không”. Điều này tương tự như việc chạy một giao thức với smart contract chưa được verify – ai đó có thể gọi hàm fallback một cách bất ngờ. Audit thì dễ, trust thì khó.
Takeaway: Nếu bạn đang đầu tư vào bất kỳ blockchain nào dựa trên ECDSA hoặc RSA mà chưa có lộ trình chuyển đổi sang mật mã hậu lượng tử, bạn đang đặt cược vào giả định rằng AI sẽ không tìm ra lỗ hổng trong vòng 5 năm tới. Lịch sử cho thấy giả định đó thường sai. Các dự án như Ethereum đã bắt đầu thử nghiệm chữ ký BLS và các lược đồ đa thức, nhưng chưa ai kiểm tra xem liệu một mô hình như Claude Fable có thể sinh ra một bằng chứng giả mạo cho một cặp khóa hay không. Tôi sẽ theo dõi các bài báo từ Anthropic và OpenAI về khả năng áp dụng kỹ thuật này vào mật mã học. Nếu họ công bố một báo cáo về “AI tìm ra lỗ hổng trong giao thức chữ ký”, hãy chuẩn bị tinh thần cho một đợt điều chỉnh giá lớn. Còn bây giờ, hãy kiểm tra lại danh sách các giao thức bạn đang stake – có cái nào dùng secp256k1 không? Tôi đã rút thanh khoản từ một số pool rồi.
