AI+商业#AI##AI商业洞察#
【美国AI合规初创公司Pramaana Labs获2700万美元种子轮】
近日，AI形式化验证企业Pramaana Labs完成2700万美元种子融资，由Khosla Ventures领投。公司主打数学校验AI输出，解决大模型幻觉、输出失真问题，面向法律、药物研发、税务等高容错垂直领域。

产品底层结合大模型与确定性数学校验层，依托LEAN验证编程语言搭建行业专属核验系统，聘请前国税局前专员、印度理工、伯克利学者搭建领域规则库。创始人表示各行业存在固定成文规则，将规则代码化即可约束AI输出，杜绝错误结论。当下企业AI试点落地困难，核心痛点是模型输出不可靠，出错成本极高。

传统LLM无逻辑校验，难以用于高风险专业工作。Pramaana区分通用生成与严谨推理，自动核验AI内容真伪，出具溯源审计记录。融资资金用于拓展医药、网络安全赛道落地，为企业AI应用搭建安全底层，降低行业落地风险，精准解决AI商用可靠性难题。@智谱AI @百川智能 @商汤科技SenseTime @Questyle旷世之声 @百度云战略 @阿里云 @腾讯云 @腾讯研究院 @Kimi智能助手 @清华大学人工智能国际治理研究院