AIは数学者の「問い」を奪えるか——知性と発見の本質を問う

テーマ：機械が定理を証明できるとき、数学は何のためにあるのか？

2026年、数学の世界に静かな地殻変動が起きている。AIが流体方程式（ナビエ＝ストークス方程式）に潜む「隠れた破綻点」を発見したというニュースが研究者たちを驚かせた。AIが数学的真理を「探索」し始めた——この事実が突きつける問いは深い。数学とは何のためにあるのか。発見する喜びは、発見された事実に宿るのか、それとも発見する行為に宿るのか。

本文

1. AIが流体方程式の「亀裂」を見つけた

ナビエ＝ストークス方程式は、空気や水などの流体の動きを記述する偏微分方程式で、航空工学から気候科学まで応用される現代物理の根幹をなす。しかし「解が常に滑らかに存在するか」という問い——ミレニアム懸賞問題のひとつ——は20世紀から未解決のままだ。

2026年、研究者たちは専用訓練されたAIを使い、この方程式の数学が「破綻する可能性のある候補点」を新たに発見した。AIは人間が直観的に見逃してきた領域を膨大な計算空間の中から掘り起こした。これは証明ではない。しかし証明に向けた地図の新たな一角が塗り直された出来事である。

2. 2025年——数学の歴史的豊穣期

AIの台頭と並行して、2025年は数学史上に記録されるほどの発見が相次いだ。

• ヒルベルトの第6問題の主要ケース解決：物理法則を数学的に厳密に基礎づけようという20世紀初頭の大プロジェクトが、100年以上の時を経て前進した。
• 双曲面に関する新定理：位相幾何学の難題が突破された。
• 三次元ケイキャ予想の解決：「任意の方向に線分を指せる最小面積の形は何か」という直感と反した問いへの回答。

これらはいずれも人間の数学者が何十年も格闘した末の成果だ。しかし2026年以降、同様の成果の一部がAIによって生み出されるとしたら、私たちはそれを「同じ価値の発見」と呼べるだろうか。

3. 「驚き」から「懸念」へ——研究者が感じた感情の変化

Quanta Magazineの報告によれば、AIの数学的能力の急伸に対して数学コミュニティーが感じた感情は、当初の「驚き（shock）」から次第に「畏敬と懸念（wonder and concern）」へと変化したという。この変化は示唆的だ。

懸念の中心にあるのは、「なぜ数学をするのか」という動機の問いである。数学者の仕事の多くは、証明を「見つける」ことよりも「どんな問いを立てるべきか」を考えることにある。問いを定式化すること——これは人間の知的行為の核心であり、直観、審美的感覚、文化的背景、他分野との類推思考などが複雑に絡み合う。AIは与えられた問いの空間を高速で探索できるが、「その問いを立てるべきだ」と判断する根拠を自律的に持てるのかは、まだ未解決のままだ。

4. 哲学的系譜：「知ること」と「発見すること」の区別

この問いには哲学的な先例がある。

プラトンは知識を「正当化された真なる信念」と定義した。AIが証明を生成するとき、それは「正当化された真なる信念」か？AIに信念はあるか？この問いに答えるのは難しい。

より実践的なアプローチはラカトシュ（Imre Lakatos）の数学哲学にある。彼は著書『証明と論駁』で、数学の発展は厳密な論理の積み重ねではなく、推測・反例・再定義の弁証法的プロセスだと論じた。数学は社会的・歴史的な営みであり、問いの選択にはその時代の関心が刻印されている。

この観点からすれば、AIが問いを立てられないとすれば、それはプログラムの限界ではなく社会性の欠如によるものかもしれない。数学者は「世界がどうあるべきか」という価値観を持ち、そこから問いが生まれる。AIにはその意味での世界との関与がない。

5. 「補完」か「代替」か——二つの未来像

AI数学の行方について、二つの相反するビジョンが競合している。

補完の未来：AIは膨大な計算空間の探索と反例の検索を担い、人間は「なぜその問いが美しいか」「何が解決されると世界が豊かになるか」を問い続ける役割を担う。人間とAIが役割分担する共創モデル。

代替の懸念：AIが問いの生成も含めて自律化した場合、数学という営みから人間のナラティブが消える。証明は存在するが、誰もその意味を問わなくなる。これは知識の「無人化」とも呼べる事態だ。

現時点ではAIはまだ人間の問い立てを必要とする。しかし2025〜26年の急進展は、「補完の未来」から「代替の懸念」への距離が思ったより短いかもしれないことを示唆している。

さらに学ぶための3点

1. 書籍： イムレ・ラカトシュ『証明と論駁——数学的発見の論理』（共立出版） 数学がいかに社会的・歴史的な営みであるかを対話形式で論じた古典。AIと数学の議論を深める上で必読。

2. 記事： Quanta Magazine「The Biggest Breakthroughs in Mathematics: 2025」 2025年の数学的成果を概観する映像＋記事。AI関与の事例と人間主導の事例を比較するための基礎資料。 🔗 https://www.quantamagazine.org/videos/the-biggest-breakthroughs-in-mathematics-2025/

3. 論文： Roger Penrose「Is Mathematics Invented or Discovered?」（各種アンソロジーに収録） 数学的対象は「発見されるもの」か「発明されるもの」かというプラトン主義の古典的論考。AIが定理を導出する時代に改めて問い直す価値がある。

脚注

• ナビエ＝ストークス方程式：流体の粘性と運動を記述する偏微分方程式。1822年に定式化されたが、3次元での解の滑らかな存在証明はミレニアム賞問題（賞金100万ドル）のひとつとして未解決。
• ミレニアム賞問題：クレイ数学研究所が2000年に発表した7つの未解決数学問題。解決したのは現在までポアンカレ予想のみ。
• ケイキャ予想：d次元空間で長さ1の線分を任意の方向に向けられる集合の最小測度を問う問題。3次元の場合が2025年に解決された。