AIモデルが離散幾何学において長年続いた中心的予想を反証した。
Hacker Newsでこのニュースは835ポイント、629コメントを獲得。コメントは基本的に2派に分かれた：「AIが数学者を取代する」と驚嘆する一派と、「これが本当の数学発見と言えるのか」と疑問を呈する一派。
どちらも要点を射ていない。
まず何が起こったかを理解しよう
OpenAIのモデルは数学を「理解」して証明を生み出したわけではない。やったことはむしろこうだ：広大な検索空間で、計算力を使ってブルートフォースで反例を見つけた。
無限の整数の中からスーパーコンピュータで素数を見つけるようなものだ——見つけたのは確かだが、新しい数学的原理を発見したわけではない。
反例を見つけることと定理を証明することの間には、本質的な違いがある。 前者は検索、後者は理解だ。
もちろん、反例を見つけることには価値がある。数学者に「この道は通じない」と知らせ、絶望的な方向に時間を浪費するのを防ぐ。しかしこれは「AIが数学発見をした」こととは別物だ。
数学研究における「検索」と「洞察」
不正確だが有用な类比を使おう：
- 検索（Search）： 答えが何かを知り、空間の中でそれを見つける。AIはこれが得意だ。
- 洞察（Insight）： 何を問うべきかを知り、どの方向を探る価値があるかを知る。これが人数学者のやることだ。
OpenAIが今回やったのは前者。モデルは新しい数学的枠組みを提案せず、新しい証明方法を創造せず、新しい予想を定式化しなかった。慎重に設計された検索プロセスを実行し、既存の予想が間違っていることを見つけた。
これは重要か？重要だ。これは数学発見か？——「発見」をどう定義するかによる。
本当に不安なのはAIの能力ではない
コメントで最も気にしたのは、AIに驚嘆する人々ではなく、不安な数学大学院生と若手研究者たちだ。
彼らの懸念は本物だ：AIが1週間で私が3年かけても見つけられなかった反例を見つけられるなら、なぜ数学のPhDを取る必要があるのか？
この質問には良い答えがない。
しかしフレームワークが間違っていると思う。AIは検索をやり、人間は洞察をやる——これは取代関係ではなく、分業関係だ。
数学者はもはや予想の境界ケースを手動で検証するのに数ヶ月を費やす必要がない。その時間を「なぜこの予想は間違っているのか」「反例はどのようなより深層の構造を明らかにするのか」「次にどのような新しい予想を定式化すべきか」を考えるのに使える。
私の判断
この事件の意義は「AIが数学予想を反証できる」ことではなく、数学研究におけるAIと人間の新しい分業モードを示したことにある。
- AIは検索、検証、反例構築、大規模列挙を行う
- 人間は問題選択、方向判断、枠組み構築、意味解釈を行う
この分業は他の分野ですでに起こっている——AlphaFoldが構造予測を行い、生物学者がメカニズム解釈を行う。今度は数学の番だ。
不安是正常的だ。しかし間違った方向に不安にならないでほしい。
主な情報源：
- OpenAI Blog: Discrete Geometry Conjecture
- Hacker News議論