数学の終わり：AI時代に数学的進歩が停滞する未来

The End of Mathematics

OpenAIのワークショップで数学の未来について講演したDaniel Litt氏は、AIが数学で超人的能力を持つようになっても、数学的進歩が停滞する可能性を探る。2026年には数学論文の爆発的増加が見られる一方、MathOverflowの利用は減少し、AIによる重複研究が増加。2027年には数学者のキャリア戦略が conjecture のスロットマシンと化し、2028年には自動形式化が進むが、数学者と数学の乖離が進む。最終的に、既存の制度が適応しなければ、数学の持続可能な実践は危ういと警告する。