AI形式化验证公司Pramaana Labs获2700万美元种子轮融资，引入LEAN数学证明解决幻觉

据动察 Beating 监测，致力于将数学形式化验证引入 AI 的初创公司 Pramaana Labs 宣布完成 2700 万美元种子轮融资。本轮融资由 Khosla Ventures 领投，Accel、BoldCap、Nexus Venture Partners、Premji Invest 及 Unbound 参投。资金将用于为法律、药物研发、税务申报等高敏感且对错误零容忍的行业，构建确定性验证层。 Pramaana Labs 的系统底层仍运行传统的 LLM，以保持处理复杂问题与自然语言的灵活性，但其核心创新在于在 LLM 之上构建了一层确定性验证机制。该机制借鉴了用于验证数学定理的开源 LEAN 编程语言，将具体领域的行业规则代码化。 为了针对不同垂直行业构建 LEAN 风格的形式化验证系统，Pramaana 邀请了大量领域专家进行监督与背书。在税务领域，公司正与前美国国税局（IRS）局长 Danny Werfel 展开合作；在网络安全和药物研发系统方面，则由来自印度理工学院（IIT）德里与马德拉斯分校以及加州大学伯克利分校的教授团队主导。