AIが数学をする時代に数学者であることの意味

この記事は、AI時代における数学的作業の性質の変化について考察している。元応用数学の博士課程学生である著者は、自身の苦労を振り返り、今では理解へと至る長い道のりの価値を理解している。これは純粋数学者が大切にする感覚である。Google DeepMindのAletheiaが査読付き研究を生み出し、OpenAIのシステムが組合せ幾何学における予想を反証したことなど、最近のAIの成果は、これまで人間特有と考えられていたタスクをAIが処理できることを示唆している。Isabelle、Lean、Rocqなどの証明アシスタントは、大規模言語モデルと組み合わせることで形式化を自動化している。ハイデルベルク・ローリエ・フォーラムでは、数学者をAIが取って代わる可能性について議論が交わされ、Yang-Hui He氏のように人間を「オラクルへの司祭」と見なす人もいる一方で、フィールズ賞受賞者のAkshay Venkatesh氏やMaia Fraser氏など、理解の人間中心的な価値と集合知の美しさを強調する人々もいる。Terence Tao氏は、人間とAIが協力する共同作業のアプローチを提唱している。