Pramaana Labs 获得 2700 万美元种子轮融资,Khosla Ventures 领投,致力于将形式验证应用于人工智能

Pramaana Labs 宣布获得 2700 万美元种子轮融资,领投方为 Khosla Ventures,计划开发一种确定性验证层,用于大型语言模型。公司使用 LEAN 编程语言,对 AI 输出进行形式化、数学证明,目标应用领域包括法律、税务和药物研发。该资金将用于构建验证基础设施。

本文综合以下全部报道写成，而非依据任何单一来源。

本页由机器翻译生成，原始报道为其原文语言。