Tools

Pramaana Labs raih $27 juta seed dari Khosla Ventures untuk verifikasi formal AI

Sumber: TechCrunch AI 17 Jun 2026

Dengar Ringkasan

Audio AI dalam sebutan Bahasa Melayu Malaysia, berdasarkan ringkasan NadiAI dan sumber asal.

Ringkasan

Pramaana Labs mengumpul pembiayaan seed sebanyak $27 juta daripada Khosla Ventures untuk membawa verifikasi formal kepada sistem AI. Syarikat itu akan memfokuskan pada sektor sensitif seperti undang‑undang, penemuan ubat dan penyediaan cukai di mana kesilapan boleh mahal.

Kenapa Ini Penting

Pendekatan verifikasi formal boleh meningkatkan kebolehpercayaan AI dalam aplikasi berisiko tinggi, mengurangkan kesilapan yang berpotensi menimbulkan kos atau implikasi undang‑undang.