コードベース

AI形式検証の壁：既存コードベース

Wayne氏指摘：既存コードベースをAIに渡しても、前提条件を満たさなければ証明やバグは得られない。見落とされる重要な障害。