>>135
途中送信

たとえばn項の数列{x_n}がある

これは

すべてのn∈N(自然数)なのか
それとも
あるn∈Nなのか

人間はこれを存在命題と認識するが
コンピュータはこれを全称命題として処理するだろう

たったこれだけでもバグが発生すると考えられる
AIの自動証明なんて無理だよ