新規フィールズ賞受賞者がOpenAIに参加し、AIセーフティに取り組む

icon MarsBit
共有
AI summary icon概要
2026年フィールズ賞受賞者であるジャコブ・ツィメルマンは、AIのリスク(人間の絶滅を含む)について懸念を表明した後、OpenAIに参加してAIセーフティに注力しました。40年間解決されていなかった算術幾何学の問題を解いたことで知られるツィメルマンは、AI開発に抵抗するのではなく、その方向性を形作ることを好みます。オンチェーンの取引シグナルは、AI関連資産への関心が高まっていることを示しており、投資家たちは保有資産に入る前にリスクとリワードの比率を検討しています。

数学界の最高栄誉を獲得した直後に、OpenAIへ移ると発表した。

賞台で王虹と鄧煜と並んでいたジャコブ・ツィメルマンは、下台早々に皆に実演を見せた:

数学者のキャリアにおける頂点の瞬間は、どれほど劇的であろうか。

フィールズ賞

「ドラマ」という言葉を使ったのは、この人物にあまりにも多くの対比があるからです:

信じられるか、『AIが人類の絶滅を招く』と信じていた人が、今やAI企業に加入した。

彼は「AIが人類を絶滅させる方法」のために分類学を構築する論文を書いたこともある。

彼のXアカウントには、数学者がどのようにして失業するかというテーマの投稿が1つだけあります。

しかし今、彼は最初に数学者の業を失った。

もう一人の学生は、3日前にClaude Fable 5を使って一夜で1987年の未解決問題であるヤコビ予想を反証し、現在Anthropicに在籍している。

現在、先生はOpenAIに署名しました。師弟二人、それぞれ一家。

それだけではなく、ジェイコブ自身の伝説もたくさんあります……

IMO満点、史上最年少の正教授

ジャコブは1988年、ロシアのカザンで生まれ、家族と共にまずイスラエルへ移住し、その後カナダに定住した。

2003年と2004年、連続2年間カナダを代表してIMOに出場し、2枚の金メダルを獲得。2004年のメダルは満点だった。

16歳でトロント大学の数学学科に入学し、2年で学士課程を修了。

2011年にプリンストン大学で博士号を取得し、指導教員はピーター・サナルク。その後、ハーバード大学フェローズ協会で研鑽を積み、トロント大学に戻って教鞭をとり、同大学数学史上最年少の正教授となった。

今回の受賞は、アンドレ=オールト予想の証明業績を称えるものです。この算術幾何学の核心的な難問は、これまで約40年間未解決でした。

彼はまた、カナダの大学で在職中にフィールズ賞を受賞した最初の数学者となった。

フィールズ賞

ちなみに、今回のフィールズ賞の価値自体が少し驚異的です:加賀谷予想は1917年から未解決のままであり、ヒルベルトの第6問題の運動論的部分は1900年に提起され、さらにアンドレ=オート予想も加わります。

三つの世紀の未解決事件が、同じ四年間の周期で全て解決された。

つまり、ジャコブは数学の「大年」において、最強の世代の相手を打ち破った人物です。

IMO満点、史上最年少の正教授、40年間の未解決事件を解決した人物。

この履歴書の所有者は、劇本に従って、講師に感謝し、学科の未来を展望するためにステージに立つべきである。

結果は?

現地時間7月23日、フィラデルフィアで、国際数学者会議(ICM)の開会式。

記者会見で、将来の計画について質問された新科受賞者は、そのまま明かした:まもなくOpenAIに就職し、AIセキュリティに取り組む。

世界が変わっていると私は考えます。私たちが現在知っている数学の職業……私はそれが今と同じ形で残り続けるとは思いません。

フィールズ賞

一つの言葉で、授賞式を移籍発表会にしてしまった。

OpenAIの反応速度は限定品を手に入れるかのようだ:

セキュリティ研究者でハーバード大学の教授であるBoaz Barakがツイート:Jacobの参加を心待ちにし、「深く謙虚」に迎え、AIセキュリティに取り組みます。

フィールズ賞

マイクロソフト元副社長で現在のOpenAIのSebastien Bubeckも同調した:ようこそチームへ、これからとても面白いことになるだろう。

フィールズ賞

人々がこれに驚いたり、意外に思ったりしている中、彼がこれまで行ってきた研究や発言を掘り起こした。

元々、すべてには兆しがあった。

彼の他の唯一の投稿

JacobのXアカウントのホームページを開くと、2014年に加入したと表示されています。

しかし十数年経った今でも、上には投稿が一つしかなく、そのためこの投稿は彼を知るための鍵となった。

フィールズ賞

この投稿は、数学者ダニエル・リットへの返信であり、議論されている問題は非常にシンプルである:

数学研究において問題解決(problem-solving)はどの程度の比重を占めるのか。

彼の答えは:ほぼすべてです。

そして、彼はとても心を開いた話をした。彼は、ほとんどすべての時間を問題解決に費やしていると語り、誰かがジルバーピンク予想の一般形を解決したなら……

私の主要な研究分野全体が消えてしまった。

一団の学術共同体、数学者、ポスドク、大学院生がすべてこの予想に集中している:特殊例を分解し、戦略を試し、類似性を探す。

その仮説が解決された日、誰もが新たな問題を探さなければならない。

彼はそのプロセスを「方向感を失わせ、多くのエネルギーを消費し、簡単でもなく、常に楽しいわけではない」と表現した。

かつて、「予想を解く者」は別の数学者に限られており、それは百年に一度の出来事だった。

現在、おそらくモデルであり、いつでも来ます。

具体的速度はどれくらいですか?彼は今年のAMS Notices(アメリカ数学会公告)のインタビューでスケジュールを示しました:

五年?私は2年以内に、それが定理の証明で私たちを上回っている可能性があると思う。そのとき、私たちはただこう言えばいい:「これは命題だ、証明してみて。」

彼は投稿の中で思想実験も行った:もし手元にAIの神託機械があり、どんな数学的命題でも投入すれば真偽が即座に判明すると仮定してみよう。

理論構築者の日常はどのように変わるのか?

あなたは定義を提示し、直ちにそれについて千の質問を投げかける。『これらの基本的性質は成り立つか』から、『あ、そういえば、この深い予想は本当か』まで。答えが次々と返され、あなたは定義を絶えず修正する。この研究分野は、数日で生まれて終わってしまう。

彼はこの状況に対する判決を、静かだが重く下した:これは現代数学とは、非常に、非常に異なるものである。

フィールズ賞

興味深いことに、彼自身はすでにそのような生活の簡易版を送っている。

同じインタビューで、彼はAIによって研究効率が2倍になったと明かし、2025年にはarXivに数学論文を5本投稿した。日常の研究フローは、ChatGPTとClaudeを使って問題の境界を特定し、参考文献を収集し、モデルに補題の証明を任せることである。

それが提供する証明は通常間違っている。しかし、正しい方向性の方法を引き出してくれて、80%を私が進める手助けをしてくれる。残りは私が仕上げる。

言い換えれば、オラクル機はまだ届いていないが、彼は毎日プロトタイプを使っている。

そのため、彼は同業者の気持ちに対して特に厳しくなる。

数学界には大量のコープ(自己満足)が存在し、AIが現在のところ数学者に劣っているという事実から、永遠に数学者に劣ると判断している。

同行から見れば、この言葉はすでに十分に過激かもしれない。

しかし、ジャコブにとって「AIが2年以内に数学者を上回る」というのは、彼のすべての判断の中で最も控えめな見解に過ぎない。

彼の本当の判断は:

AIは人類の絶滅を引き起こす可能性が非常に高いと考えています。

これは軽い発言ではない。2025年、彼がarXivに投稿した6番目の論文は数学ではなく、タイトルは「AIを伴う絶滅的未来の分類」であり、共同著者はAIセキュリティの長年の友人であるAndrew Critchである。

要約は素直に述べています:本記事では、すべてまたはほぼすべての人類が消滅するシナリオを含む、AIが引き起こす絶滅イベントを分類し、例を挙げています。これらのイベントは避けられないものではなく、私たちが努力して回避できる可能性です。

フィールズ賞

フィールズ賞級の数学者が、論文を書くような厳密さで、「AIが人類を絶滅させる方法」の分類学を構築した。

それなら、なぜそんなに怖いのにAI企業に参加したのですか?

彼はインタビューで実際に次のように答えている:彼はAIの停止を支持するが、それが実現すると考えてはいない。阻止できないなら、外から抵抗するのではなく、中に入ってそれを理解し、形作ることに参加すべきだ。そうでなければ「私たちは取り残される可能性がある」。

OpenAIのセキュリティ部門に行くと、論理が通る。

そして投稿の最後で、誰かが数学をやるのは真実を追求するためだけだと言い、それを唯一の高貴な動機だと崇めていると述べた。

彼は同意しません。

私は数学をやっているのは、それが好きで、得意だからです。数学者も人間であり、お金、住居、食事、愛、運動、そしてあらゆる形での意味を必要とします。問題を解く楽しさが失われれば、他の道があるとしても、多くの人が数学をやめてしまうでしょう。

これらの言葉から、選択の背後にある理由も容易にわかります。

四人の名前は、いわば「人材獲得マップ」でもある

ジャコブの動向により、もう一つの話題が注目されるようになった:

今回の4人の受賞者は現在どこにいるのか、誰が大手企業の注目を集めている可能性があるのか。

フィールズ賞

取引前に、Jacob自身の投稿の枠組みをお借りします。

彼は数学の作業を、問題解決(problem-solving)と理論構築(theory-building)の二つに分けた。

一方、AI研究所が今最も必要としているのは、前者のタイプの人材である。

与给定命題の真偽を判断し、証明または反例を見つけることは、推論モデルを訓練し評価するのに最も適した能力である。

言い換えれば、「問題解決機械」のような数学者ほど、移籍市場での評価が高くなる。

この基準に従ってリストを確認してください。

フィールズ賞

王虹は現在、ニューヨーク大学の教授であり、フランス高等科学研究所(IHES)にも在籍しています。

彼女と共同研究者のジョシュア・ツァールが発表したカケヤ予想の127ページに及ぶ証明は「百年に一度」と称され、彼女はフィールズ賞90年の歴史において3人目の女性受賞者となった。

受賞前、彼女はSalem賞、Ostrowski賞、Clay研究賞、新視野賞など多数の賞を総なめにし、4人の中で学術的な注目度が最も高かった。

このような調和分析の達人が、AI推論研究に最も必要な方向に恰好ぴったりと位置している。

Kakeya問題の解法スタイル、ハードコアな推定、組合せ技法、段階的な近似は、推論モデル評価セットのハイエンド版そのものである。

さらにトップレベルのパブリックな注目度を加えると、彼女はヘッドハンターのリストの上位に確実に名を連ねるだろう。

唯一の逆シグナルは:

彼女はちょうど学術界でIHESのポジションを獲得したばかりで、「学術的報酬が最も大きい」時期にいるため、自ら離れる動機はそれほどない。

邓煜、シカゴ大学教授は、気体の微观的および宏观的記述を結びつける業績、すなわちヒルベルトの第6問題の動力学的部分により賞を受賞した。

1月に受賞を静かに告げられた後、彼はミシガン湖のほとりを数日間歩き、気持ちを落ち着けた後、オフィスに戻って仕事を再開した。「何もなかったかのように」。

この細部がほぼすべてを物語っている:賞を取ったにもかかわらず「何もなかったかのように振る舞える」人物は、大手企業のオファーに対しても同様に無事に振る舞える可能性が高い。

また、彼の専門は数学物理やPDEであり、現在の推論モデルの主要な分野とはやや離れており、双方の関心も弱い。

最も転職しそうにないのはこの四人の中のようだ。

ジョン・パードン、ストン・ブルック大学Simons幾何と物理センター教授、シンプレクティックトポロジー分野。

四人中最年轻的传奇,在本科期间就解决了一个长达30年的悬而未决的问题。

ジャコブの分類によると、彼は典型的な「少年解法者」出身で、このような経歴を見たラボは足が止まってしまう。

しかし、シントポロジーは現在の機械が最も取り組みにくい抽象幾何の領域であり、短期的にはモデルが彼を助けることができず、彼もモデルを助ける必要がない。

彼がまだ若いという点が変数であり、もし2年後にAIがジャコブの予測通りハードコア幾何学に突入するなら、彼は最も早くその影響を受けるとともに、転職するための最も大きな資本を持つ人物になるだろう。

要するに、すでに去った者が一人、必要のない者が一人、やりたくない者が一人、急いでいない者が一人です。

しかし、現在のAI研究所が数学者を奪い合っている状況では、このリストはおそらく長くは安定しないだろう。

忘れずに、過去1年間でグーグルDeepMind、OpenAI、Anthropicが数学分野の人材獲得で繰り広げた軍備競争は、エンジニアの奪い合いに劣らないほど激しかった。

これで、四位の受賞者がすべて登場しました。

しかし、この物語には最後の逆転があります。

もう一つ

授賞式の3日前に時間を戻す。

ワールドカップ決勝夜、数学者レヴェント・アルポーゲはX上で投稿した:ヤコビ予想は偽である。

1939年に提唱されたこの予想は87年間未解決であり、Smaleの有名な21世紀の数学の難題リストにも掲載された。

一方、Alpögeが提示した反例は216文字に過ぎず、どの数学者でも手動で検証できる。

彼が干し草の山からこの針を見つけ出したのは、Anthropicが先月リリースしたClaude Fable 5だった。

彼は投稿で「fable」に特別に感謝し、ワールドカップ決勝期間中に残業してくれたことに感謝した。

フィールズ賞

反例はすぐに独立して検証された。

フィールズ賞受賞者であるティモシー・ガワーズは、これはLLMが自身の分野外の「名前をよく聞く」難問を解決するのを初めて見たと評価した。

フィールズ賞

あるモデルが、一晩で1987年の未解決事件を解決した。

ジャコブが投稿で描いた未来は、こんな感じです。

重要です。

このアルポゲは、ハーバード大学フェローズ協会出身で、現在はAnthropicの数学者である。

彼がハーバード大学で学部生だった頃、卒業論文の指導教員は、当時ハーバードでジュニアフェローを務めていたジャコブ・ツィメルマンだった。

先生は唯一の投稿で、AIが問題解決を支配すると予言した;学生は先週、AIを使って一晩で百年の予想を反証し、先生の予言を提前して実現した。

3日後、先生はフィールズ賞を受賞し、OpenAIへの参加を公式発表しました。

そして、Anthropicの学生。

師と弟子の二人、一人が一家。

参考リンク:

[1]https://x.com/chi_t_williams/status/2080339331139424727

[2]https://x.com/torgeirlysen/status/2080393136962957471?s=20

[3]https://x.com/proofchecker/status/2080386577595822537?s=20

[4]https://x.com/Jacob_Tsimerman

[5]https://www.ams.org/journals/notices/202607/noti3372/noti3372.html

本文は微信公衆アカウント「量子位」より、著者:一水

免責事項: 本ページの情報はサードパーティからのものであり、必ずしもKuCoinの見解や意見を反映しているわけではありません。この内容は一般的な情報提供のみを目的として提供されており、いかなる種類の表明や保証もなく、金融または投資助言として解釈されるものでもありません。KuCoinは誤記や脱落、またはこの情報の使用に起因するいかなる結果に対しても責任を負いません。 デジタル資産への投資にはリスクが伴います。商品のリスクとリスク許容度をご自身の財務状況に基づいて慎重に評価してください。詳しくは利用規約およびリスク開示を参照してください。