数学におけるAI：天才か道具か？テレンス・タオが夜の偶像崇拝を抑える

50年間未解決の数学的問題をAIが解決したとき、見出しは爆発的に拡散する。しかし、問題は一つ：私たちは実際には単なる検索エンジンの改良版を崇拝しているだけだ。

最近、テレンス・タオ —数学におけるAI研究の最大の推進者の一人— は、集団の熱狂を一時停止させることに決めた。彼は会議ではなく、深夜にGitHubに投稿し、まるで数学コミュニティが燃え尽きる前に火を消そうとするかのようだった。彼のメッセージは明確だ：文脈を無視し続けるな。

誰も疑問を持たなかったおとぎ話

その物語は魅力的だ：「AIが数学者たちが何十年も解決できなかった問題を征服する！」AGIを夢見る人々にとっては音楽のようだ。人間の能力を擁護する人々にとっては、存在の脅威のように響く。

面白いのは、テレンス・タオはAIが役に立たないと言っているわけではないことだ。彼はもっと不快なことを言っている：私たちはリンゴとオレンジを比較している。

エルデシュの「解決済み」問題をAIが見たとき、あなたは問い直す必要がある：本当に解決されていなかったのか？それとも単に十分に記録されていなかっただけなのか？ウェブ上で「Open」とタグ付けされている多くの問題は、実はあまり見直されていない「低果実」に過ぎない。すでに文献に解答があったものもあれば、誰も更新しなかった曖昧な原文のままのものもある。さらに、AIが文字通りの解釈で「解決」したために、曖昧な原文のままの問題も存在する。

AIの本当の仕事：エンジニアリング、直感ではない

ここで面白いのは、テレンス・タオは成果を否定しているわけではないことだ。彼は「成果」の意味を再定義している。

AIは次の点で優れている：

• 体系的探索：膨大な問題空間をスキャン
• 形式的検証：証明をLeanコードに変換
• リライト：既存の議論を洗練
• ルーチン作業：既知のパターンを追従

しかし、AIが(まだ)やらないこと、それが真の数学を定義する：正しい質問を立て、新しい概念を創造し、結果を既存の知識網と結びつけることだ。

AIが生成する技術的に正しい証明は、多くの場合、文脈や動機、既存の文献との比較を欠いている。それはコンパスのない地図のようなもので、行き先がわかっていれば役立つが、新しい領域を発見する助けにはならない。

未来の数学者：戦略家であり、孤独な思想家ではない

ここでタオはバランスを見つける。これは「AI対人類」ではなく、「人類＋AI」だ。

未来の数学者は、よりエキサイティングではなく、ただ異なるだけだ。私たちは孤独な思想家から、静かな機械の軍隊の指揮官へと変わる。私たちがビジョンを示し、AIが道を切り開き、私たちが重要な問いを見極め、AIが答えを構築する。

テレンス・タオが夜間の投稿で止めようとしているのは、単純なことだ：孤立したケースの偶像崇拝。AIが弱いからではなく、過大評価が私たちの本当の仕事から目をそらさせるからだ。

呼びかけ：崇拝をやめて協力を始めよう

数学は常に協力的だった—人間同士、世代間、学問間で。AIがその会話の一部になるのは当然だ。しかし、革命的なツールも結局はツールに過ぎない。

今重要なのは正直になることだ：AIは実際にどんな問題を解決したのか？それらの問題はどれほど難しかったのか？それは学問にどんな価値をもたらすのか？

なぜなら、数学の真の革命は、AIが人間より多くの問題を解決したときではなく、人間と機械が共に、誰も一人では見つけられなかった真実を発見したときに訪れるからだ。