Pramaana Labs, sebuah startup teknologi baru, baru saja mengumumkan perolehan pendanaan awal sebesar $27 juta yang dipimpin oleh Khosla Ventures. Putaran pendanaan ini juga melibatkan partisipasi dari sejumlah investor ternama seperti Accel, Boldcap, Nexus Venture Partners, Premji Invest, dan Unbound. Investasi besar ini mencerminkan tingginya minat pasar terhadap solusi yang mampu menjawab tantangan reliabilitas dalam penerapan kecerdasan buatan (AI) di sektor-sektor kritis.
Dalam dunia bisnis saat ini, banyak perusahaan mengalami kesulitan saat mencoba mentransisikan program percontohan AI menjadi bagian fungsional yang andal dalam operasional mereka. Masalah utama yang sering muncul adalah ketidakpastian output atau 'halusinasi' AI. Pramaana Labs hadir untuk mengatasi tantangan tersebut dengan mengombinasikan kekuatan Large Language Model (LLM) dengan sistem verifikasi formal yang matematis.
Fokus utama Pramaana Labs adalah menyasar industri dengan tingkat sensitivitas tinggi, seperti sektor hukum, penemuan obat, dan persiapan pajak. Di bidang-bidang ini, kesalahan sekecil apa pun dapat berdampak fatal atau merugikan secara finansial. Oleh karena itu, perusahaan ini mengembangkan lapisan deterministik di atas LLM untuk memastikan setiap jawaban atau keputusan yang dihasilkan oleh AI dapat diverifikasi kebenarannya.
CEO dan salah satu pendiri Pramaana Labs, Ranjan Rajagopalan, menjelaskan bahwa pendekatan mereka menggunakan metode formalisasi yang lazim digunakan dalam pembuktian matematika. Dengan menggunakan bahasa pemrograman open-source LEAN, perusahaan mampu memverifikasi logika di balik penalaran AI. Sebagai contoh, dalam bidang perpajakan, sistem Pramaana akan memetakan aturan hukum yang kompleks ke dalam kode yang dapat dieksekusi secara deterministik.
Untuk memastikan akurasi sistem, Pramaana Labs bekerja sama dengan para pakar di bidangnya masing-masing. Di sektor perpajakan, mereka berkolaborasi dengan mantan komisaris IRS, Danny Werfel. Sementara itu, untuk sistem keamanan siber dan penemuan obat, perusahaan melibatkan akademisi terkemuka dari institusi bergengsi seperti IIT Delhi, IIT Madras, dan UC Berkeley untuk mengawasi pengembangan verifikasi formal tersebut.
Rajagopalan percaya bahwa tantangan tersulit di dunia sering kali bukan karena masalah yang tidak dapat dipecahkan, melainkan karena masalah tersebut belum terformalisasi. Dengan melakukan kodifikasi terhadap aturan-aturan di berbagai sektor yang krusial bagi kehidupan manusia, kesehatan, dan kebebasan finansial, Pramaana Labs berupaya menciptakan standar baru bagi penerapan AI yang bertanggung jawab dan dapat diandalkan di masa depan.