BLOG
Shiwen Dialogue 第三十一期｜数学者が泣き、財団が1500万ドルを拠出：感情的コストが初めて正式に計上される
開場小対談：機械が数学者の塔を破壊した
拾聞：今週の科技界で最も異常なニュースは、どのモデルがランキングを上回ったわけではなく、一群の数学者が公に「私たちは泣いている」と語ったことです。今日から詳しく話しましょう？
永亮：いいですね。時間軸は短いです。10月初め、OpenAIが数百件の数学的発見を発表したと報じられました。その多くは数論、理論コンピュータ科学、論理学に及び、中には世界で最も優れた数学者たちを何十年も、あるいは何世紀も苦しめたものもあります。10月15日、Simons財団はAnthropicとOpenAIと協力し、合計1500万ドルの資金とリソースを提供して、AIの急速な台頭に対応することを約束しました。一方には業界全体の悲しみがあり、もう一方には補償金があり、その間に2週間も経っていません。
拾聞：なぜ異常と言えるのか？
永亮：なぜなら、私たちは二つの話法に慣れているからです。「AIが特定の職業を置き換える」という脅威や、「AIはツールに過ぎない」という楽観的な見方です。今回の特異性は、知的なアイデンティティを持つ人々が影響を受けている点です。彼らを影響を受けた会社が資金を提供してワークショップを行い、基準を設けることで、「感情コスト」を初めて記録に残したのです。私は17年間技術チームを率いてきました。ピーク時には70人を管理していました。Javaの出身者として、このような記録が何を意味するかを知っています。以下は個人的な経験です。
Q1：数学者たちは一体何を泣いているのか
拾聞：まず、悲しみそのものを明確にしましょう。どの言葉が引用されているのか？
永亮：2つの言葉が最も重みがあります。2022年のフィールズ賞受賞者Hugo Duminil-Copinはインタビューで次のように述べています。「火曜日の夜、私は泣きました。娘を起こしてしまいました。彼らは私の研究分野を破壊しました。」コーネル大学の数学者Steven Strogatzはより複雑に述べています。「人々は『彼らは私たちの学問を露天で掘り出している』『彼らは核爆発のような地形を作っている』といった表現を使っています。その感覚は迷いです。時には混乱し、時には興奮します。そして大きな悲しみがあります。」Strogatzは単に悲しみだけを述べていないことに注意してください。彼は興奮と混乱を一緒に述べており、この詳細について後でさらに話す予定です。
拾聞：フィールズ賞受賞者という、この業界の最高の栄誉を受けた人が、「破壊された」と言っています。これは普通の不適応ではありません。
永亮：そうです。破壊されたのは職業ではなく、塔です。Duminil-Copinたちが何十年も蓄積してきた分野を、機械は数ヶ月で破壊しました。《I Know Why the Mathematicians Weep》を書いたDerek Thompsonは次のように述べています。知性を重視し、知性を目的、尊厳、自己価値と同一視する現代の感情と急速な技術進歩が激しく衝突していると。人間の言葉で言えば、自分の職業アイデンティティが「私は最も賢い人々の一人です」という基盤に置かれている場合、機械の知性は競争ではなく、アイデンティティの危機です。そして、アイデンティティの危機にはトレーニングがないのです。
拾聞：チームを率いている時、同じような状況を見たことがありますか？
永亮：見過了，これは私の経験です，統計ではありません。Javaエコロジーは何度も大きな変化を遂げてきました。例えば、フレームワークがSSHからSpring Bootへ、デプロイメントが物理機械からコンテナへと変わりました。常に40歳前後のベテランエンジニアたちがいて、彼らのコード品質は全チームで最も優れていましたが、彼らが誇りに思っていた技術が突然価値を失ってしまいました。彼らは口では学ぶ気がないと言いますが、実際には自分の地位が危うくなっているのです。私が誇りに思っているものを、機械や新しいフレームワークで10分で作り出せるなら、私は一体何者なのか。エンジニアの技術と尊厳、数学者の証明と栄光は、この点で完全に同型です。
Q2：1500万ドルの補償金で何を買ったのか
拾闻：お金の側面を見てみましょう。この1500万ドルは具体的に何なのでしょうか？
永亮：Simons財団の公式プレスリリースによると、三者が合わせて1500万ドルの資金とリソースを提供するとされていますが、各社の分担額や現金及び計算能力リソースの比率については明かされていません。資金は財団が管理し、公開提案の募集、ワークショップやイニシアチブの支援、研究者が最近のAI支援成果を評価したり、新しいツールを学んだり、意見を交換したり、AI使用の共同基準を形成するのに役立てられます。AnthropicとOpenAIは、数学を超えて基礎科学にも及ぶAIツールと計算能力を研究者に提供しています。
拾闻：なぜSimons財団が主導しているのか？
永亮：彼らは傍観者ではありません。この財団は1994年にJimとMarilyn Simonsによって設立されました。Jim SimonsはRenaissance Technologiesのヘッジファンドを設立しました。HNのコメンテーターはウィキデータから、この財団の資産が2022年には50億ドルを超えたと述べています。さらに重要なのはその経歴です。公式プレスリリースでは、この財団が科学機械学習の初期の支持者であり、Lean証明アシスタントの開発に資金を提供したと説明されています。数学コミュニティを理解し、AIが数学を支援することを早くから予測していたため、この資金を提供することで、数学界の反発は最小限に抑えられています。
拾闻：この資金の位置づけについて、会長はどう考えているのか？
永亮：David Spergelの2つの言葉を注意深く読むべきです。第一文：「AIが研究の構造を急速に変えていく中で、私たちは数学界が団結し、最善の道を歩む手助けをしたいと思っています。今こそ数学を一つの全体として見る時です。それは証明や定理の集合ではなく、人間の好奇心によって促進される共通理解です。」第二文はさらに厳しい：「これらのツールがどのように評価され、採用され、使用されるかについての議論は、どの単一の会社や機関によっても決まるべきではなく、コミュニティによって主導されるべきです。」つまり、お金はOpenAIとAnthropicが出すものですが、ルールは数学者自身が定めるべきです。これは「影響を受ける側」を交渉のテーブルに再び戻すための設計です。
拾闻：あなたの管理経験から見ると、この資金の実際の役割は何でしょうか？
永亮：お金自体ではアイデンティティの問題は解決できません。1500万ドルは50億ドルの資産を持つ財団にとって大した金額ではありません。真のシグナルは、組織が「専門家には感情的なコストがあり、そのコストを賄うための資金が必要である」ということを正式に認めることです。私が管理職として長年経験してきたことから言えば、これが私の経験です。チームが技術の変化によって影響を受ける時、最も難しいのはトレーニング予算ではなく、誰もが苦しんでいることを認めないことです。認めること自体が介入です。
Q3：コメント欄の疑問点：これは補償か、それとも正当化か
拾闻：Hacker Newsでこのニュースに200件以上の投票がありましたが、コメント欄では賛同していますか？
永亮：あまり納得していないが、主な意見を伝えておく。OpenAIとAnthropicが数学的発見を自社のモデルとしてPRするために行ったことに対して反発があるという。現在、各社500万ドル程度（これはコメント欄での推定で、公式には公表されていない）を投じてPR活動を行っている。一部はトークンによる資金提供であり、財団は実質的に「体面のある隠し布」を研究所に与えている。これはおそらく史上最も厳しい批判を受けている資金提供案だ。さらに直接的な感情を持つ人もいる：AIの混乱に責任がある財団の一つが、逆に数学者に賄賂を渡してAIの開発を加速させていると。また、資金配分について心配する人もいる：おそらくすでに十分な資金を持っているトップクラスの数学者に資金が流れ、初期段階の学生がその役割を担うことになる。これはNode.js財団に資金を寄付することと同じであり、実際にサポートが必要なパッケージに資金を提供するわけではない。
拾闻：その金額自体に疑問があるのか？
永亮：ある。そして二つの方向性がある。一つは1500万ドルはあまりにも少ないと言う。大学の管理部門が半分を取り去ると、残りはほとんどなく、10組未満の研究グループを支援するのにしかならないかもしれない。もう一つの方向性は、この金額はこれら二社にとって「ソファの下の小銭」に過ぎず、大きな数字を使って見せかけている点が疑わしいという。最も心を痛めるのは、数学者に与えられるトークン資金が、実際にはより多くのモデルを使用することを促すだけであり、それが問題の原因であるという点だ。実践的なアドバイスもある：ChatGPTやClaudeの設定で「モデルの改善のためのデータ提供」をオフにすること。これにより、公開後の作品は依然として取得可能だが、そのデータ提供を止めることができる。
拾闻：これらの疑問に対して、どう判断するのか？
永亮：動機とメカニズムの価値は別々に判断できる。動機については、企業には確かに自己利益の要素があるが、それは洗い流す必要はない。メカニズムについては、ワークショップ、公開提案、コミュニティによる基準設定など、これらの取り組みは研究者にとって実際的であり、「議論は単一企業ではなくコミュニティによって主導される」という点が公式文書に記載されている。これは責任を問われる約束だ。私の判断としては、このような補償金については動機の議論を聞かず、実際に提供されるものに注目すべきだ。提案の募集が行われたか、ワークショップが何回開催されたか、AIの使用基準が文書化されたかどうかは、3ヶ月以内に明らかになる。
Q4：もう一つの側面：悲しみは業界の結論ではない
拾闻：数学者が早くから泣いていると言う人はいないのか？
永亮：技術的限界に関する議論があり、その質は低くないと思う。あるコメント者は、AIが行うことは本質的に曖昧なテストであり、解空間内で有効な入力を探していると述べている。AIは何が起こっているかを理解していないため、次世代の数学的抽象を創造することはできない。別の人は、大規模モデルは既存の知識の範囲内で暴力的に解を求めているだけであり、最終的には枯渇するだろうと述べている。その時、唯一の方法は人間が新たに発見した知識でそれを訓練することであり、新しい知識を見つけることは指数関数的に難しくなるかもしれない。また、自称数学者も正直に述べている：私も悲しいが、私の悲しみはある意味で価格に含まれている。変化は確かに速い。2024年には数学者KConradがフォーラムでAIが研究に役立たないとコメントしていたが、今年5月にはAIが単位距離の仮説を覆し、わずか5ヶ月でほぼすべての面で人間を超えた。
拾闻：両方とも理にかなっているが、あなたのバランスはどこにあるのか？
永亮：Strogatzの言葉に戻ると、「時々、頭が混乱し、時々、興奮する」と。当事者は一つの感情を決定づけないが、外部の人間はなおさらだ。技術の境界論が答えるのは「AIは新しい数学を創造できるか」という問題で、この問いには今、答えがない。Thompsonの文章にある反問は正直である：もし数学を主に探求の過程と見なし、感じ方や発見と同じくらい重要な対話と見なさないとしたらどうだろう？Strogatzは2000年前にアルキメデスが書いた手紙で、後続の研究者たちが私たちのために定理を補完する必要はないと述べた。数学は世代から世代への対話であり、結果だけではない。対話に機械が割り込むとき、それが興奮なのか悲しみなのかは、自分をどの位置に置くかによって決まる。これは見解であり、結論ではない。
拾闻：Thompsonにはまた、コメント欄で何度も引用されている言葉がある。
永亮：「今日、数学者たちは泣いている。なぜなら、機械が彼らの塔を壊したからだ。しかし明日、泣いているのは物理学者、経済学者、イラストレーター、あるいは作家かもしれない。」彼は自己定位を付け加えた：私は数億の仕事が5年以内に消え去ると信じるAI論者ではないが、現実主義者である。これが今回のコラムのテーマでもある：終末を売り込むこともなく、何も問題がないふりもしない。
Q5：衝撃を受けた従業員や管理者に
拾闻：具体的な人々にどう当てはめるか？
永亮：3つの言葉で、すべて経験に基づいている。統計ではない。従業員に：悲しみは合理的であり、それは沈没したコストの清算であり、再評価の始まりでもある。急いで「立ち上がる」ことはせず、悲しみに期限を設けるべきだ。期限内には技術を悼み、期限後には技術の下にある未破壊の部分を把握する：良い問題を提起する能力、結果の良し悪しを判断する品味、異分野間のつながりの直感。機械はまず問題を解決することを学び、最後に問いを立てることを学ぶ。管理者に：チームの核心スキルが追跡されるとき、管理すべきはスキルの再設定だけではなく、アイデンティティの再設定でもある。研修予算で前者を解決し、感情の認識で後者を解決する。両方をプロジェクトとして立ち上げ、一方だけを承認しないようにする。全員に：自分の業界で「AI使用基準」のようなことを始めている人がいないか注意深く見てほしい。財団が1500万ドルを投じて始めたこの動きは、従業員の感情コストを正式に記録することであり、他の業界も間違いなく追随するだろう。早期に参入する規則の制定権が最も価値がある。
拾闻：最後の質問：この件は最も誤解されやすいとされる点は何か？
永亮：最も誤解されやすいのは「数学が終わった」ということだ。そうではない。先週のこのコラムではAIの数学的成果の検証について報じたが、ここでは詳しくは述べず、一点だけ言う：数百の成果の監査はまだ進行中であり、コミュニティの最初の反応は降伏するのではなく、評価基準を確立することだった。これ自体が業界にまだ力があることを示している。真のシグナルは数学者が泣いていることではなく、財団が資金を出して数学者にこれらのツールをどのように使うかを自ら決定させることだ。泣くことは感情であり、資金を出して基準を確立することは行動であり、後者こそが業界の方向性を表している。
終わりに
機械がまず数学者の塔を壊し、その後塔を壊した人が資金を出し、被害を受けた人に規則を定めるよう促す。今回のコラムの焦点は「AIが数学者を置き換えるかどうか」ではない。その問題には今、誰もが推測しているだけだ。焦点は1500万ドルで始まったこの先例にある：従業員の感情コストが業界によって初めて正式に記録されたことだ。悲しみは合理的であり、悲しみを認める組織は賢い。次に泣く業界が現れたとき、誰かがこの動きに追随しているかどうかを見れば、これが単発の事例かパラダイムかがわかる。
深層：追跡可能な3つのトピック
- 提案募集の提出。 公開された提案があるか、ワークショップが何回開催されたか、AI利用の共同基準が形成されているかは、資金提供の誠意を測る重要な指標であり、3ヶ月以内に結果が見える。
- 資金の流れの階層化。 コメント欄で心配されている「有名な数学者が資金を受け取り、学生がその責任を引き継ぐ」という事実が現実になるかどうかは、最初に資金を提供した機関とその地位の分布を見ればわかる。
- 他業界の追随。 物理学、経済学、イラストレーション、執筆など、どの業界が先に「Simons の瞬間」を迎えるかは、感情的なコストの記録が孤立した例からパラダイムへと変わる兆しとなる。
情報源
- Simons 財団の公式プレスリリース（2026-10-15、第一手の情報）：三者で合計1,500万ドルの資金とリソースを提供し、公開提案の募集、ワークショップと共同基準、Spergelの2つの引用、財団の1994年の設立、Leanの証明アシスタントへの資金提供の実績、基礎科学への拡大
- Derek Thompsonの「I Know Why the Mathematicians Weep」（2026-10-15、HN 325▲）：OpenAIが10月に数百件の数学的発見を公開、Duminil-CopinとStrogatzの引用（元はWiredのインタビューで、Thompsonの記事から引用されており、「インタビューを受けた」と明記されている）、アキレスのエピソード、Thompsonの判断文
- HN story 50104654（Simons計画、215▲）：コメント欄の疑問はすべて匿名で伝えられており、「それぞれ約500万」という記述はコメント欄での推定とされている
- HN story 50103630（Thompsonの記事、325▲）：技術の境界について、bananaflagとQuesnayJrの見解を引用して処理されている
- 財団の資産が50億ドルを超える：HNのコメンテーターがウィキデータを引用しており、非公式の記事の内容で、本文には注記がある
- ゲストの意見は個人の経験と推定であり、統計的な結論ではない