《连线》报道，&Truth以7000万美元种子轮融资启动，加入利用AI自动化形式化软件验证的初创公司行列。形式化验证通过数学方法证明软件按预期运行，但《连线》形容这一过程十分繁琐。