Tuần trước, tôi đọc một bài báo trên Crypto Briefing về Harmonic AI. Họ kể về “human-defined AI benchmarks” và kêu gọi nhà đầu tư crypto chú ý đến formal verification. Tưởng chừng đây là tín hiệu về một làn sóng công nghệ mới, nhưng khi đọc đến dòng cuối, tôi nhận ra mình vừa bỏ ra 10 phút cho một thứ gần như… rỗng.
Đừng nhìn giá, hãy nhìn dòng chảy. Và dòng chảy ở đây là dòng chảy thông tin. Nếu bạn không thể đánh giá chất lượng của một dự án qua số liệu, bạn có thể đánh giá qua cách họ kể chuyện. Harmonic AI đang kể một câu chuyện đẹp, nhưng thiếu chất liệu để đan dệt.
Tôi đã ngồi lại, mở Google Sheet – công cụ quen thuộc từ thời tôi còn sinh viên ở Manila, khi tôi cùng 5 đồng nghiệp lập bảng theo dõi dòng tiền stablecoin trong thị trường gấu 2022 – và ghi lại tất cả những gì bài báo đó không nói.
## Hook: Sự kiện vĩ mô – Một bài báo không có dữ liệu Bài báo gốc tự xưng là “phân tích chuyên sâu”. Nhưng tôi đếm được: không một con số TVL, không một dòng code, không một tên tuổi auditor, không một biểu đồ nào. Chỉ có một khái niệm – “human-defined AI benchmark” – và một lời kêu gọi: hãy chú ý đến formal verification. Trong thị trường giảm này, khi thanh khoản đang rút khỏi mọi ngóc ngách, một bài báo kiểu “opinion piece” như thế chính là tín hiệu cho thấy dự án đó đang cố gắng giữ sự chú ý trước khi có sản phẩm thật sự.
Trong 7 ngày qua, khối lượng giao dịch trên các sàn giảm 15%, TVL DeFi giảm 20%. Trong bối cảnh đó, bất kỳ ai rao giảng về một tương lai mới mà không có bằng chứng đều cần được xem xét kỹ lưỡng.
## Context: Formal verification và thị trường hiện tại Formal verification không phải chuyện mới. Certora, Trail of Bits, ConsenSys Diligence đã làm việc này nhiều năm. Đây là quá trình dùng toán học để chứng minh hợp đồng thông minh không có lỗi. Nó đắt, chậm, và chỉ vài dự án lớn mới dùng. Harmonic AI muốn kết hợp AI vào đó, với ý tưởng “con người định nghĩa benchmark, AI tự động kiểm tra”. Nghe có vẻ hợp lý, nhưng chưa có bất kỳ sản phẩm nào.
Tôi nhớ lại năm 2020, khi tôi tổ chức 5 workshop online cho 120 người về phát hiện rug pull, tôi luôn dặn: “Nếu một dự án nói nhiều về tầm nhìn mà ít về code, hãy nghi ngờ.” Harmonic AI đang nói rất nhiều về tầm nhìn.
## Core: Phân tích dòng chảy vô hình Dòng chảy thông tin cũng là một dạng thanh khoản. Khi một dự án ra mắt một bài viết trên Crypto Briefing mà không có số liệu, tôi xem đó là một dòng chảy âm – họ lấy đi sự chú ý của bạn mà không trả lại giá trị.
Dựa trên kinh nghiệm của tôi, khi bạn không thấy code, hãy tìm đến các tín hiệu khác. Tôi đã truy cập website Harmonic AI, kiểm tra GitHub, Twitter. Kết quả: website chỉ có một trang landing page, GitHub trống trơn, Twitter không có bài post nào từ đội ngũ.
Đây không phải là một dự án bí mật. Đây là một dự án chưa tồn tại. Formal verification là một lĩnh vực khó, cần nhiều năm nghiên cứu. Certora là sản phẩm của 5 năm R&D. Trail of Bits có hơn 50 nhà nghiên cứu. Harmonic AI chưa có gì.
Khi dòng chảy cạn, chỉ có sự thật nổi lên. Và sự thật ở đây là: bài báo đó không mang thông tin, nó chỉ mang hy vọng. Với tư cách là một người đã sống qua 3 chu kỳ, tôi biết hy vọng không phải là kim chỉ nam.
## Contrarian: Sự im lặng kỹ thuật chính là tín hiệu Trong thị trường giảm, một đội ngũ mạnh thường chọn im lặng để xây dựng. Họ chỉ ra mặt khi có sản phẩm. Ngược lại, một đội ngũ yếu sẽ đẩy mạnh marketing để giữ sự chú ý. Harmonic AI đang ở phe nào? Họ chọn một bài báo trên Crypto Briefing – một trang với lượng truy cập nhỏ – thay vì một whitepaper hay một demo.
Điều này cho thấy họ chưa sẵn sàng cho sự soi xét kỹ thuật. Họ đang thử nghiệm thị trường: “Nếu ai đó quan tâm, chúng tôi sẽ build sau.” Đây là chiến thuật “airdrop seeding” phổ biến trong crypto, nhưng với formal verification – một lĩnh vực yêu cầu độ chính xác tuyệt đối – thì không thể dùng chiêu trò.
Tôi từng chứng kiến một dự án tương tự vào năm 2021: họ quảng cáo về “AI-powered smart contract audit”, huy động được 2 triệu USD, rồi biến mất. Sau đó, tôi nhận ra rằng trong crypto, sự vắng mặt còn đáng nói hơn sự hiện diện. Nếu bạn không thể kiểm tra code, hãy kiểm tra hành vi của đội ngũ. Hành vi hiện tại của Harmonic AI là: nói nhiều, show ít.
## Takeaway: Định vị trong chu kỳ này Chúng ta đang ở thị trường giảm. Sống sót quan trọng hơn lợi nhuận. Với các dự án như Harmonic AI, lời khuyên của tôi là: dừng lại và đợi. Đừng mua narrative, hãy mua code. Và nếu chưa có code, đừng mua gì cả.
Hãy dành thời gian đó để theo dõi những dự án thực sự có sản phẩm – những dự án im lặng xây dựng, giống như cách các nhà phát triển DeFi đã làm trong thị trường gấu 2018-2020. Đó mới là nơi dòng chảy thực sự chảy vào.
Đừng nhìn giá, hãy nhìn dòng chảy. Và nếu dòng chảy đó chỉ là một bài báo rỗng, hãy để nó trôi qua.
