Pramaana Labs 筹集 2700 万美元种子轮融资，由 Khosla Ventures 领投，旨在将形式化验证引入人工智能
内容摘要
Pramaana Labs 宣布获得由 Khosla Ventures 领投的 2700 万美元种子轮融资。该公司致力于通过结合大语言模型与形式化验证技术（使用开源编程语言 LEAN），来解决 AI 系统中存在的幻觉和错误问题。Pramaana 的解决方案针对法律、税务和药物研发等对准确性要求极高的领域，通过引入确定性验证层，确保 AI 的输出符合特定的逻辑规则与专业标准。
(来源：TechCrunch)