新上线29天前0 投票
Pramaana Labs 获 Khosla Ventures 领投 2700 万美元种子轮，用形式化验证让 AI 更可靠
随着企业将 AI 从试点推向生产，可靠性成为关键挑战。Pramaana Labs 宣布获得 2700 万美元种子轮融资，由 Khosla Ventures 领投，Accel、BoldCap、Nexus Venture Partners、Premji Invest 和 Unbound 参投。该公司将形式化验证（formal verification）与 LLM 结合，专注于法律、药物发现和税务准备等高风险领域，确保 AI 输出可验证、可追溯。其方法基于开源语言 LEAN，通过领域专家构建确定性验证层，将规则编码化，从而减少幻觉与错误。创始人 Ranjan Rajagopalan 表示：“每个错误会危及健康、金钱或自由的领域都有规则，现在只需将这些规则形式化。”
