Pramaana Labs Incara $27 Juta Buat Bikin AI Lebih Aman, Gimana Caranya?

Kamu pasti udah denger AI makin ngebut, kan? Tapi ternyata ada startup yang lagi ngincar bikin AI jadi lebih terpercaya, namanya Pramaana Labs.

Mereka baru aja dapet suntikan dana $27 juta dari Khosla Ventures. Dana ini bakal dipake buat ngembangin formal verification di AI, biar errornya minimal.

Formal verification itu semacam audit kode yang super ketat, biasanya dipake di industri aerospace atau chip. Sekarang, Pramaana mau bawa teknik itu ke AI.

Kenapa penting? Karena AI sekarang udah dipake di bidang yang sensitif banget, kayak hukum, penemuan obat, bahkan persiapan pajak. Satu kesalahan bisa bikin kerugian gede.

Di dunia hukum, AI bisa bantu nyari preseden atau draft kontrak. Tapi kalau ada bug, klien bisa kena denda atau malah kehilangan kasus.

Di pharma, AI dipake buat prediksi molekul yang potensial. Satu prediksi keliru bisa bikin riset terbuang jutaan dolar, atau yang lebih parah, bahaya kesehatan.

Kalau urusan pajak, AI bantu hitung pajak yang harus dibayar. Kesalahan di sini bikin wajib pajak kena audit atau malah harus bayar denda besar.

Pramaana ngasih solusi dengan memeriksa semua jalur logika AI secara matematis, memastikan tiap outputnya konsisten dengan aturan yang udah ditetapkan.

Mereka pakai bahasa pemrograman khusus dan model matematika yang udah terbukti di industri kritis. Jadi, AI yang mereka verifikasi bakal lebih “trustworthy”.

Timnya juga gabungan antara pakar AI, ilmuwan komputer, dan praktisi hukum serta farmasi. Kombinasi ini bikin mereka ngerti betul apa yang dibutuhin tiap sektor.

Dengan dana $27 juta, mereka rencananya bakal rekrut lebih banyak engineer, upgrade infrastruktur, dan mulai pilot project bareng firma hukum dan perusahaan biotech.

Intinya, kalau kamu kerja di bidang yang gak boleh salah, AI yang udah diverifikasi formal kayak yang Pramaana tawarkan bisa jadi senjata rahasia kamu.