Pramaana Labs ระดมทุนรอบ Seed จำนวน $27M สำหรับการพิสูจน์ความถูกต้องเชิงรูปแบบของ AI ด้วย LEAN Proofs

ตาม Beating สตาร์ทอัปตรวจสอบความถูกต้องเชิงทางการด้วย AI อย่าง Pramaana Labs ได้ปิดรอบระดมทุนเมล็ดพันธุ์ 27 ล้านดอลลาร์ สหรัฐ โดยมี Khosla Ventures เป็นผู้นำ และมี Accel, BoldCap, Nexus Venture Partners, Premji Invest และ Unbound ร่วมลงทุนด้วย บริษัทใช้ LEAN ซึ่งเป็นภาษาโปรแกรมโอเพนซอร์สสำหรับการยืนยันเชิงคณิตศาสตร์ เพื่อสร้างชั้นการตรวจสอบที่กำหนดผลลัพธ์ได้อย่างแน่นอนบนโมเดลภาษาขนาดใหญ่ สำหรับอุตสาหกรรมที่มีความเสี่ยงสูง รวมถึงกฎหมาย การพัฒนายา และการปฏิบัติตามข้อกำกับดูแลด้านภาษี

Pramaana กำลังร่วมมือกับ Danny Werfel อดีตกรรมาธิการ IRS ของสหรัฐฯ สำหรับการประยุกต์ใช้งานด้านภาษี และกับอาจารย์จาก IIT Delhi, IIT Madras และ UC Berkeley เพื่อพัฒนาระบบตรวจสอบความปลอดภัยทางไซเบอร์และการพัฒนายา