クリス・シュー氏、AIでソフトウェア形式検証が数年から数時間に

1. 1AI支援による形式化でソフトウェア形式検証のコストが急落し、数年かかっていた作業が数日・数時間で可能になっている。
2. 2キロメートル・キャピタル創業者のクリス・シュー氏は、AIが仕様書作成と証明構築のボトルネックを自動化すると述べる。
3. 3同氏は、確信が経済的に可能になれば必然になるとし、証明可能なソフトウェアが基盤インフラになると見ている。

出典 Exec Edge +1 · 原文を見る ↗

本日のAIピック5銘柄をすべて無料公開

隠さずに、過去のピックの成績(S&P500対比)まで그대로お見せします。

本日のピックを見る →