据午方 AI 消息，AI 形式化验证初创企业 Pramaana Labs 披露已完成 2700 万美元种子轮融资，由 Khosla Ventures 牵头，Accel、BoldCap 等机构参投。该笔资金将定向投入法律、药物研发及税务合规等对容错率要求极高的领域，以构建确定性验证基础设施。

Pramaana Labs 的技术架构在保留大型语言模型处理自然语言灵活性的基础上，引入了灵感源自开源编程语言 LEAN 的确定性验证层。为确保验证逻辑的严谨性，项目方联合了包括前美国国税局局长 Danny Werfel 及多所顶尖高校教授在内的行业专家，共同主导税务、网络安全及医药研发等领域的规则设计与系统监督。