Pramaana Labs: Ketika Robot Perlu Akte Lahir dan Sertifikat Halal! (Modal Rp440 Miliar Untuk Verifikasi AI)
Akhirnya ada yang sadar! Di tengah hiruk pikuk klaim AI “super cerdas” yang seringnya cuma jualan halusinasi, muncul Pramaana Labs. Startup ini, yang baru saja mengantongi dana segar $27 juta (sekitar Rp440 miliar) dari Khosla Ventures dan investor kakap lainnya, punya misi mulia: menyuntikkan “verifikasi formal” ke dalam sistem AI. Intinya, mereka mau bikin robot-robot ini punya akte lahir dan sertifikat halal, biar enggak seenaknya ngibul atau ngaco di bidang-bidang krusial.
Sebagai Majikan AI yang waras, tentu kita bertanya, “Bagaimana ini bisa menguntungkan kita?” Sederhana saja. Jika AI bisa lebih dipercaya di sektor seperti hukum, penemuan obat, atau persiapan pajak — di mana satu kesalahan bisa berarti kerugian miliaran, nyawa melayang, atau Anda dipenjara — maka potensi penggunaannya jauh lebih luas dan aman. Tidak ada lagi drama AI halusinasi yang membuat agen industri cuma hebat di kertas tapi lemah di lapangan.
Coba bayangkan, saat ini AI seringkali seperti asisten rumah tangga yang rajin tapi kadang kurang piknik. Dia bisa mengerjakan banyak hal, tapi kalau disuruh menghitung pajak atau meracik formula obat, Anda pasti deg-degan. Pramaana Labs ingin menghilangkan rasa deg-degan itu dengan membawa disiplin ilmu komputer yang paling “kaku” ke dunia AI yang serba “ngarang bebas”.
Fokus Pramaana adalah pada vertikal yang sangat sensitif: hukum, penemuan obat, dan persiapan pajak. Di sini, kesalahan bukan cuma bikin malu, tapi bisa sangat mahal harganya. Saat ini, AI seringkali terjangkit “halusinasi” yang membuat informasinya tidak bisa diandalkan sepenuhnya. Nah, di sinilah keajaiban verifikasi formal bekerja.
Ranjan Rajagopalan, CEO dan co-founder Pramaana, menjelaskan bahwa domain seperti hukum pajak itu seperti matematika: banyak aturan yang harus dipatuhi. “Begitu Anda punya versi yang terkodifikasi, penalaran di atasnya mulai menjadi deterministik,” katanya. Artinya, kalau ada aturan main yang jelas, robot pun tidak bisa ngeles.
Sistem Pramaana ini tetap menggunakan Model Bahasa Besar (LLM) konvensional untuk fleksibilitas dalam memahami bahasa alami dan memecahkan masalah kompleks. Tapi, di atas LLM tersebut, ada “lapisan deterministik” yang memastikan pekerjaan si robot itu benar-benar akurat dan bisa dipertanggungjawabkan. Ini seperti memberi kebebasan pada asisten untuk berkreasi, tapi tetap diawasi ketat oleh kepala akuntan yang tidak punya selera humor.
Konsep ini punya preseden nyata, lho. Rajagopalan menunjuk pada Proyek CATALA di Prancis, yang memformalkan sebagian besar sistem pajak dan tunjangan negara mereka ke dalam kode yang bisa dieksekusi. Jadi, ini bukan sekadar ide gila, tapi fondasi yang sudah terbukti. Apalagi, jika robot mau jadi hakim, dia tidak boleh halusinasi.
Untuk setiap kasus penggunaan, Pramaana akan membangun sistem verifikasi formal bergaya LEAN mereka sendiri, yang diawasi langsung oleh para ahli di bidangnya. Untuk hukum pajak, mereka menggandeng mantan komisioner IRS, Danny Werfel. Sementara untuk keamanan siber dan penemuan obat, profesor dari IIT Delhi, IIT Madras, dan UC Berkeley siap menjadi “pengawas ujian” robot-robot ini.
"Masalah tersulit di dunia bukan tidak terpecahkan. Mereka tidak terformalilasi," ujar Rajagopalan. "Setiap domain di mana kesalahan bisa mengorbankan kesehatan, uang, atau kebebasan seseorang pasti punya aturan." Dan kini, aturan-aturan itu hanya perlu dikodifikasikan, agar AI tidak lagi cuma jadi alat yang butuh diawasi 24/7.
Baca juga artikel menarik lainnya di kategori Sidang Bot.
Sebagai Majikan yang cerdas, Anda pasti ingin AI Anda bekerja dengan presisi, bukan cuma sekadar merangkai kata tanpa makna. Jika Anda ingin menguasai AI dan memastikan ia selalu bekerja sesuai perintah Anda, tanpa halusinasi yang bikin rugi, saatnya tingkatkan kemampuan Anda. Belajar cara mengendalikan AI agar Anda tetap menjadi Majikan, bukan babu teknologi. Atau, jika Anda ingin menciptakan konten profesional mandiri tanpa perlu khawatir robot Anda berhalusinasi, kami punya solusinya.
Sebab AI hanyalah alat, kitalah Majikan yang punya akal. Tanpa manusia menekan tombol, AI hanyalah tumpukan kode mati yang haus daya listrik. Ingat, robot bisa pintar, tapi cuma manusia yang bisa berpikir untuk mematikan Wi-Fi saat lagi bad mood.
Artikel ini dirangkum dari sumber asli di “TechCrunch”
Gambar oleh: Pramaana Labs via TechCrunch