Tuần trước, một người bạn cũ — từng là kỹ sư tại một quỹ đầu tư mạo hiểm — gửi cho tôi một đường link. Đó là bài viết trên Crypto Briefing về Harmonic AI, một dự án tuyên bố kết hợp “Human-Defined AI Benchmark” với Forman Verification (xác minh hình thức). Anh ấy hỏi: “Chị thấy thế nào? Có đáng quan tâm không?” Tôi đọc lướt qua, rồi đọc lại lần thứ hai. Cảm giác đầu tiên không phải là hào hứng, mà là nhớ lại cuộc gọi với một LP vào tháng 5/2022—khi anh ta khoe khoang về “lợi suất 20% ổn định” từ một giao thức Terra. Cả hai đều thiếu một thứ: bằng chứng có thể kiểm chứng, và cả hai đều vẽ một câu chuyện đẹp, nhưng thiếu xương. Cuối năm 2023, tôi nhận thấy thị trường đang rải đầy những hạt giống “formal verification” như một vị cứu tinh cho cuộc khủng hoảng niềm tin hậu FTX. Từ Certora đến Trail of Bits, mọi người đều có phiên bản của riêng mình. Nhưng Harmonic AI đi xa hơn: họ muốn định nghĩa lại cách chúng ta thiết lập tiêu chuẩn cho AI, rồi gắn nó với bảo mật hợp đồng thông minh. Company of Voices: Đây là nơi sự thú vị bắt đầu. Trong thế giới mà bất kỳ ai cũng có thể tạo ra một smart contract dựa trên ChatGPT, việc đảm bảo rằng code thực sự an toàn trở nên quan trọng hơn bao giờ hết. Nhưng câu hỏi thực tế là: Harmonic AI đang giải quyết vấn đề gì mà những người khác chưa làm được? Tôi vào website của họ, tìm kiếm whitepaper, code repo, bất cứ thứ gì có thể chạm vào. Trống rỗng. Chỉ có một bản tin đăng ký, một vài tweet, và ý tưởng “Human-Defined AI Benchmark” vẫn là một phạm trù trừu tượng, chưa được mổ xẻ bởi bất kỳ ai. Đây không phải là lần đầu tiên tôi thấy một dự án chỉ có narrative. Năm 2020, trong “DeFi Summer”, hàng loạt giao thức xuất hiện với các promise về “yield farming không rủi ro”. Hầu hết đều biến mất. Trong số đó, tôi nhớ rõ dự án “SafeSwap” – tuyên bố sử dụng formal verification để đảm bảo không có impermanent loss. Họ đã huy động được 2 triệu USD từ một quỹ đầu tư nhỏ, nhưng chưa bao giờ deliver code có thể kiểm tra. Nhà sáng lập biến mất sau ba tháng. Trường hợp của Harmonic AI có thể tương tự, nhưng có một điểm khác biệt: họ đang cố gắng kết nối với một narrative lớn hơn – AI. Trong bối cảnh thị trường downtrend hiện tại, nơi mọi người đang tìm kiếm “câu chuyện mới” để tin tưởng, một dự án kết hợp AI và bảo mật có thể là một mồi câu ngọt ngào. Tuy nhiên, với tư cách là một INFJ, người luôn tìm kiếm chiều sâu hơn là bề nổi, tôi thấy sự vắng mặt của các chi tiết kỹ thuật là một dấu hiệu đỏ. Formal verification vốn dĩ đã là một lĩnh vực phức tạp, đòi hỏi kiến thức toán học vững chắc. Thêm AI vào hỗn hợp mà không có bất kỳ giải thích nào về cách chúng tương tác, đó không phải là innovation, mà là obfuscation. Từ góc nhìn của một “Narrative Hunter”, tôi thấy một mô hình quen thuộc: một đội ngũ ẩn danh, một ý tưởng lớn nhưng mơ hồ, và một kênh truyền thông nhỏ nhưng uy tín (Crypto Briefing) để tạo ra lớp vỏ tin cậy ban đầu. Đây là giai đoạn “sowing the seeds” – gieo hạt. Nếu Harmonic AI có thể thu hút sự chú ý của một số KOL hoặc quỹ đầu tư, họ sẽ chuyển sang giai đoạn “watering” – tưới nước, với những thông báo hợp tác hay bản phác thảo kỹ thuật. Nhưng nếu không, câu chuyện sẽ chết yểu. Điều thú vị là, bất chấp sự thiếu vắng bằng chứng, khái niệm “Human-Defined AI Benchmark” vẫn có tiềm năng thực sự. Trong quá trình nghiên cứu của tôi về Bittensor và các mạng lưới AI phi tập trung, một vấn đề nổi cộm là sự tin cậy: làm thế nào để biết một mô hình AI thực sự hoạt động như nó tuyên bố? Hiện tại, chúng ta dựa vào các benchmark do cộng đồng hoặc tập trung cung cấp, nhưng những thứ này có thể bị thao túng. Một hệ thống “human-defined” – nơi con người xác định các bài kiểm tra cốt lõi – có thể cung cấp một lớp tin cậy bổ sung. Nhưng từ ý tưởng đến sản phẩm là một chặng đường dài. Tôi nhớ lại bài báo cáo về Uniswap v2 vào tháng 6/2020, nơi tôi đã dành hai tháng để mô phỏng dữ liệu và phỏng vấn các nhà cung cấp thanh khoản. Kết quả cho thấy 70% pool nhỏ mất giá trị – một phát hiện đi ngược lại câu chuyện “DeFi thay thế ngân hàng”. Bài học là: ngay cả những ý tưởng tốt nhất cũng cần dữ liệu vững chắc để chứng minh. Harmonic AI chưa có dữ liệu đó. Vậy câu hỏi cho cộng đồng tiền điện tử, đặc biệt là trong bối cảnh thị trường giảm này, không phải là “Liệu forman verification có quan trọng không?” – bởi vì nó quan trọng. Mà là: “Một dự án không có code, không có đội ngũ công khai, và một ý tưởng mơ hồ thì có xứng đáng để bạn dành thời gian (và tiền bạc) không?” Dựa trên 20 năm quan sát ngành của tôi, câu trả lời là: hãy đợi cho đến khi họ publish ít nhất một whitepaper kỹ thuật, một repo GitHub, hoặc một partnership với một dự án đã được chứng minh. Khi Harmonic AI cuối cùng ra mắt, tôi sẽ đọc với con mắt phê phán nhất. Nhưng hôm nay, tôi chỉ thấy một bóng ma được phủ lên bởi những từ ngữ đẹp đẽ. Và trong mùa đông crypto, những bóng ma thường là những thứ nguy hiểm nhất để theo đuổi.
