>>25
原理的には限界がある。
LEAN+AIでやっても、バグがあるかどうかは、そのシステム自身は判断ができない。
ゲーテルの不完全性定理
外部のより強固なシステムで、ってやったとしても、いたちごっこで同じ
ゲーテルの不完全性定理