2026年6月，AI可靠性技术初创企业Pramaana Labs宣布完成由Khosla Ventures领投的2700万美元种子轮融资，本轮资金将全部用于形式化验证技术在AI场景的商业化落地，首批将优先覆盖法律、药物研发、税务筹划等高敏感垂直领域，解决该类场景下AI决策错误成本过高、可靠性需求突出的行业痛点。
随着大模型技术在各行业的渗透深化，AI输出的可靠性问题正在成为其进入高价值敏感场景的最大门槛。不同于营销、客服等容错率较高的消费级场景，法律、药物研发、财税等领域的AI输出一旦出错，轻则造成数百万美元的经济损失，重则可能引发合规风险、威胁用户生命安全。
目前行业通用的大模型对齐、抽样测试方案，只能降低出错概率，无法100%排除风险，原本应用于航空航天、芯片设计领域的形式化验证技术，因此成为AI可靠性赛道的新热点。
登录后解锁全文，体验收藏、点赞、评论等完整功能
立即登录
滇公网安备 53252802528133号