AI软件验证初创公司&Truth结束隐身并获7000万美元种子轮融资

AI软件验证初创公司&Truth宣布结束隐身研发阶段并获得7000万美元种子轮融资，试图用AI与数学证明技术实现软件安全性与正确性的自动化验证。公司以开源定理证明系统Lean和Mathlib为基础，通过Specification Factory将自然语言需求转换为形式化规格说明，希望把过去需要数月甚至数年的验证工作压缩至数小时或数分钟，但这些效率提升仍有待独立验证。