克里斯·休：AI令軟體形式驗證從數年縮短至數小時
GOOG Alphabet Inc
$343.83 +1.02%
查看圖表與分析 → - 1借助AI輔助形式化，軟體形式驗證成本大幅下降，原本需時數年的工作如今可在數日乃至數小時內完成。
- 2千米資本創辦人克里斯·休表示，AI正在自動化規格撰寫與證明建構的瓶頸環節。
- 3他認為，一旦在經濟上可行，確定性將成為必然，可證明軟體將成為基礎設施核心。
今日 5 檔 AI 精選，全部免費公開毫不隱瞞，連過往選股相對標普 500 的成績單也一併公開。