克里斯·舒：AI将软件形式验证从数年缩短至数小时
GOOG Alphabet Inc
$343.83 +1.02%
查看图表与分析 → - 1借助AI辅助形式化，软件形式验证成本大幅下降，原本需要数年的工作如今可在数天乃至数小时内完成。
- 2千米资本创始人克里斯·舒表示，AI正在自动化规格编写与证明构建的瓶颈环节。
- 3他认为，一旦确证在经济上可行，便会成为必然，可证明软件将构成底层基础设施。
今日 5 只 AI 精选，全部免费公开毫不隐瞒，连过往选股相对标普 500 的成绩单也一并公开。