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 的幻覺問題。