这笔融资将用于打造面向法律、药物研发和税务申报等容错率极低领域的确定性AI验证层，Accel、BoldCap、Nexus Venture Partners、Premji Invest和Unbound亦参与投资。
Pramaana Labs表示，公司已完成由Khosla Ventures领投的2700万美元种子轮融资，Accel、BoldCap、Nexus Venture Partners、Premji Invest和Unbound参与投资。这家初创公司正在为AI构建一套确定性验证层，目标应用于法律、药物研发和税务申报等不容出错的行业。该公司称，该系统将在传统大语言模型之上采用LEAN风格的形式化验证机制，凸显出投资者对提升AI准确性与问责性的工具日益浓厚的兴趣，尤其是在AI失误可能带来重大后果的场景中。