ゲーデルは数学の限界を証明した。AIはその警告を無視している

Infinities, impossibilities, and the man in the white linen suit

数学者クルト・ゲーデルは、数学自体が完全に自己説明できないことを証明した。その理論は、AIを含むあらゆるルールベースシステムの構造的限界を示す。本稿は、ゲーデルの不完全性定理とチューリングの停止問題が、現代のAI開発に与える示唆を探る。特に、自己改良型AI「Darwin Gödel Machine」が、ゲーデルが重視した形式的保証を、ベンチマークスコアという経験的検証に置き換えた点を指摘する。また、機械学習の学習可能性が数学的に決定不能であることを示した研究も紹介し、AIの限界を理解することの重要性を説く。