証明はしてない
証明したって言い張ってるだけの宣伝素材
人間だと査読というデバッグができるが
AIやらleanやらは自己申告のみでバグが不明