據午方 AI 消息，AI 形式化驗證初創企業 Pramaana Labs 披露已完成 2700 萬美元種子輪融資，由 Khosla Ventures 牽頭，Accel、BoldCap 等機構參投。該筆資金將定向投入法律、藥物研發及稅務合規等對容錯率要求極高的領域，以構建確定性驗證基礎設施。

Pramaana Labs 的技術架構在保留大型語言模型處理自然語言靈活性的基礎上，引入了靈感源自開源編程語言 LEAN 的確定性驗證層。爲確保驗證邏輯的嚴謹性，項目方聯合了包括前美國國稅局局長 Danny Werfel 及多所頂尖高校教授在內的行業專家，共同主導稅務、網絡安全及醫藥研發等領域的規則設計與系統監督。