Tadi malam pukul 2 pagi, saya dan teman makan sate, dia mengeluh tentang robot trading AI: “Kalau dia untung atau tidak, itu urusan belakangan, yang saya takutkan adalah dia sembarangan bikin alasan.” Dia juga menunjukkan screenshot keuntungan ke wajah saya, bilang sangat stabil, tapi tangannya terus gemetar. Saya spontan bertanya: “Lalu model apa yang dia gunakan?” Dia terdiam: “Gak tahu… yang penting bisa jalan.” Saya langsung merasa merinding.

Itulah juga alasan saya akhir-akhir ini memperhatikan @inference_labs: mereka bukan sekadar lebih pandai “menghasilkan”, melainkan membuat “proses inferensi” menjadi buku besar yang dapat diaudit. Dua hal terbaru cukup menarik: ① Pengumuman resmi bekerja sama dengan @cysic_xyz, menempatkan perhitungan bukti zkML ke jaringan komputasi/hardware terdesentralisasi, langsung mengatasi masalah utama waktu dan biaya bukti; ② resmi mengatakan JSTprove sudah langsung terintegrasi dengan DSperse, model dipotong dan dijalankan secara paralel, setiap bagian dapat menghasilkan “kwitansi” yang dapat diverifikasi. Ditambah lagi, TruthTensor Crucible S1 baru saja masuk daftar teratas, saya agak semangat—ini bukan sekadar PPT, melainkan sedang mendorong AI yang dapat diverifikasi ke lingkungan produksi.