天才30人を10分で黙らせたAIの正体：カリフォルニアでの衝撃の会議の全貌

1. はじめに

2025年5月17〜18日、米カリフォルニア大学バークレー校の一角で、極秘の数学サミット「FrontierMath Symposium」が開催された。招かれたのは数論・幾何・トポロジーなど第一線で活躍する30人の研究者。彼らの前に立ちはだかったのは、人間ではなく OpenAI の最新「推論」モデル o4-mini。――わずか48時間後、参加者の多くは「AI が数学の天才領域へ踏み込みつつある」と口をそろえた。 Live Science

2. o4-miniとは何者か

o4-mini は、従来 GPT-4 系が苦手としてきた“深い推論”を軽量モデルで実現することを狙って4月に公開されたLLMだ。OpenAI が NPO Epoch AI と協力し、未公開300問で性能を測るベンチマーク FrontierMath を構築。その結果、従来モデルが正解率2 %未満だった難問群で、o4-mini は **20 %**を解いてみせた。 Scientific American

3. 秘密会議の舞台裏

• NDA と Signal
  参加数学者は全員 NDA を締結。問題が学習データに混入しないよう、連絡は暗号化チャット Signal のみ。 Live Science

• 懸賞金 7,500 ドル
  “AI が解けない問題”を作れば、その出題者に賞金が支払われる仕組みが動機づけに。 Scientific American

• 驚異の10分解答
  数論の権威ケン・オノ教授は「博士課程レベルの未解決問題」を出題したが、o4-mini は10分で完答。オノ氏は「証明 by intimidation をマスターしている」と苦笑したという。 Live ScienceScientific American

4. 人類 VS AI：勝敗の行方

二日間の死闘で、人間側が AI を完全に沈黙させられた問題は 10問に留まった。数学者の一人、Yang-Hui He 氏は「もはや優秀な大学院生どころか共同研究者レベル」と評価した。 Scientific American

5. SNS で炸裂した賛否

肯定派は「AI 研究効率の爆上げ」を歓迎する一方、懐疑派は「演算結果は合っても論理が破綻していたら？」と“検証コストの爆増”を危惧した。

6. 数学研究はどう変わるか

1. 役割の分化 ― 数学者は問題設定とアイデアの美的評価へ、AI は計算・証明生成へ。

2. 教育カリキュラムの再設計 ― 創造性・直観を伸ばす課題が重視され、定型計算はAI任せに。

3. 証明の信頼性問題 ― “AIが書いた証明”を人間がチェックできる仕組み（機械可読形式や形式化証明）の重要性が急上昇。

7. 残された課題

• 帰納から創造へ：o4-mini は既存文献の“再構成”が得意だが、本当に新定理を産み出せるかは未検証。

• ブラックボックス性：推論チェーンが後付け演出の可能性（いわゆる「先に答えを当ててから説明を書く」現象）が指摘されている。 Reddit

• 評価の公正性：Epoch AI と OpenAI の資金関係を疑問視する声も続出。

8. 未来シナリオ

9. おわりに

「汎用AIなど来ない」という従来論を、現場最前線の数学者が覆した週末だった。人類が持つ“問いを発する力”と、AI の“解を編み出す力”の協奏が始まるのか。それとも創造性の最後の砦まで明け渡す日が来るのか。バークレーの密室で鳴った歓声と悲鳴は、近未来の知的生態系を予告するアラームだったのかもしれない。