フィールズ賞受賞者がOpenAI安全部門入り|教え子はClaude Fable 5で87年来の予想を破る
「パーティーの帰りに同僚と話しながらFable 5に聞いてみた。3つの多項式が返ってきた。検算した。正しかった」。数学者レヴェント・アルポゲ氏は2026年7月20日の深夜、Xにこう書いた。ワールドカップ決勝の夜に、87年間未解決だったヤコビアン予想が崩れた瞬間だった(出典: Hacker News、2026年7月20日)。
その3日後、フィラデルフィアの国際数学者会議(ICM)でフィールズ賞の授賞式が開かれた。受賞者の一人、ヤコブ・ツィアーマン氏はメダルを受け取った後、思いがけない言葉を口にした。「数学のキャリアは、私が知っている形では、もう存在しないと思う」。そしてOpenAIに入り、AI安全性の研究をすると発表した(出典: BigGo Finance、2026年7月23日、筆者訳)。
アルポゲ氏はツィアーマン氏の卒業論文を指導した元学生だ。師はOpenAIへ、教え子はAnthropicのClaudeを使って数学の歴史を書き換えた。2026年7月の数学界はこの1週間で、AIとの関わり方について取り返しのつかない岐路を迎えた。
- フィールズ賞やツィアーマン氏がOpenAIに入った経緯を知りたいエンジニア・研究者
- Claude Fable 5がヤコビアン予想の反例を出した仕組みと意味を理解したい方
- AI時代に数学や理系学術研究がどう変わるのか気になる方
- AI安全研究の最前線で何が起きているのかを追いたい方
- フィールズ賞2026: 7月23日にフィラデルフィアで4名が受賞。ツィアーマン氏(トロント大)はアンドレ-オールト予想の証明などが評価された
- OpenAI入り: 授賞式当日に発表。AI安全性に数学的確実性を与える研究が目標。OpenAI最高研究責任者マーク・チェン氏が歓迎を表明
- 3日前の伏線: 教え子のアルポゲ氏(現Anthropic所属)がClaude Fable 5を使い、87年来のヤコビアン予想の反例を発見(216文字の多項式。7月26日時点で査読未完了)
- 数学界の分裂: 一部の数学者・計算機科学者はAI利用を制限する宣言を発表。ツィアーマン氏は逆に「内側から関与する」道を選んだ
- 筆者の見方: どちらが正しいかより、数学コミュニティ内部でAIへの態度が二極化しつつあることに注目する
フィールズ賞2026: 数学最高峰の授賞式に差し込んだAIの影
フィールズ賞は4年に1度、40歳以下の数学者に贈られる賞だ。「数学のノーベル賞」とも呼ばれ、ノーベル賞に数学部門がない分、権威はそれを上回るとも言われる。2026年はフィラデルフィアのペンシルバニア・コンベンションセンターで行われた第30回ICM(国際数学者会議)の開幕式で、4名の受賞が発表された(出典: Simons Foundation、2026年7月23日)。
| 受賞者 | 所属 | 主な業績 |
|---|---|---|
| ホン・ワン | ニューヨーク大学 | 幾何学的測度論・制限予想(女性3人目の受賞者) |
| ユー・デン | シカゴ大学 | ボルツマン方程式の厳密な導出 |
| ジョン・パードン | ストーニーブルック大学 | 結び目理論・シンプレクティック幾何学 |
| ヤコブ・ツィアーマン | トロント大学 | アンドレ-オールト予想の証明・ホッジ理論 |
今回の受賞者4名はいずれもプリンストン大学ゆかりの数学者だ。しかし会場の空気を変えたのは数学的業績だけではなかった。5月にOpenAIがエルデシュ単位距離予想を機械的に証明したばかりで、数学者たちの間では「自分たちの仕事はどこへ向かうのか」という問いが共有されていた(出典: Remio、2026年7月)。
式典の前日には、フィールズ賞受賞者を含む数学者・計算機科学者・数学史家のグループがAIに関する宣言を公表した。「研究への利用を開示すること」「査読を維持すること」「企業と学術の不平等を法的・財政的に是正すること」が主な内容だった(出典: Scientific American)。フィールズ賞の授賞式は、AI時代における数学の位置づけという問いを避けて通れない場になっていた。
ツィアーマン氏の数学的業績: アンドレ-オールト予想とは何か
ツィアーマン氏(38歳)はカナダ出身で、トロント大学の数学教授だ。カナダに籍を置く機関から受賞した初の数学者であり、カナダ人としても2人目の受賞になる(出典: University of Toronto、2026年7月)。
受賞理由の中核は「アンドレ-オールト予想の証明」だ。非専門家向けに簡単に言えば、数学的な空間の中で「特殊な点」が多数集まって曲線を形成する場合、それは偶然ではなく深い代数的構造の結果だ、という主張だ。証明にはジョナサン・パイラ氏、アナンス・シャンカール氏との共同作業が不可欠で、完全な証明はリーマン予想が真である仮定に依存していた部分を取り除く形で2021年に達成された(出典: Quanta Magazine、2026年7月23日)。
この証明にはo-極小理論と呼ばれる論理学的道具が使われている。o-極小理論はもともと数理論理学の道具で、それを代数幾何学に持ち込んだのがツィアーマン氏の作風を象徴する仕事だった。Quanta Magazineのプロフィールは「異分野の道具を借りてきて、別の分野で使う」という彼のスタイルを一貫したテーマとして描いている。そのスタイルは、今回のOpenAI入りの判断にもつながって見える。
「数学のキャリアは消える」: 授賞式で語ったOpenAI入りの理由
フィールズ賞を受け取ったツィアーマン氏が記者団に語った言葉は短かった。「私は数学のキャリアを続けようとしている学生たちを育てたくない。そのキャリアが、今後存在しないかもしれないから」(出典: BigGo Finance、筆者訳)。
OpenAI入りの報告はOpenAI最高研究責任者のマーク・チェン氏がXで確認した。「彼の数学的才能は明らかに卓越しているが、AI安全性に対する取り組みの真剣さと深さも同様だ」(出典: @markchen90、2026年7月23日)。
ツィアーマン氏のAIリスク観は2025年から文書化されている。arXivに投稿した論文「AIが関与する絶滅的未来の分類(A Taxonomy of Existential Futures Involving AI)」ではアンドリュー・クリッチ氏と共著で、AIが絡む絶滅シナリオを体系的に分類している。単なる懸念ではなく、数学者として「証明可能な安全性」を追求しているのが彼のスタンスだ。「リスクが非常に高い。だから保証の水準も非常に高くなければならない」と語っている(出典: Gurufocus、筆者訳)。
批判的な反応もあった。Hacker Newsでは「著名な採用に使われているだけ」「安全研究という名目でブランドを利用している」という声が上がった一方、「AIが最も急いで解決しなければならない問題に世界最高レベルの数学者が来るのは良いことだ」という反論も並んだ(出典: 前掲BigGo Finance)。どちらが正しいかは、実際に何が研究されるかを見なければ判断できない。
3日前に起きたこと: Claude Fable 5がヤコビアン予想を覆した
ツィアーマン氏のOpenAI入り発表の3日前、別の数学的事件が起きていた。
ヤコビアン予想は1939年にドイツの数学者オット-ハインリヒ・ケラー氏が提起した問題だ。多変数の多項式写像において「ヤコビ行列式が0にならない」なら逆写像を持つか、という命題で、1998年にフィールズ賞受賞者スティーブン・スメイル氏が「21世紀の数学の問題」としてリーマン予想やナビエ-ストークス方程式と並べて列挙したほどの難題だ。
2026年7月20日深夜、数学者レヴェント・アルポゲ氏がX(旧Twitter)に投稿した。ワールドカップ決勝を観戦しながら同僚と話す中でClaude Fable 5に問いかけたところ、x・y・zの3変数をもつ3つの多項式が返ってきた。ヤコビ行列式は一定値-2。しかし逆写像を持たない。3つの入力が1つの出力に集まる点がある。反例の完全な記述は216文字だった(出典: The Next Web、2026年7月21日)。
この投稿はHacker Newsで661ポイントに達した。コメントはほぼ即座に独立検証に向かい、「反例の次数は7で、数学者たちが予想していた下界と一致する」「Claudeが何の道具を使い、どれだけ人間が誘導したかを開示すべきだ」「査読なしで信頼するのは早い」という声が交差した。翌日には計算機数学の研究者らが独立に手計算で確認した(出典: 前掲The Next Web)。
アルポゲ氏は現在Anthropicに所属している。ツィアーマン氏が卒業論文を指導した元学生だ。師はOpenAIへ向かい、教え子はAnthropicのモデルで87年来の予想を崩した。OpenAIが5月にエルデシュ単位距離予想の証明を発表し数学界を揺さぶったのと同じ月、Anthropicの側でも別の問題が崩れていた。
OpenAIがAIで数学の難問を証明した5月の出来事の詳細はOpenAI、AIでエルデシュ単位距離予想を証明で整理している。AIと科学研究の接点についてはClaude Science: 科学者向けAIワークベンチの詳細も参照してほしい。
数学界のAI観が分裂: フィールズ賞が映した宣言派と関与派
今回の一連の出来事は、数学コミュニティ内部の態度の二極化を浮き彫りにした。
宣言派は「AIの数学研究への利用を制限・透明化すべきだ」という立場だ。フィールズ賞授賞式の前日に公表された宣言は、AI使用の開示義務化、査読の維持、大学・企業間の不公平な競争環境の是正を求めた(出典: 前掲Scientific American)。「AIが発表した結果を人間の成果と同等に扱うことは、数学のコミュニティとしての知的誠実さを損なう」という意識が背景にある。
関与派の代表格がツィアーマン氏だ。ツィアーマン氏の論理は、危険だから距離を取るのではなく、危険だから最前列に立つ、というものだ。「関与しない選択肢は、AIの未来を形成する機会を放棄することだ」という趣旨を複数の媒体が伝えている(出典: 前掲Gurufocus)。同じ方向性では、2026年5月のエルデシュ単位距離予想証明を手がけたOpenAIの数学チームにも、著名な数学者・数理論理学者が複数加わっているとされる(出典: Remio)。
アルポゲ氏の立場はさらに興味深い。宣言にも署名しておらず、ツィアーマン氏のようにAI安全に転向もしていない。Anthropicに所属しながら「道具として使う」という選択肢を実践している。ヤコビアン予想の事例が示すのは、最高レベルの数学者がAIを助手として活用することで未踏の領域に踏み込める可能性だ。
ツィアーマン氏が心配するのはその先だ。「エージェントのシステムがどのように振る舞うかを理解し、意図しない動き方をしないという証明を導き出すことが数学者の役割だ」と語る(出典: 前掲Remio、筆者訳)。形式的証明による安全保証という目標は、現在のAI安全研究の主流よりも一段厳しい基準を設定している。
ヤコビアン予想の反例については、2026年7月26日時点で査読済みの論文は発表されていない。計算機数学者らが独立に確認したという報告はあるが、正式な出版・査読を経ていないため、最終確定として扱うことはまだ適切でない。また、反例がC³(3変数の複素数体)のケースであり、命題の全体に対する結論は今後の議論が必要だ。
内部リンク:
- AIが自律的にエージェントとして動く場合のリスクについてはAIエージェントと自己保存衝動:フロンティアモデルの実態を参照
- Anthropicと軍事・安全保障機関の関係についてはAnthropic、米国防総省とのAI安全協力の詳細で扱っている
免責事項: 本記事は公開情報をもとに作成した解説記事です。ヤコビアン予想の反例は2026年7月時点で査読未完了です。投資・研究判断の根拠としてお使いになる場合は必ず一次情報をご確認ください。