Pramaana Labs huy động vòng Seed $27M cho xác minh chính thức AI với LEAN Proofs

Theo Beating, startup xác minh hình thức AI Pramaana Labs đã hoàn tất vòng seed trị giá 27 triệu USD do Khosla Ventures dẫn dắt, với sự tham gia của Accel, BoldCap, Nexus Venture Partners, Premji Invest và Unbound. Công ty sử dụng LEAN, một ngôn ngữ lập trình mã nguồn mở để xác minh các định lý toán học, nhằm xây dựng một lớp xác minh mang tính quyết định (deterministic) trên nền các mô hình ngôn ngữ lớn cho các ngành có mức độ rủi ro cao như pháp luật, phát triển dược phẩm và tuân thủ thuế.

Pramaana đang hợp tác với cựu Ủy viên IRS Hoa Kỳ Danny Werfel cho các ứng dụng về thuế và với các giảng viên từ IIT Delhi, IIT Madras và UC Berkeley cho các hệ thống xác minh an ninh mạng và phát triển thuốc.