数学者のテレンス・タオと教育者のグラント・サンダーソンは、最近のゲスト投稿において、数学界が学術的な業績を評価する方法の転換を提案した。彼らは、問題の解決や証明の生成が歴史的に成功の主要な指標となってきた一方で、それらの活動は数学の真の目的である「人間の理解を深めること」に対する単なる代理指標に過ぎないと論じている。自動化システムが証明を生成する能力をますます高める中、著者らは、単に妥当性を確認するだけでなく、どのようにして数学的洞察に到達したかという問いに答える「動機付けられた説明」を、数学界がより積極的に称賛すべきだと示唆している。著者らは、動機付けられた説明を、問題が明確に確立された後にのみ定義が導入され、物語が共感しやすく反復的な発見を可能にするものと定義している。このアプローチは、抽象的な定義から始まり、論理的な必然性を経て進むことが多い伝統的な証明とは対照的である。著者らは、こうした解説的な業績の地位を高めることで、数学研究の価値を一般社会により良く伝え、証明生成マシンが人間の数学者を時代遅れにするという誤解を正すことができると考えている。これを実現するために、彼らは博士課程において、単なる問題解決よりも、明確で動機付けられた解決策の提示を重視するなどの実践的な変更を提案している。彼らは、『Princeton Companion to Mathematics』や故ビル・サーストンの業績といった既存の模範を、この種の貢献のモデルとして挙げている。また著者らは、数論における最近の進展にも触れており、エルデシュ問題1196のような問題のAI支援による証明は、人間の研究者がその根底にある考え方を明確にして初めて数学界に完全に統合されたと指摘し、真の価値は初期の証明そのものよりも、その後の文脈化にあることが多いと論じている。
この記事では、故ビル・サーストンを、数学者が単なる形式的な証明だけでなく、深い概念的な明晰さと動機付けられた説明を通じていかに数学界に貢献できるかを示す模範として取り上げている。