Tối qua lúc 2 giờ sáng, tôi cùng bạn bè đi ăn lẩu, anh ấy nhìn chằm chằm vào AI giao dịch robot và phàn nàn: “Nó có kiếm được hay không chưa nói, tôi sợ nhất là nó bịa lý do.” Anh ấy còn gửi ảnh chụp lợi nhuận để chọc tôi, nói rất ổn định, nhưng tay vẫn liên tục run. Tôi liền hỏi: “Vậy nó dùng mô hình nào để chạy?” Anh ấy ngẩn người: “Không biết… Dù sao cũng chạy được.” Tôi cảm thấy sống lưng lạnh toát ngay lập tức.

Đây cũng là lý do gần đây tôi chú ý đến @inference_labs: họ không phải là ai giỏi hơn trong việc “tạo ra”, mà là biến “quá trình suy luận” thành một sổ cái có thể kiểm chứng được. Hai việc gần đây khá đáng chú ý: ① Chính thức công bố hợp tác với @cysic_xyz, đưa chứng minh zkML lên mạng lưới tính toán/hardware phi tập trung, nhằm giải quyết vấn đề lớn về thời gian chứng minh và chi phí; ② Chính thức nói rằng JSTprove đã kết nối trực tiếp với DSperse, mô hình cắt nhỏ chạy song song, mỗi đoạn đều có thể tạo ra “biên lai” có thể xác minh được. Thêm vào đó, TruthTensor Crucible S1 vừa mới được xếp hạng, tôi cảm thấy phấn khích — đây không phải là PPT, mà là đang kéo AI có thể xác minh vào môi trường sản xuất.