Perusahaan verifikasi formal AI Pramaana Labs mendapatkan pendanaan tahap awal sebesar 27 juta dolar AS, memperkenalkan pembuktian matematika LEAN untuk mengatasi ilusi

Menurut pemantauan Beating, perusahaan rintisan yang berfokus pada pengenalan verifikasi formal matematis ke dalam AI, Pramaana Labs, mengumumkan penyelesaian pendanaan tahap awal sebesar 27 juta dolar AS. Putaran pendanaan ini dipimpin oleh Khosla Ventures, dengan partisipasi dari Accel, BoldCap, Nexus Venture Partners, Premji Invest, dan Unbound. Dana tersebut akan digunakan untuk membangun lapisan verifikasi pasti untuk industri yang sangat sensitif dan tidak toleran terhadap kesalahan, seperti hukum, pengembangan obat, dan pelaporan pajak.

Sistem dasar Pramaana Labs masih menjalankan LLM tradisional untuk menjaga fleksibilitas dalam menangani masalah kompleks dan bahasa alami, tetapi inovasi utamanya adalah membangun lapisan verifikasi pasti di atas LLM. Mekanisme ini mengadopsi bahasa pemrograman open-source LEAN yang digunakan untuk memverifikasi teorema matematika, dan mengkodekan aturan industri spesifik ke dalamnya.

Untuk membangun sistem verifikasi formal bergaya LEAN yang disesuaikan dengan berbagai industri vertikal, Pramaana mengundang banyak ahli bidang untuk pengawasan dan pengesahan. Di bidang perpajakan, perusahaan sedang menjalin kerja sama dengan mantan direktur Internal Revenue Service (IRS) Amerika Serikat, Danny Werfel; sedangkan dalam bidang keamanan siber dan pengembangan obat, dipimpin oleh tim profesor dari Indian Institute of Technology (IIT) Delhi dan Madras serta University of California, Berkeley.