AIが数学の証明を自動化する時代に、人間の「理解」というインフラが崩壊しつつある

Automation Without Understanding

AIが研究レベルの数学を生み出し始める一方、米国では数学を理解できる人材を育成するパイプラインが弱体化している。本稿は、この二つの進展が重なることで戦略的誤りが生じると論じる。数学的能力（証明を検証し、解釈し、挑戦する訓練された能力）は、定理を生み出す副産物ではなく、世代を超えて構築されるインフラであり、必要に応じて再構成できるものではない。2026年5月にAIがエルデシュ予想の一つを反証した事例と、連邦政府による数学支援の縮小を挙げ、数学的能力を半導体と同等の戦略的資産と見なすべきだと主張する。さらに、重要な推論を行うAIシステムに対し、決定に重要な主張を形式的で機械検証可能な形で公開することを提案し、AIの推論の一部を不透明な説得から監査可能な構造へと変換する。