Pramaana Labs 籌得 2700 萬美元種子輪資金，致力於將正式驗證技術匯入 AI
為何重要
透過引入形式驗證技術，有助於解決大型語言模型在關鍵任務中的不可靠與不安全性，推進 AI 進入高敏感產業。
總部位於加州的 Pramaana Labs 宣佈獲得 Khosla Ventures 領投的 2700 萬美元種子輪資金。該公司計畫利用正式驗證（formal verification）技術來確保 AI 系統的可靠性和安全性，特別是針對法律、藥物開發和稅務準備等誤差代價高昂的敏感垂直領域。