Pramaana融资2700万美元，利用数学解决AI幻觉问题
pramaana labs获得由khosla ventures领投的2700万美元融资，通过将大模型包裹在形式化验证中，利用lean代码使税务和法律等高风险领域的确定性推理成为可能。
Pramaana Labs 籌集了 2,700 萬美元的種子資金，由 Khosla Ventures 領投，Accel 和 BoldCap 參與投資，以通過將形式驗證方法與大型語言模型相集成來解決 AI 可靠性問題。該初創公司採用雙層架構，其中傳統的大型語言模型處理自然語言處理，而使用 Lean 等語言的確定性驗證層則在數學上證明輸出正確。Pramaana 針對稅法、網絡安全和藥物發現等具有編碼規則的垂直領域，與包括前美國國稅局局長 Danny Werfel 和 IIT Delhi 及 UC Berkeley 的教授在內的領域專家合作，以形式化這些複雜系統。這種方法試圖解決目前阻止企業在高風險環境中部署 AI 的幻覺問題。