フィールズ賞数学者のAI警告に署名しなかった理由

要約

数学者のGowersは、25人のフィールズ賞受賞者が署名したAIへの警告文に署名しなかった。問題解決を概念理解の単なる手段とみなし、AIが真偽判定を大量生産すれば数学の土壌を壊すという主張に、十分には同意できないからだ。問題解決を重視する数学者と概念理解を重視する数学者は連続体上に存在し、どちらかを正しい態度とすべきではないと論じた。AIが数学者を上回る速度で定理を証明すれば、消化されない成果は増える一方、専門分化やAIによる俯瞰・補助によって理解される成果も増え得る。Gowersの懸念はAIの能力より、成果を検証・統合する数学界の社会構造が壊れ、代替されないことにある。