数学は証明だけではない、それ以外の部分をもっと称賛する必要がある

数学は証明だけではないなら、その残りをより称賛する必要がある

（これはGrant Sandersonによるゲスト投稿です。このブログ記事は当初、異なるファイル形式で書かれ、AIによって変換されました。 — T.）

現在、数学コミュニティ全体に響き渡っている感情は、問題解決や証明の生成は、数学者の真の目標である人間の理解を深めることの代理に過ぎないということです。理解なしに証明が生成できる場合、それは代理としての価値を損ないます。

これはすぐに疑問を投げかけます。代わりにどのような代理を使用すべきでしょうか？

私は、「動機付けられた説明（motivated explanation）」という概念をより強固に定義し、新しい、説得力のある動機付けられた説明に、歴史的に未解決問題の新しい証明を生成することと同様の学術的評価を与えることを提案したいと思います。

［画像: 数学の概念を視覚的に説明するグラフ］

さらに、これは数学界の外の人々が数学者が何に貢献しているのかをよりよく理解するのを助けるための重要な一歩だと信じています。外部の人々が、証明生成マシンが数学者を時代遅れにすると信じている一方で、内部の人間がそれを研究者が加えるものの誤解だと見ているなら、コミュニティはそれが報いる仕事を通してその真の価値をよりよく投影する責任があります。最も称賛される仕事が証明の生成に大きく偏り、明確化や解説が二流として扱われるなら、外部の人はこの誤解を許されるでしょう。

まず、明白な個人的な偏見を認めなければなりません。私は数学において非伝統的なキャリアを持ち、トピックに関するビデオ制作に焦点を当てています。これは「人間の理解を深める」という目標を共有していますが、私の焦点は、未解決の問題を解決することではなく、一般の人々に響く説明と直感にありました。皮肉屋は、この提案をあからさまな自己賛美として読むことができます。

しかし、実用的な問題として、私自身のキャリアと資金は学術界の外にあり、このコミュニティが何を評価するかについて私は何も利害関係がありません。さらに、動機付けられた説明の地位を高めることを提案するにあたり、大衆化を意味するのではありません。それは、たとえその主題を理解するために深い専門知識が必要であっても、「それをどう考え出すか？」という問いに主に答えることを目指すあらゆる仕事です。

以下に挙げる例は、これが新しいものではないことを示しています。実践的な数学者はすでにこの種の仕事にかなりの精神的エネルギーを費やしています。ここでの提案は、主に1) この仕事をより明確に定義すること、そして2) その地位を高めることです。

動機付けられた説明とは何か？

この「動機付けられた説明」という言葉が意図する意味は明らかかもしれませんが、証明と比較して簡単に説明する価値があります。

証明では、定義は最初に置かれます。新しい構成から始めて、その性質を分析していくのが一般的で期待されることです。

動機付けられた説明では、定義は中間に置かれます。新しい構成は、それが対処している問題が明確に確立されている場合にのみ語彙に入れることができます。

証明では、すべての命題は正しくなければならず、各主張はそれ以前のことから必然的な帰結として従います。

動機付けられた説明では、完全には正しくないアイデアから始めて、修正が必要であっても、その起源が共感できるものであれば、それは許容され、しばしば望ましいことです。

私が好む動機付けられた説明の一種は、マイケル・ニールセンが造語した「発見フィクション（discovery fiction）」です。あなたは、問題に対する単純だが間違った解決策から始まる物語でアイデアを発展させ、それがどこで破綻するかを見て、その問題を修正し、新しい問題を発見し、そして続けます。

証明の範囲は、特定の定理がなぜ真であるかを説明することです。

動機付けられた説明の範囲は、定理がなぜ真であるかを明確にするだけでなく、なぜその定理がそもそも提起されるべき正しい定理なのか、そしてそれが周囲の文脈でどのように使用されるのかを説明することです。

動機付けられた説明の明確な欠点は、その妥当性が証明のように二値ではないことです。これは証明が進行状況を測定するのに非常に役立つ大きな理由です。何に証明があるかないかを明確に定義できます。動機付けられた説明のためにLean（証明支援系）が作られることは決してないでしょう。

もし私たちが人間の理解を進めるという目標に真剣であるなら、この目標は証明を見つけるという目標よりも本質的に曖昧であるという事実に、他に道はありません。なぜなら、人間の理解そのものを定義することは、より曖昧だからです。より主観的な指標を避けることは、この分野のより人間的な側面を避けることを意味します。

私が「明快な」や「分かりやすい」といった他の選択肢ではなく、「動機付けられた」という言葉に頼っている理由は、それがより検証可能な特性だからです。証明ほど厳密に検証可能ではありません。ほとんど何もそうではありません。しかし、それは実用的な尺度としては十分です。私自身の仕事では、「これを自分で発見できたように感じてほしい」というフレーズを繰り返すことがよくあります。これは視聴者をなだめるためだけでなく、説明が完了したように感じるかどうかを評価するための実行可能なガイドラインとしてです。導入される新しいアイデアごとに、そのアイデアがどこから来たのかが明確かどうかを尋ねることができます。答えは完全な二者択一の「はい」か「いいえ」ではありませんが、実用的な目的には十分です。

動機付けられた説明の模範例

動機付けられた説明の最も優れたリポジトリの1つは、『Princeton Companion to Mathematics』のパートIVだと思います。これは2ダース以上の活発な研究分野をカバーしており、それぞれが明瞭なコミュニケーションの才能を持つ専門家によって紹介されています。

アンドリュー・グランビルが解析数論を説明する場合でも、デイビッド・ベン-ズヴィがモジュライ空間を紹介する場合でも、これらの記事は、黒板での1対1の会話で通常見られるよりも高いレベルの直感と動機付けを提供します。

この本の背景は、現在の議論にとって注目に値します。それはティモシー・ガワーズによって編集され、彼はブラディ・ハランとのNumberphileポッドキャストでのインタビューでそれについて議論しています。フィールズ賞が彼の人生にどのような影響を与えたか尋ねられたとき、彼はこう言いました。

フィールズ賞を受賞した人々は、少し違うことをする自由を感じます…例えば、私は『Princeton Companion to Mathematics』という本の編集を引き受けましたが、それは絶対に巨大な仕事でした。私の労働時間の半分を約5年間費やしたと推定できます…それは私が信じていたプロジェクトであり、おそらくフィールズ賞受賞者でなければ、それをやる機会は与えられなかったでしょう。

彼はそれに信じる価値があると考えていました。この仕事は数学分野に計り知れない価値を加えていますが、それに取り組むためにフィールズ賞が必要であるというのは、私には残念なことです。

証明を書くのに例外的に才能があったもう一人の人物であり、その貢献は証明をはるかに超えていたのは、ビル・サーストンです。彼の当然ながら有名なエッセイOn Proof and Progress in Mathematicsは、LLMの30年前に書かれたにもかかわらず、「数学者が何を達成するか？」という問いの正しい枠組みは、「数学者は数学の人間理解をどのように進めるか？」と尋ねることだと示唆することから始まります。

今日の状況と驚くほど共鳴するセクションがここにあります。

コンピュータの急速な進歩は、コンピュータと人間は非常に異なるため、この点を劇的に示すのに役立ちました。例えば、アペルとハーケンが大規模な自動計算を用いて4色定理の証明を完成させたとき、それは多くの論争を呼びました。私はその論争を、定理の真実性や証明の正しさに対する人々の疑いとはほとんど関係がないと解釈します。むしろ、それは定理が真実であるという知識に加えて、証明の人間的な理解への継続的な欲求を反映していました。

より日常的なレベルでは、コンピュータに初めて取り組む人々が、手作業でより小さな規模で行ったかもしれないことの、大規模な計算を行うことは一般的です。彼らは最初の10,000個の素数の表を印刷するかもしれませんが、その印刷物が実際には望んでいたものではないことに気づくかもしれません。彼らはこの種の経験を通して、彼らが本当に望んでいるのは通常「答え」のコレクションではなく、理解であることを発見します。

エッセイ自体は、証明を生成することを超えた数学の実践が何であるかの美しい表現を提供しています。私は、彼が最後に書いていることにあなたの注意を引きたいと思います。

私は、定理を証明することと同じくらい価値があると考えている、クレジットにならない活動に多くの努力を注いできました。数学政治、私のノートを高い水準のコミュニケーションを持つ本に改訂すること、数学におけるコンピューティングの探求、数学教育、ジオメトリセンター（例えば私たちの最初の実験、「Not Knot」ビデオ）を通じた数学コミュニケーションのための新しい形式の開発、MSRIのディレクションなどです。

再び、なぜこれらの「クレジットにならない活動」がフィールズ賞の後であるべきで、それに貢献しないのでしょうか？

個人的な話として、彼が言及したジオメトリセンターからの製品の1つは、私が若い頃に特に意味のある影響を与えました。それはOutside Inという短い映画で、おそらく球体反転のサーストン自身の構成の鍵となるアイデアを視覚化する、実質的な数学に関する最初のバイラルビデオの例でしょう。

反転が存在することを示したオリジナルの証明、例えばスマールのものは、0から1に進むという意味で人間の理解を進めます。この種のビデオは何百万人もの人々をその根底にあるアイデアに関与させることで、1からNに進むという意味でそれを進めます。サーストンがこの「クレジットにならない活動」に多くの時間を費やしてくれたことに感謝しています。

もう一つ関連する論文は、ティモシー・チョウのA beginner’s guide to forcingです。この論文自体は動機付けられた説明の優れた例を提供しているだけでなく、その導入部はそれに関する有用な語彙を提供しています。

すべての数学者は未解決の研究問題という概念に精通しています。私はあまり知られていない「未解決の解説問題（open exposition problem）」という概念を提案します。未解決の解説問題を解決するとは、数学的な主題を完全に明快にする方法で説明することを意味します。各ステップは動機付けられ、明確であるべきです。理想的には、学生は自分たちもその結果に到達できたはずだと感じるべきです。

これらの未解決の解説問題が、未解決の研究問題と同様に扱われるとしたら、どのような姿になるでしょうか？極端なケースとして、未解決の解説問題のためのミレニアム懸賞問題のアナログを持つことがどのようなものか想像できるかもしれません。ある機関または研究者グループが、重要であると見なす数学的結果を正式に定義し、それらは技術的に証明が存在するにもかかわらず、まだ十分に理解されていません。現時点では、AIによって生成されたすべての証明は、未解決の解説問題として生まれています。そのため、今後数年間でそれらが洪水のように押し寄せる可能性が高く、どれが焦点を当てるべき価値があるかをリーダーが明確にすることが価値があるでしょう。

解決策が重要な未解決の解説問題を構成するもののためのルーブリックが合意される必要があります。これも、証明の検証よりも本質的に主観的ですが、数学のより人間的な側面との真剣な関与は、必然的にこの種の主観性に踏み込むことになります。そして再び、鍵となるアイデアが動機付けられているかどうかをチェックすることは、証明のステップが論理的に従っているかどうかをチェックすることと似ていないことを強調します。

数学界の外の世界が、その主要な人物が未解決の解説問題に未解決の研究問題と同じ真剣さで取り組むのを見るなら、それは数学者としての役割についての誤解を正すのに大いに役立つでしょう。

最後に強調したいのは、将来をよりよく予見させる可能性のある例です。

今年の4月、リアム・プライスはエルデシュ問題1196、しばしば漸近的原始集合予想と呼ばれる問題に対する解決策を提出しました。その解決策は、プライスがGPT-5.4 Proと対話したことから生まれました。多くの以前のエルデシュ問題がAIの助けを借りて解決されたのとは異なり、これはその分野の人々が重要かつ捉えどころのないものだと見なしていた問題です。最近ではこのような話はますます一般的になっていますが、この物語のこの時点では、技術的には証明が存在するにもかかわらず、人間の理解はまだそれほど進んでいませんでした。

その証明はナット・ソタナパンとジャレッド・リヒトマンの手に渡り、彼らはAIのアプローチが何であったかを解釈し、証明を人間が読める形に整理することができました。5月には、ボリス・アレクセーエフ、ケビン・バレット、ヤンヤン・リー、ジャレッド・デューカー・リヒトマン、リアム・プライス、ジブラン・イクバル・シャー、クアンユ・タン、テレンス・タオが、証明の根底にある鍵となるアイデアを拡張した論文を発表しました。著者たちは、その鍵となるアイデアが元の問題だけでなく、その周りの多くの問題（例えば、エルデシュ原始集合予想のよりクリーンな証明を提供するなど）をどのように明確にしたかを説明しました。

ここでの価値は、もう一つエルデシュ問題が解決済みとしてチェックオフされたことではありません。価値は、原始集合に関する私たちの理解が、2026年初頭よりも著しくクリーンで満足のいくものになったという事実にあります。元の問題の解決策はこれにいくらかの役割を果たしましたが、おそらくより称賛に値するのは、その鍵となるアイデアを拡張、明確化、文脈化したこの論文でしょう。

実用的な行動喚起

実用的なレベルで、動機付けられた説明の地位を高めることはどのような姿になるでしょうか？以下にいくつかの提案を挙げます。

• 博士課程の指導教員は、新しい学生に分野の小さな問題を解かせることはできますが、成果物はその解決策を書き上げることではなく、その解決策を同僚や教員に発表する講演として行うことでしょう。それは、明確さが欠けている既に解決された問題であるかもしれませんし、あるいは解決策が欠けている問題で、学生がAIを使って見つけるのを助けるかもしれません。いずれの場合も、学生は特定の日にそれを説明するのに十分なほど理解する必要があり、望ましい成果は他の人もそれを理解することであると知っています。要するに、小さな問題でさえ、小さな博士論文のように扱われる可能性があります。
• 著名な人物（咳、テリー、咳）が、ヒルベルト問題の現代のアナログを列挙し、未解決の解説問題に特に焦点を当てること。どの分野が重要であり、かつ私たちが望む深い理解に欠けているでしょうか？
• 書面による基準が、動機付けられた説明が何を構成するかを明確にし、証明とほぼ同等の検証可能性を目指すことで、未解決の解説問題の解決が、未解決問題の証明と同様の方法で認識され、称賛されるようにすること。
• ジャーナルが、数学コミュニティ全体で結果がより広く理解されることに、より明確に焦点を当てるように設立されること。Mathematical Discourseは、この方向での興味深い新しい例を提供しています。
• 採用および終身在職権の決定において、優れた教科書や同様の仕事を書くことに、より高い価値を置くこと。AMS Steele Prize for Expositionを考えてみてください。ただし、より細かいスケールで、この種の早期キャリアの貢献に焦点を当てたものです。

目に見える文化変革の価値

数学における目に見える文化変革が、キャリアとしての数学の外部イメージに関して、今まさに内在的な利益をもたらすという、より広範なアピールで締めくくりたいと思います。

この分野に情熱を注いでいる多くの若い学生が、証明生成マシン時代の不確実性から、現在それを追求することを恐れています。しかし、正しく枠付けられれば、これは分野に入るのに最もエキサイティングな時期の1つです。なぜなら、分野が柔軟であり、将来の姿を積極的に形作るチャンスがあるときに、その分野に入ること以上にエキサイティングなことは何もないからです。AIが私たちの理解を助ける潜在的な利益を完全に脇に置いたとしても、若い将来の数学者は、分野全体がどのようなものになるかを決定する上で真の役割を果たす可能性のある歴史上のユニークな時点で参入していることを知って、活気づけられるべきです。

しかし、このような変化は、それが意図的であると感じられるときにのみエキサイティングであり、あなたの制御外の力によって駆動されているように見える場合は恐ろしいと感じられます。そのため、分野のリーダーからの分野を定義し明確にするのを助けるための具体的な行動は、若い参入者に対して、誰が主導権を握っているのか、そしてキャリアの地位が証明を生成するエンティティに依存しないことを保証するでしょう。

同様に、これも数学に資金を提供するのに最も良い時期の1つだと信じています。数学の次の章が「人間の理解」という二つの言葉の鼓動によって導かれるなら、これから起こるであろう変化は、公的な財としての数学の価値を増幅させる可能性が高いと思われます。