AI 写的代码出了事故谁负责，有人想从数学上解决？7000 万美元种子轮砸向「数学证明代码」：AI 安全新赛道杀出一批创业公司
据 Wired 报道，一批创业公司押注用 AI 把形式化软件验证变得实用，其中 &Truth 一成立就拿到 7000 万美元种子轮。
大白话形式化验证说白了就是用数学方法证明一段程序真的按预期运行，而不是靠人肉测试碰运气。这活儿过去又慢又贵，只有航空航天、芯片这类不敢出错的领域才用得起。现在一批创业公司想用 AI 把这套流程自动化，让它变成普通软件公司也用得起的常规操作。&Truth 是其中一家，刚亮相就宣布拿了 7000 万美元种子轮。
对你意味着如果你关心 AI 写出来的代码到底靠不靠谱、出了事故谁负责，这条赛道值得盯；对做金融、自动驾驶、医疗软件的公司更是直接相关。
据 Wired 报道，融资金额与公司信息来自媒体披露，官方细节尚未公开
打开巨象雷达，看今天全部 AI 动态