一回形式化しちゃえばエージェントが膨大なCoTを実行しながら検証するから
完璧じゃんというのが素人の誤解ってことだけは注意しとくぞ
これは数学というより広い情報科学的問題に位置付けられるが、客観的な欠陥だ