AI phát hiện phản ví dụ toán học: Báo hiệu cuộc khủng hoảng bảo mật cho blockchain?

\n\nHook\n\nCó một câu chuyện mà giới crypto thường ngại nhắc đến: bảo mật của hầu hết blockchain, từ Bitcoin đến Ethereum, đều dựa trên những bài toán mà chúng ta tin là khó giải. RSA, ECC, các chữ ký số – tất cả đều dựa trên giả định rằng không có ai – kể cả máy tính – có thể tìm ra cách đảo ngược các hàm một chiều trong thời gian thực tế. Thế nhưng, đầu tháng 2 năm nay, một tín hiệu yếu nhưng chói lọi đã lóe lên từ phòng thí nghiệm của Anthropic và OpenAI: Claude Fable và Codex, hai mô hình AI, đã độc lập tìm ra phản ví dụ cho giả thuyết Jacobi ba chiều – một bài toán mở suốt 85 năm. Đây không chỉ là bước đột phá trong toán học thuần túy, mà còn là một lời cảnh tỉnh trực diện gửi đến ngành công nghiệp tiền mã hóa.\n\nContext: Tại sao giả thuyết Jacobi lại liên quan đến Bitcoin?\n\nGiả thuyết Jacobi (1939) phát biểu rằng nếu một ánh xạ đa thức từ không gian phức n chiều vào chính nó có định thức Jacobi là hằng số khác không, thì ánh xạ đó phải là song ánh (tức nghịch đảo cũng là đa thức). Nghe có vẻ trừu tượng, nhưng nó có liên hệ mật thiết với các bài toán về tính khả nghịch và tính duy nhất nghiệm – những vấn đề cốt lõi trong mật mã học. Cụ thể, nhiều thuật toán mã hóa khối và hàm băm dựa trên các cấu trúc đa thức; nếu AI có thể tự động tìm ra các ánh xạ không khả nghịch hoặc tìm ra các “backdoor” tiềm ẩn trong các hệ thống mã hóa dạng này, thì nền tảng bảo mật của blockchain sẽ rung chuyển.\n\nTrong bối cảnh chu kỳ thị trường tăng hiện tại, khi dòng tiền đổ vào các dự án AI và crypto, câu chuyện này thường bị che khuất bởi sự phấn khích. Nhưng với tư cách là một nhà phân tích từng audit smart contract trong ICO 2017, tôi đã chứng kiến quá nhiều lần thị trường bỏ qua những lỗ hổng kỹ thuật vì FOMO. Lần này, tín hiệu đến từ một lĩnh vực khác – toán học cơ bản – nhưng nó có khả năng thay đổi toàn bộ vùng đất mà chúng ta đang đứng.\n\nCore: Cơ chế của câu chuyện – AI đang viết lại các quy tắc khó\n\nĐiểm cốt lõi không phải là AI đã giải được một bài toán khó. Mà là AI đã tìm ra được phản ví dụ – thứ mà con người bỏ sót suốt 85 năm – thông qua một phương pháp mang tính khám phá tự động. Levent Alpöge, nhà toán học tại Anthropic, đã sử dụng Claude Fable để sinh ra hàng nghìn ánh xạ đa thức, tính định thức Jacobi, rồi kiểm tra tính đơn ánh. Kết quả: một ánh xạ từ C³ vào C³ với định thức Jacobi = 1 nhưng không phải song ánh. Quan trọng hơn, OpenAI sau đó xác nhận Codex cũng tìm ra một phản ví dụ tương tự một cách độc lập.\n\nĐiều này chứng minh rằng các mô hình ngôn ngữ lớn hiện tại có thể hoạt động như máy phát giả thuyết băng thông cao, quét qua các không gian tìm kiếm khổng lồ mà con người không thể duyệt thủ công. Chi phí cho một lần thử nghiệm như vậy ước tính hàng chục nghìn đô la Mỹ về thời gian GPU, nhưng so với kết quả – một phản ví dụ toán học có thể định hình lại cả một lĩnh vực – thì đó là một khoản đầu tư cực kỳ hiệu quả.\n\nÁp dụng vào bối cảnh mật mã: Các bài toán như phân tích số nguyên lớn (RSA) hay logarit rời rạc (ECC) đã được nghiên cứu hàng thập kỷ. Nhưng nếu AI có thể tìm ra một thuật toán mới – không phải tấn công trực diện bằng brute force, mà thông qua việc phát hiện ra một cấu trúc ẩn nào đó trong các hàm one-way – thì toàn bộ cơ sở hạ tầng khóa công khai của thế giới, bao gồm cả Bitcoin và Ethereum, sẽ bị đe dọa ngay lập tức. Đây là kịch bản “narrative entropy” mà tôi từng đề cập trong cuốn nhật ký phục hồi sau bear market 2022: một câu chuyện sụp đổ không phải vì sự thật sai, mà vì một sự thật mới mạnh hơn thay thế nó.\n\nContrarian: Góc nhìn ngược – AI cũng là người bảo vệ\n\nNhiều người sẽ phản đối rằng, nếu AI có thể phá vỡ các hệ mã, thì AI cũng sẽ tạo ra các hệ mã mới an toàn hơn. Tôi đồng ý, nhưng hãy cẩn thận với sự tự mãn. Vấn đề nằm ở tính bất đối xứng giữa tấn công và phòng thủ: Một lỗ hổng trong mật mã, khi bị phát hiện, có thể bị khai thác hàng trăm tỷ USD trong vài giờ trước khi có bản vá. Để xây dựng một hệ thống mới (ví dụ mật mã hậu lượng tử) và triển khai nó trên toàn bộ hệ sinh thái blockchain, cần nhiều năm. AI đang rút ngắn thời gian tấn công xuống còn ngày hoặc tháng, nhưng thời gian phòng thủ vẫn là năm.\n\nHơn nữa, nghịch lý nằm ở chỗ: Ngay cả khi AI tìm ra một lỗ hổng, chúng ta có nên tiết lộ nó hay không? Nếu giữ kín, cộng đồng không thể vá; nếu công bố, những kẻ xấu sẽ nhanh chóng khai thác. Đây là bài toán mà các nhà nghiên cứu bảo mật từng đối mặt với zero-day, nhưng giờ đây với quy mô toàn cầu, do AI tự động hóa quá trình phát hiện. Trong bài viết trên Medium của tôi năm 2021 về NFT, tôi đã lập luận rằng sở hữu lịch sử không có giá trị nếu lịch sử đó có thể bị xóa bỏ bởi một lỗ hổng. Lần này, bản thân lịch sử (các giao dịch trên Bitcoin) có thể bị làm giả nếu chữ ký ECDSA bị bẻ khóa.\n\nTakeaway: Câu chuyện tiếp theo\n\nChúng ta đang đứng trước một ranh giới: hoặc là ngành blockchain bắt đầu chủ động thử nghiệm các hệ mã hậu lượng tử ngày hôm nay, hoặc là đánh cược rằng AI sẽ không tìm ra cách phá vỡ RSA trong 5 năm tới. Dựa trên tốc độ của Claude và Codex trong tháng 2 này, tôi sẽ không cược. Sự kiện tưởng chừng như chỉ dành cho toán học thuần túy ấy thực chất là một thông điệp sâu sắc đến cho mỗi chúng ta – những người đang xây dựng trên các lớp bảo mật bằng giấy: “Các bạn đã sẵn sàng cho một thế giới nơi không có bài toán nào là thực sự khó chưa?”