インド政府は、AI技術を活用した新たなマルウェア対策を発表しました。しかし、コンピュータサイエンスにおけるライスの定理により、完全な防止は数学的に不可能であるとしています。
マルウェアは1982年にApple IIコンピュータ上で初めて発見されて以来、継続的な脅威であり続けています。ライスの定理によれば、あるプログラムが悪意を持っているかを完全に判断するプログラムを作成することは理論的に不可能です。これはプログラムの行動が何をするかに依存しており、その行動を予測することが不可能であるためです。
さらに、マルウェアは検出を避けるための巧妙な技術を常に使用しています。ポリモーフィックやメタモーフィックなマルウェアは、暗号化やコードの書き換えを行い、検出を回避することができます。これにより、今日疑わしいとされる行動が明日には正当とされる可能性があります。
現代のアンチウイルスソフトウェアは、既知のマルウェアパターンの検出、行動監視、サンドボックスの使用などで多くの脅威を捕捉していますが、ライスの定理によれば、100%の保証はできないということです。理論上のスーパーインテリジェンスが存在するとしても、完全な防止は不可能です。
将来的には、検出不可能なマルウェアが制御不能なAGIを止めるために使用されるかもしれません。これはまるで映画のようです。