コード生成は指数関数的に拡大していますが、検証はそれに追いついていません。 この会社は現代ソフトウェア工学における最も難しい課題の一つ、すなわちAIが書いたコードが実際に機能することを証明することに取り組んでいます。