要約:
ニューヨーカー誌は最近、人工知能が 2026 年に基礎数学の世界にもたらす激しい衝撃を記した特別記事を掲載しました。OpenAI と Anthropic が数世紀前の数学的問題を次々と解決する中、フィールズ賞受賞者のテレンス タオ氏と多くの一流の学者は学術界に対し、ブレーキを踏み、人間の数学的直観と学術生態が計算能力の急増によって破壊されることに警戒するよう呼び掛け始めています。
「ミレニアム問題」は解決され、学術界は存続の危機に陥っている
今年 9 月 8 日、OpenAI は、100 万ドルの賞金が懸かる「ミレニアム賞問題」の 1 つである Navier-Stokes の存在と滑らかさの問題を克服したと発表しました。 3日後、51歳のテレンス・タオがカリフォルニア工科大学のステージに登場した。珍しく講義中に普段着ているシャツを脱ぎ、ジーンズと「神奈川沖浪裏」とプリントされた黒のＴシャツを着た。
「人生で最も奇妙な一週間を経験しました。」
彼は後ろにある粗末な PPT を指差し、自分自身を笑いました。いつもならAIを使って派手なプレゼンテーションをするのでしょうが、今回は最もベーシックなソフトウェアのみを使用しました。タオ・ゼシュアンさんを不安にさせているのは、規律の生態全体をコントロールできなくなることだ。 2026 年の初めから、GPT-5.2 Pro や Claude Fable 5 などの大型モデルが、数十年にわたって学界を悩ませてきた複数のエルデシュ問題やヤコビ予想を次々と解決してきました。 10月初旬、OpenAIは未解決の数学的問題に関する372件の新しい結果を一気にリリースした。ただし、AI が生成したこれらの回答には、派生の詳細が欠けていることがよくあります。学部生が一目で理解できる常識が満載だが、最も重要な論理の飛躍部分は数行しか書かれていない。数学ジャーナルには膨大な AI 論文が氾濫しており、投稿者は自分の論文を理解できない場合もあります。彼らは、自主的なレビューと検証のために無償で労働力を提供してくれる人間の数学者に全面的に依存しています。
「速度を落とさなければなりません。今の速度は異常です。」
Tao Zhexuan氏は、数学の世界は2025年までに「証明の不足」から「証明の溢れ」の時代に入ったと指摘した。数学の研究では、最終的な答えはそれほど重要ではないことが多い。この分野を真に前進させるのは、答えに至るまでの方法論の革新であり、今、新たな疑問が生まれる遅い思考プロセスが破壊されつつあります。ブラックボックス操作と大規模な株式発行ラッシュが国民の怒りを引き起こした
数学者は、圧倒的なコンピューティング能力に加えて、AI 巨人の閉鎖的なアプローチと悪質な競争にも深く悩まされています。
今年 8 月、人類数学者のレベント アルペルガー氏は、ソーシャル プラットフォームにプラスとマイナスの長い文字列を投稿しました。シドニー大学の数学者ジョディ ウィリアムソン氏は、数学の庭全体に除草剤が散布されたと感じています。これは、人間に「42」という究極の答えを与えながら、すべての思考プロセスを奪っているようなものです。
9 月のナビエ ストークス号のお知らせが羅生門になりました。 OpenAIの公式発表の前日に、ニューヨーク大学のトリスタン・バックマスター教授は声明を発表し、同氏とアルペルガー氏はOpenAIのパブリックモデルなどのツールの助けを借りてこの問題に関して大きな進歩を遂げたと述べ、数百万ドルの計算能力を費やしたOpenAIは1週間以内に解決策を完成させたと主張した。バックマスター氏は、OpenAI が彼の研究データをバックグラウンドで入手したのではないかと疑っていましたが、OpenAI はそれを否定しました。バックマスター氏は、OpenAIチームの責任者であるセバスチャン・ブーベック氏が、競合企業Anthropic社のアルペルガー氏を署名リストから外すことを条件に、同氏を論文の著者としてリストアップすることを申し出たと明らかにした。バックマスターがこれを拒否し、この件を公にしようとしたとき、なぜ自分のキャリアを台無しにしたいのか直接尋ねられた。
この論争をきっかけに、テレンス・タオと他のフィールズ賞受賞者 25 名が共同で公開書簡を発行することになりました。この書簡は、問題解決と洞察が切り離されつつあると警告した。 AI に過度に依存することは、空想、議論、深い思考を省略することと同じです。人間は将来、ますます理解できなくなるでしょう。
最も差し迫った問題は、次世代をどのように育成するかです
今年初め、Tao Zhexuan 氏は、OpenAI 幹部との会話や AI 数学プロジェクトの立ち上げへの協力により、メディアから AI の「伝道者」と呼ばれました。しかし今、彼は「認知的摩擦」の価値について口論している。同氏は現在の危機を、馬車に代わる自動車による都市の変革に例えた。都市では歩道は保存されなければなりませんし、すべての空間を車だけに変えることはできません。なぜなら、そのような都市には誰も住みたいと思わないからです。
Tao Zhexuan 氏の見解では、
現在最も差し迫った危機は大学院生をどのように訓練するかということです。
これまで大学院生は、中程度に難しいトピックを何か月もかけて勉強し、試行錯誤しながら数学者のように考えることを学ぶ必要がありました。今では、AI がそのような問題を数時間で解決できるようになりました。彼は数学の学習を妻と一緒にメロドラマ「エミリー・イン・パリ」を見ることに例えました。ストーリーはありきたりですが、面白さは満載です。数文のあらすじだけを視聴者に見せてしまうと、番組を見る意味が完全に失われてしまい、自分で映画を撮ることを学ぶことができなくなります。この「楽しみがなくなった」という感覚が学界に広がっています。 NFL のボルティモア レイブンズでプレーした MIT の数学者ジョン アッシャーは、ガウス消去法の問題を 10 年間研究しました。 AI に先を越されないように、彼は GPT-5.6 Sol と Claude Fable 5 の購読に月額 200 ドルを費やし、研究の手順を AI に入力し、最終的には正しいが非常に醜い証拠を入手し、その後手動で磨き上げて公開しました。結果は保存されましたが、アッシャーは、数学の最も魅力的な部分はまさに暗闇の中で手探りする苦労であり、すべての答えを直接書き出すのが最も退屈な部分であるため、まったく面白くなかったと率直に言いました。
しかし、古い世代の学者たちは依然として楽観的な見方をしています。ナビエ・ストークス問題の公式説明を書いた77歳のプリンストン大学教授チャーリー・フェファーマンは、OpenAIの証明が正しい可能性が高いと信じている。彼は数学をすることを「後悔してもいい悪魔のチェス」に例えた。たとえ愚かなアイデアが 1,000 個あったとしても、素晴らしいアイデアが 1 つあれば、あなたは優れた数学者です。過去には、成功率がわずか 5% のアイデアの中には、検証に一生を要したために諦めざるを得なかったものもあったと彼は考えています。わずか 2 日で結果をテストできれば、数学者はさらに勇気と想像力を持つようになるでしょう。
コメント