Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI

Pramaana Labs ได้รับเงินทุน 27 ล้านดอลลาร์สหรัฐฯ เพื่อพัฒนา AI ที่น่าเชื่อถือมากขึ้น โดยใช้หลักการ 'Formal Verification' ซึ่งเป็นวิธีการทางคณิตศาสตร์ในการตรวจสอบความถูกต้องของระบบ AI ทำให้ AI สามารถทำงานที่ละเอียดอ่อน เช่น งานด้านกฎหมาย การค้นคว้ายา และภาษีได้อย่างแม่นยำ ลดความเสี่ยงจากข้อผิดพลาดที่อาจเกิดขึ้น