融资概况
致力于开发验证人工智能回答并减少错误系统的 Pramaana Labs 完成 2700 万美元种子轮融资。本轮由 Khosla Ventures 领投，Accel、BoldCap、Nexus Venture Partners、Premji Invest 和 Unbound 等机构跟投。
资金用途与核心定位
公司计划将资金用于开发及扩展基于 LEAN 的形式化验证系统，旨在提升 AI 在法律、税务、药物发现及网络安全等容错率极低领域的输出可靠性。Pramaana Labs 专注于上述可能因错误答案产生严重后果的行业，确保 AI 系统安全运行。
技术原理
该公司核心理念并非替换大语言模型，而是在其之上叠加可经数学验证的控制层。该控制层借鉴 LEAN 等形式化系统，负责审查模型生成内容是否符合特定规则与逻辑体系，从而有效降低 AI 幻觉风险。
Pramaana Labs 由 Ranjan Rajagopalan、Krishnan Raghavan 和 Sanjay Ganapathy 联合创立。