陶哲軒氏、AI数学競争で大量証明を「有毒廃棄物」と批判

フィールズ賞受賞の数学者テレンス・タオ氏は、オブザーバー紙のインタビューで、オープンエーアイやアントロピックなど人工知能企業が、未解決数学問題の証明を大量に公開していることに懸念を示した。氏は未整理の証明を有毒な廃棄物と呼び、数学者に検証・理解・理論化の過大な負担が生じると警告した。十月二十二日付ネイチャーでは、解答の量より理解を重視する第二の数学時代を提唱した。 タオ氏は、オープンエーアイがミレニアム懸賞問題の一つナビエストークス問題に最優先で取り組み、多数の人工知能エージェントや巨額資金を投入したと主張した。同社は一部報道を否定しつつ、数学研究は長期の科学課題とし、検証支援に資金を提供する方針を示した。九月に公表された関連証明には誤りの疑いも残り、人工知能成果の数学的妥当性はなお不透明だ。 一方、アントロピックは数学者に報酬を支払い、証明の整理を委ねている。だがモデルの利用権限が研究機会の格差を生む懸念も浮上した。氏は人工知能を否定せず、言語モデルや複雑形状の記述など、新たな問題を生む道具として評価した。数学は答えの発見より理解に価値があり、競争と整理負担の分離を避けるため、協力・検証・説明を軸にした研究文化が必要だと訴えた。