テレンス・タオと OpenAI：ワークショップの共同主催者から「建設的に関わる道が見えない」まで

タイムライン

1. 2026年3月

   タオは OpenAI が支援する IPAM のワークショップの運営に協力します。彼自身のページが背景を説明しています。支援は、2025 年に NSF と NIH の資金が停止されたあとの緊急の資金集めから生まれたもので、金額は 60,000 ドルから 70,000 ドルでした。ワークショップ中に OpenAI は彼への一時間のインタビューを収録し、いくつかの断片を広告に使いました。彼は、振り返ればもっと強く反対すべきだったと述べています。

   Terence Tao on AI: a living summary (disclosure)

2. 2026年7月24日

   国際数学者会議で、彼は公開講演「Mathematics in the age of AI」を行います。この局面を、数学の議論そのものよりも価値観と実践をめぐる危機だと呼び、証明を解くことを目標にすると、それがもともと代わりに表していた目標から切り離されうると警告します。

   Terence Tao on AI: a living summary (ICM 2026 section)

3. 2026年9月9日

   彼は記録のための声明を投稿します。「AI 推進」でも「AI 反対」でもない立場を取り、二つの道（責任ある採用か、近視眼的な目的のための無差別な使用か）を述べ、この分野は「残念ながら急速に」後者に近づいていると書きます。

   Terence Tao on AI: a living summary

4. 2026年9月11日

   「A Severe Misalignment of AI in Mathematics」と題する宣言が、25 人のフィールズ賞受賞者を最初の署名者として公表され、タオもその一人です。宣言は、AI 企業と数学界の目標は深刻にずれていると述べます。問題を解くことは理解の代わりに置かれた指標にすぎず、目標そのものとは違うからです。

   Terence Tao on AI: a living summary

5. 2026年10月6日

   公開済み：OpenAI が「Sharing AI progress in mathematics」を公開します。投稿は、内部のフロンティアモデルによる新しい数学の結果を幅広く公開し、GitHub のリポジトリに載せ、多くの証明の Lean による形式化と、モデルの推論の要約 10 件を共有すると述べています。平均的な結果は ChatGPT Pro の思考およそ三時間分の計算に相当するとも述べています。

   OpenAI: Sharing AI progress in mathematics

6. 2026年10月6日

   報道であり、OpenAI の投稿にはないこと：タオのページはニューヨーク・タイムズを引き、この公開をほぼすべての分野にわたる 350 を超える成果と説明しています。代数、数論、理論計算機科学、数理論理、トポロジーが含まれます。同じページは、同紙が OpenAI によるナビエ–ストークス問題の解決発表を報じたと述べています。2026-10-22 に読んだ OpenAI の投稿はナビエ–ストークスに言及せず、350 という件数も書いていません。

   Terence Tao on AI: a living summary (citing the Times)

7. 2026年10月8日

   タオは Proofs and Prompts ブログで応答します。これらの証明に関わった人間のうち、質問に答え、講演し、論文を学術誌に投稿し、学生を指導できる人は誰もいないこと、そして、とりわけ若い数学者たちによる、ゆっくりとした研究の人年にわたる積み重ねが無造作に乱されることに「ぞっとしている」ことを書きます。

   Terence Tao on AI: a living summary (quoting his post)

8. 2026年10月9日

   彼はカリフォルニア工科大学で公開講演「Math 2.0」を行います。論旨は、証明の希少さが Math 1.0 の制度を形作ってきたこと、証明が豊富になるとその仕組みが壊れること、そしてこの分野で足りないのは技術よりも想像力だということです。

   Terence Tao on AI: a living summary (Math 2.0 section)

9. 2026年10月15日

   サイモンズ財団が、Anthropic と OpenAI とともに、数学者が AI を使った成果を評価し、ツールを学び、基準を作るのを助ける 1500 万ドルの取り組みを発表します。OpenAI は 10 月 6 日の記事に更新を加え、そのうち 500 万ドルは自社の拠出で、加えてサイモンズ財団が支援する研究者にモデルと計算資源へのアクセスを提供すると述べます。

   Simons Foundation announcement

10. 2026年10月16日

    ニューヨーク・タイムズが人物記事を掲載します。タオは同紙に「私は戦時態勢にいる」と語り、数学はほとんどやっていないと述べ、OpenAI については「現時点で、建設的に関わる道が見えない」と語ります。

    The New York Times: Why One of the World’s Greatest Mathematicians Is on a ‘War Footing’

3 月のワークショップと、当時は筋が通っていた取引

タオの 10 月の語り口を理解するには、3 月から始める必要があります。3 月のタオは AI 企業の敵ではなかったからです。彼自身のページにある開示によれば、彼は OpenAI が支援した IPAM のワークショップの運営に協力しました。そのお金の出どころは、企業との提携への関心とは無関係でした。ページによれば、2025 年に NSF と NIH の資金が停止されたあとの緊急の資金集めから生まれ、支援額は 60,000 ドルから 70,000 ドルでした。連邦の資金を失った研究機関は、目の前にある申し出を受けます。

同じ開示には、代償も記録されています。ワークショップ中に OpenAI はタオへの一時間のインタビューを収録し、のちにいくつかの断片を広告に使いました。タオは、振り返ればもっと強く反対すべきだったと述べています。小さな出来事ですが、あとになって効いてくる種類のものです。数学者の声に対するスポンサーの関心と、スポンサーの資金に対する数学者の関心が、同じものではなかったことを示す最初の兆しでした。

そもそも関わった理由は戦略的なもので、彼ははっきり述べています。ページによれば、彼は長く、業界と関わる方が「一律に敵対する」よりよいと考えていました。インセンティブは双方向に働くので、研究所と付き合えば、この技術の収支を「より良い方向に」動かせるかもしれないからです。また、AI 企業から給料をもらっていない終身在職権のある学者なら、率直に発言できるとも論じていました。これが、話の残りを通じて覚えておくべき立場です。彼がしたのは、対話が結果を形作るという賭けでした。どこかの陣営に引き入れられたわけではありません。

夏：問題が来る前に、それを言葉にする

3 月から 10 月にかけて、タオの公の文章の増えていく部分は、AI が数学をできるかどうかとはほとんど関係のない懸念に費やされました。ページによれば、それについての答えは次第に「できる」になっていきました。7 月 24 日の国際数学者会議で、彼はこの局面を数学の価値観と実践の根幹における危機として位置づけました。論旨はこうです。問題を解くことは、研究数学で歴史的にいちばん目に見える目標でしたが、それは常に、より遅い目標の代理でした。理解すること、理論を築くこと、次の世代を育てることです。問題を解くのが難しい間は、代理は目標に追随していました。機械が安く解を出せるようになると、代理は目標に追随しなくなり、それをさらに押し込めば害になると、彼は警告しました。

彼はこの仕組みに、経済学の名前、グッドハートの法則を使いました。指標が目標になると、よい指標ではなくなる、というものです。同じページには 9 月のエッセイも記録されています。彼はそこで、数学の未解決問題は、再生不能な資源のようなものになったと論じます。解がすでに公開された問題は、何かを評価する材料として、永久に有用性が下がるからです。同じ時期に彼は、素数の有界ギャップについての反実仮想を書きました。ベンチマークに飢えた AI 企業が最初からその場にいたなら、失敗した試みと新しい手法に満ちた数十年にわたる共同の物語はどう展開したか。すぐに下がる限界値、飽和したと宣言される問題、教えられるものがほとんど残らない状況です。

これらは 10 月 6 日より前の話で、まさにそこが要点です。OpenAI の公開の数週間前に、タオは、自分が恐れる失敗のかたちを、仕組みを添えて詳しく書き留めていました。公開が来たとき、彼の反応は、予報が予定どおり届くのを見ているようなものでした。新しい危険に気づいた人の驚きとは違っていました。9 月 9 日の声明はまさにそう述べています。2023 年から二つの道が見えていた。責任ある採用か、近視眼的な目的のための無差別な使用か。そして「私たちは残念ながら急速に」後者に近づいている、と。二日後、彼は「A Severe Misalignment of AI in Mathematics」の初期の文面に署名した 25 人のフィールズ賞受賞者の一人になりました。この宣言は能力の問題をあっさり認め、ツールはいまや主要な未解決問題を解けると述べたうえで、彼らが懸念していることに直接進みました。問題を解くことは概念的な理解の代理にすぎず、真偽の命題を大量生産すれば、新しい発想に命を吹き込むどころか、肥沃な土壌を壊しかねない、ということです。

10 月 6 日：OpenAI が公開したもの

10 月 6 日、OpenAI は「Sharing AI progress in mathematics」と題する記事を公開しました。十日後のニューヨーク・タイムズは、タオの人物記事の中で、その日に降ってきたものを、代数、数論、理論計算機科学、数理論理、トポロジーを含む、この分野のほぼすべての分野にわたる 350 を超える成果と説明しています。さらに、何年も取り組んできた問題をもう少しで解けるところにいた数学者たちが、AI に一瞬で先を越されたと気づいた、とも書いています。（件数は他では数百件からそれ以上までまちまちです。私たちは同紙の数字を、出典を明示して使っています。他の数字とは突き合わせられないからです。）

この公開の前には、目を引く主張がありました。同紙は、OpenAI が先に、ミレニアム懸賞問題七つのうちの一つ、ナビエ–ストークス問題を解いたと発表していたと報じています。この文脈で、タオは同紙に「もうルールは何もない」と語り、一年前なら息をのんだであろう出来事に「ただ麻痺している」と述べました。数学の驚きを吸収することに職歴を費やした人が、驚きがもう響かなくなった状態を語っています。数学者の口から出る言葉としては奇妙で、修辞として受け流さず、ペースについての情報として読む価値があります。

公開済み、報道、そして日付ではないもの

• 公開済み。2026 年 10 月 6 日の OpenAI の投稿は、内部のフロンティアモデルによる結果を GitHub のリポジトリで公開し、多くの証明の Lean 形式化と推論の要約 10 件を共有すると述べています。平均的な結果は ChatGPT Pro の思考およそ三時間分だと述べています。同じ投稿の 2026 年 10 月 15 日の更新は、OpenAI が 5 百万ドルを出し、モデルと計算資源を提供すると述べています。2026-10-22 に読みました。
• 報道であり、その投稿にはないこと。タオのページは 2026 年 10 月 16 日のニューヨーク・タイムズを引き、OpenAI がナビエ–ストークス問題の解決を発表し、10 月 6 日の公開には 350 を超える成果が含まれていたと述べています。読んだ OpenAI の投稿はナビエ–ストークスに言及せず、350 も書いていません。どちらも報道として扱います。
• 彼自身の言葉で、ページが引用している範囲です。10 月 8 日の Proofs and Prompts の投稿には「horrified」と、関わった人間の誰も質問に答えられないという文があります。「私は戦時態勢にいる」と「建設的に関わる道が見えない」は、ページが 10 月 16 日のタイムズのインタビューに帰している文です。
• 日付ではない。OpenAI の投稿は、ワークショップについて近い将来さらに共有すると述べ、結果を生んだモデルの公開に取り組んでいると述べています。どちらの文も日を指定していません。このページは日付を足しません。

10 月 8 日：タオが実際に反対したこと

二日後、タオは自分の反応を公表しました。その反応は、見出しが伝えたものより精密です。投稿を直接引用している彼のページによれば、彼はこれらの証明に価値がないとは言いませんでした。それらは「消化されれば実り多いであろう巧みな新しい発想を導入しているように見え、同時に、過去と現在の無数の人間の数学者の既存の貢献の上に築かれている」と述べ、これまでの世代には想像もできなかった野心的な大規模プロジェクトに、コミュニティがこうしたツールを使って取り組めるかもしれないことに、わくわくしているとも述べました。

彼の異議は、成果をめぐる取り決めに向けられていました。「これらの証明に関わった人間のうち、質問に答え、講演し、会議に出席し、論文を学術誌に投稿し、学生を指導し、あるいはその後の成果の発展に関わることができる人は誰もいない。」数学において、この一文は重みを持ちます。証明は正しいだけでは完成していないからです。誰かがそれを説明し、文脈に位置づけ、教えられるものにして、はじめて完成します。彼は、成果を消化する最良の機会は発見の瞬間であり、そうした瞬間は、すべてを AI ツールに任せると「ますます無駄にされる」と書きました。

続いて、「ぞっとした」という言葉を説明する一文が来ます。タオは、数学の多くの動機づけとなる問題に向けて、忍耐強く意図的にゆっくりと進められてきた多くの研究、とりわけ大学院生やポスドクのそれが、「このような公開によって、無造作に乱されたり壊されたりする、多くの人年」に、ぞっとしていると書きました。彼の例えは身近です。映画のネタバレやクロスワードのヒントを聞かなかったことにはできないように、答えがあると知ってしまえば、問題を以前と同じように実りある形で探ることはできません。三年その問題に取り組んできた大学院生にとって、ネタバレは切実な問題です。博士論文が何になりうるかを変えてしまいます。

彼は、代わりにどうあってほしかったかも述べています。同じ投稿は、彼のページによれば、選ばれなかった道を描いています。研究所が最先端のモデルを独立した研究者に提出して科学的な評価を受けること、ツールが人間の研究者と競合せず補完するように研究コミュニティと調整すること、協力と共有を促すために使い、競争や秘密主義を助長しないこと、そして「古い扉を閉ざさずに、新しい扉を開く」ことです。投稿は内側への呼びかけで終わります。コミュニティは自らの基準と価値観を宣言し、自らのツールと実践を築き、最も弱い立場のメンバーを支え、自らの進む道を描くべきだ。「さあ、取りかかろう。」

出力を読む：「技術的には読める」

この話で最も具体的なのは、タオが出力の読み心地をどう言うかです。タイムズに対して彼は、ナビエ–ストークスの証明を「技術的には読める」と述べつつ、「私が話した専門家の誰も、議論の全体を本当には理解していない」と付け加えました。同じインタビューを要約した彼のページは、その証明が報道によれば 165 ページで、約一万のエージェントの群れが 88 時間かけて作ったものだとし、10 月の公開の前には、来るべき結果を「有害廃棄物」と呼び、公開後には「処理済みの廃棄物かもしれない」と呼んだと記しています。

タイムズは、最新の公開では文章がよくなっていて、彼はそれを「玉石混交」と呼んだと付け加えています。いくつかの論文は彼自身の仕事を適切に引用し、彼が妥当だと思う形でそれを前進させているように見えました。この細部は、この話を、追い抜かれて怒っている人の話という単純な読み方から遠ざけます。彼が述べているのは、一部はよくできている仕事の集まりなのに、それでも不満が残るということです。欠けているものがあると彼が言うからです。「結果について本当の会話ができる著者がいない。」

この一文が、このエピソード全体の主題です。彼が国際数学者会議で述べた議論では、一つの成果が完成するまでの流れには、生成、検証、解説、出版、そして正典化という段階があり、最後は、その成果が次の世代に教えられる内容の一部になる時点です。AI は最初の段階を安くしました。彼の説明では、今回の公開は、後の段階を持ち主のないままにしました。

10 月 9 日：カリフォルニア工科大学の講演と、代わりにどうせよと言うか

投稿の翌日、タオはカリフォルニア工科大学で公開講演を行いました。告知では「Machine Assisted Proof」でしたが、今は「Math 2.0」と呼ぶ方を好んでいます。ニューヨーク・タイムズは翌週にこれを説明し、彼が次のように論じたと述べています。OpenAI の公開にもかかわらず、数学の最前線の問題の大半はまだ解かれていない。問題の難しさには際限がない。そして AI のおかげで数学者は大規模にデータを集められるので、かつては想像もできなかったプロジェクトに、ますます大きなグループで取り組むようになるだろう、と。

彼のページには、より長い版があります。Math 1.0 は証明の希少さで動いていたと彼は言います。解を見つけて証明することはまれで難しく、この分野の制度、伝統、インセンティブはそれを中心に組み立てられていました。画期的な証明が現れると、分野の反応は招待、会合、ワークショップ、新しい共同研究、新参者を生み、その証明が教科書に消化されるまで続きました。自律的に解かれた問題は、このサイクルをほとんど生みません。AI にプロンプトを与えた人は、目標が解かれた時点でその分野に関心がなくなることが多く、結果についての質問にも答えられないからです。ボトルネックについての彼の要約は率直です。それは「技術でも、制度文化ですらない。想像力だ。」

タイムズが伝える助言は、戦時態勢にいると言う人にしては、驚くほど穏やかです。問題を解くことは目的地に着くことより旅そのものが大事であり、道中で学ぶことは答えよりも重要なことがよくあります。一つの問題を一人で解くより、数学者は AI を使って十の問題を解き、そこからパターンと新しい問いを探せます。タイムズの言葉を借りれば、これは必要から生まれた受容で、戦いの呼びかけには聞こえません。

10 月 15 日：資金が届く

タイムズの人物記事が出る前日、サイモンズ財団は新たな取り組みを発表しました。パートナーシップのもとで、財団、Anthropic、OpenAI が、合計 1500 万ドルの資金とリソースを約束します。財団が、公募を含む形でその資金を管理して配分し、研究者が最近の AI を使った成果を評価し、新しいツールを学んで使い、見解を共有し、AI 利用についての集団的な基準を作るのを助けるワークショップや取り組みを支援します。Anthropic と OpenAI も、数学に限らず基礎科学で財団が支援する研究者に、ツールと計算資源を提供します。発表は、サイモンズ財団が Lean 証明支援系の初期の資金提供者だったことにも触れています。

OpenAI の分担は、自社の 10 月 6 日の記事への更新として、10 月 15 日付で現れます。この取り組みに 500 万ドルを拠出し、「数学者が、この記事で共有したものを含む、AI が生んだ成果を検証し、理解し、その上に築くのを助ける」ためで、モデルと計算資源へのアクセスも提供するとしています。同じ更新は、その資金がワークショップ、会議、特別プログラムに充てられると述べています。

これが批判への応答だったのかどうかは分かりません。どちらの出典もそうは言っていません。述べられるのは日付の順序だけです。言えるのは、資金の目的として述べられていること、つまり事後にコミュニティが結果を理解するのを助けることが、タオが 10 月 8 日に、本来は発見の瞬間にするのが最善だと述べた、消化の作業だということです。公開のあとにワークショップを支援することが、公開のときに著者がいることの代わりになるかどうかは、まさに彼の異議が提起する問いで、発表のどこにもその答えはありません。

10 月 16 日：「私は戦時態勢にいる」

エリザベス・ブミラーによるタイムズの人物記事は、タオが UCLA での二日間の数学ワークショップの合間にコーヒーを取る場面から始まります。同紙によれば、そこでは AI がこの分野にもたらす存在の危機が、どこでも話題でした。51 歳のタオは記者に、数学はほとんどしていないと話します。「私は戦時態勢にいる。」彼のページと同紙は、彼の時間が今どう使われているかを説明しています。数学者を集め、戦略を練り、講演し、同僚の相談に乗る。彼が地域社会の組織化と呼ぶものです。

関わり方についての逆転は、はっきりと述べられています。一年前には、と彼はタイムズに語ります。同社の多くの人とよい関係があり、彼らは「AI がどう使われるべきかについて、ごく一般的なビジョン、つまり科学者に力を与えるというものを共有していた」。しかし、公開を急ぐ様子は、彼らが実際にこの分野を何に使ったのかを示しています。彼らは「自分たちに必要だったもののために数学を使った。それは自社のモデルを評価することだった」。そしてこの記事の見出しになった一文が続きます。「現時点で、建設的に関わる道が見えない。」

彼が言っていないことにも注目する価値があります。彼は数学が間違っているとは言っておらず、AI をこの分野から締め出すべきだとも言っていません。10 月の彼の立場を記録している同じページは、責任ある利用、形式検証、オープンなツールを、彼が引き続き支持していることも記録しています。彼の不満は、成果の特定の公開のやり方に向けられています。著者が一人も手が届かず、問題に取り組んでいる人々との調整がなく、彼の言葉では、この分野よりも自社のモデルを評価することに関心のある会社です。

確認できず、省いたこと

この話についての要約には、この二日の間に書かれたものも含め、私たちが時系列に入れていない細部があります。出典が一つだけか、動画インタビューの自動字幕から来ているかのどちらかだからです。新しい論文のうちタオ自身が何本読んだか、何本が取り下げられたか、ある成果がその問題で五十年ぶりの最大の進歩だという順位づけです。公開の件数も、媒体によって異なります。私たちは、読める形で公開された出典が述べていることだけを残しました。一般向けの報道に出てくる「数学界のモーツァルト」という呼び名も使っていません。上に挙げた出典には見つかりませんでした。

私たちの見方

この話を読む役に立つ見方は、成果の最後の一マイルを誰が持つのかをめぐる争いとして読むことです。数学者と機械の戦いという構図で見ると、肝心な点を見落とします。タオの立場は夏から一貫しています。生成は安くなり、高いまま残ったもの、つまり説明、文脈、教育に、この分野の価値があります。研究所は一日に何百もの証明を作れます。同じ一日に、それを議論できる人を何百人も作ることはできません。

10 月 15 日の資金は、その消化の一部を事後に支払おうとする試みです。発表は、それがタオの異議への回答だとは述べておらず、このページは後の公開を予測せず、日付も割り当てません。

あわせて読みたい

全記事は新しい順に Front ブログ一覧 にあります。

• AI と数学者の時系列: 2026 年 10 月の AI と研究数学についての、より詳しい記録。
• Google Argon の時系列: Google の Gemini 4 Argon のリリースを日付順に記録したもの。
• Grok 4.8：xAI が実際に述べたこと: xAI の Grok 4.5 から 4.7 のリリースと、4.8 についての発言。
• Reflection Beam 501B の時系列: Reflection Beam 501B の重みの公開を日付順にまとめたもの。

よくある質問

更新履歴

• 2026年10月22日 — 2026-10-22 に OpenAI の投稿とタオのページを読み直した。10 月 6 日の投稿を公開済みとラベルし、350 件の成果とナビエ–ストークスの発表というタイムズの記述を報道とラベルした。後の公開を推測する文を削除した。
• 2026年10月17日 — 初回公開。

出典

• The New York Times: Why One of the World’s Greatest Mathematicians Is on a ‘War Footing’ (Oct 16, 2026)
• Terence Tao on AI: a living summary (updated Oct 16, 2026)
• OpenAI: Sharing AI progress in mathematics (Oct 6, 2026; updated Oct 15)
• Simons Foundation: $15M effort to help mathematicians navigate the AI era (Oct 15, 2026)