Hook
Một dòng tweet từ @cryptobriefing: “AI solves second FrontierMath problem on absolute Galois group.” Không tên model. Không paper. Không sample code. Chỉ một câu khẳng định và một link bài viết ngắn. Tôi mở nó ra và thấy một bản tin thiếu đến mức khiến tôi nhớ lại những ngày đầu audit smart contract: khi một dự án tuyên bố “đã được audit” mà không publish report. Cảm giác đó quen thuộc. Ở đây cũng vậy – thiếu bằng chứng, thiếu chi tiết, chỉ có hype.
Context
FrontierMath là bộ benchmark do Epoch AI xây dựng để kiểm tra khả năng suy luận toán học cấp cao của AI. Bộ này bao gồm các bài toán từ giải tích đến đại số trừu tượng, trong đó có bài toán về “absolute Galois group” – một đối tượng trung tâm trong lý thuyết Galois hiện đại, liên quan đến tất cả các mở rộng đại số của một trường. Giải được nó ở mức end-to-end sẽ là một bước đột phá, tương đương việc AI bắt đầu hiểu được cấu trúc toán học mà trước đây chỉ các nhà toán học chuyên sâu mới có thể phân tích.
Nhưng vấn đề nằm ở nguồn tin. Crypto Briefing là một blog chuyên về tiền mã hóa, không phải tạp chí toán học. Họ dẫn lại từ một nguồn không rõ, không trích dẫn tác giả gốc. Trong thế giới crypto, tôi đã thấy quá nhiều FOMO được tạo ra từ những thông báo thiếu bằng chứng. Năm 2021, một dự án NFT tuyên bố “audit bởi top firm” nhưng thực ra chỉ là một email tự nhận. Bây giờ, AI cũng có thể rơi vào vết xe đổ đó.
Core
Hãy nhìn vào kỹ thuật. Để giải một bài toán về absolute Galois group, AI cần (1) hiểu định nghĩa chính xác về nhóm Galois của một trường, (2) có khả năng suy luận mang tính xây dựng (constructive reasoning) – không chỉ dựa vào pattern matching từ văn bản, (3) có thể sinh ra một chứng minh hoặc một thuật toán tính toán. Các mô hình ngôn ngữ lớn hiện tại (GPT-4, Claude 3.5) thường thất bại ở bước (2) và (3) vì chúng không có cơ chế kiểm tra tính nhất quán logic nội bộ.
Từ kinh nghiệm audit của tôi, một lỗi bảo mật thường ẩn sau những dòng code tưởng chừng đơn giản. Ở đây, sự thiếu vắng chi tiết là dấu hiệu cảnh báo. Nếu một nhóm nghiên cứu thực sự có breakthrough, họ sẽ công bố preprint lên arXiv, hoặc ít nhất là một blog post có kèm code và ví dụ. Thay vào đó, chúng ta chỉ có một dòng tweet.
Tôi thử đặt giả thuyết: giả sử AI đã sử dụng phương pháp neuro-symbolic – kết hợp LLM với một theorem prover như Lean hoặc Coq. Điều đó khả thi hơn, nhưng vẫn chưa có bằng chứng. Hoặc, bài toán được giải có thể là một phiên bản đã được đơn giản hóa, không phải dạng tổng quát. Trong benchmarking, người ta thường cheat bằng cách tinh chỉnh prompt hoặc cho phép nhiều lần thử. Nếu không có protocol kiểm tra độc lập, không thể tin tưởng.
Tôi nhớ lại tháng 3/2021, khi tôi phát hiện lỗi zero-address trong smart contract CryptoPunks. Lúc đó, tôi đã viết report chi tiết kèm PoC và gửi lên GitHub Issues. Nếu tôi chỉ tweet “I found a bug in CryptoPunks” mà không đưa ra bằng chứng, chắc chắn không ai tin. Cộng đồng kỹ thuật yêu cầu tính xác thực. Cùng một logic, tuyên bố này cũng cần được kiểm chứng.
Contrarian
Bây giờ, hãy đặt câu hỏi ngược lại: nếu tuyên bố này là thật, nó có ý nghĩa gì với blockchain? Một số người sẽ nói rằng AI giải được toán cao cấp sẽ giúp xây dựng zero-knowledge proofs tốt hơn, hoặc thậm chí phá vỡ các giao thức dựa trên độ khó của bài toán Galois (nếu có). Nhưng sự thật là, hầu hết các giao thức crypto dựa trên các vấn đề như logarit rời rạc hoặc phân tích số nguyên – không liên quan trực tiếp đến lý thuyết Galois. Tuy nhiên, nếu AI có thể suy luận cấu trúc đại số tốt, nó có thể tìm ra các điểm yếu trong các hệ thống chữ ký dựa trên lattice (post-quantum) – và đó là một lĩnh vực đang phát triển. Nhưng đây vẫn chỉ là speculation.
Một góc nhìn trái chiều khác: ngay cả khi AI giải được bài toán, việc đó không tự động có nghĩa là nó an toàn với smart contract. Tôi đã chứng kiến nhiều dự án áp dụng “AI” vào audit contract, và kết quả thường là thảm họa – vì AI không hiểu được business logic và các edge cases. Một bài toán Galois có thể ấn tượng, nhưng nó không phải là phép thử cho khả năng phát hiện lỗi reentrancy hay overflow.
Takeaway
Nếu bạn là một nhà đầu tư crypto, đừng vội mua token dựa trên tin này. Nếu bạn là một nhà phát triển, hãy chờ đến khi Epoch AI hoặc các nhà toán học uy tín xác nhận. Còn tôi, tôi sẽ theo dõi arXiv và các bài blog kỹ thuật – nơi mà những đột phá thực sự thường xuất hiện kèm code và bằng chứng. Một dòng tweet có thể tạo FOMO, nhưng một dòng code mới tạo ra giá trị.
