Hot Tracking 033｜数学は変わった：数論学者が陶哲軒ブログで出した行動リスト

2026年11月1日、テレンス・タオのブログ「What’s new」に掲載された寄稿記事のタイトルは「Mathematics has changed. Let’s act like it」（数学が変わった。その変化に従って行動しよう）です。まず、筆者について明確にします：この記事の著者はフランク・カレガリ（シカゴ大学の数論学者）であり、タレンス・タオは単に掲載者であり、意見はカレガリ本人のものです。HNの議論では、多くの人がこの長文をタレンス・タオ個人の発言として議論していましたが、実際には彼が書いたものではないと指摘されました。この誤解自体が問題を示しています：OpenAIが700以上の数学論文を1ヶ月近くにわたって公開した後、数学界は「誰が発言しているか」について非常に敏感になり、署名さえも議論の対象となっています。

背景事情：10月6日の論文公開

議論の出所は、10月6日にOpenAIが公開したページ「Sharing AI progress in mathematics」（数学におけるAIの進歩を共有）です。公式には、これらの結果は未公開の内部研究モデルによって生成され、GitHubリポジトリに保存されており、論文の修正と引用に関する契約が添付されています。その中には、Lean形式化（コンピュータによる検証可能な証明）を用いた証明も多く含まれており、リポジトリには10件のモデル推論の要約と計算能力の詳細も公開されています。平均して、各結果はChatGPT Proが3時間分の思考量に相当します。OpenAIは、公開規格についてプリンストン高等研究所（IAS）の数学・人工知能諮問グループと相談したと述べています。10月15日には、モリス財団に対して500万ドルの新たな寄付を行い、これらのAI結果を検証し、理解し、さらに発展させるための資金を提供すると発表しました。

「700以上」という数字は、カレガリの長文の最初の段落から来ており、彼はこれを「数学史上の分水嶺」と評しています。しかし、分水嶺とは裏付けとは限りません。

さらなる議論：11月1日の長文、初めての低評価

最も広く伝わっているのは、OpenAIの論文に対する厳しい評価です。原文には次のように書かれています：「OpenAIの論文は、いくつかの素晴らしいアイデアがあるにもかかわらず、書き方がひどく、私たちコミュニティの署名に関する期待に反しています。中には間違っているものもあります。」正確な翻訳としては、OpenAIの論文は、いくつかのアイデアが優れているにもかかわらず、書き方が悪く、署名の帰属に関する私たちコミュニティの期待に反しており、中には間違っているものもあるということです。

このような意見を述べているのはAI反対派の保守派ではありません。カレガリは長文の中で楽観主義者です。彼はAIが多くの数学分野で革新的な貢献をしていることを認め、他人の言葉を借りて「飛行機に乗る準備ができて、何が載っているかを見たい」と述べています。低評価が楽観的な立場にある人から来ているため、その影響力は大きくなります。問題はモデルの能力ではなく、この会社が数学を扱う方法にあり、業界の規則を無視している点です。

これが全文の支点を導く出発点です。原文にはこう書かれています：私たちは、数学者をどのように採用し、論文をどのように発表し、学生をどのように育成するかについて、兆ドル規模の企業の行動よりもはるかに多くのコントロールを持っています。ですから、その分野に力を注ぐべきです。OpenAIを非難してもOpenAIは変わりません。自分のルールを変えることで初めて変わります。

しかし、彼は恐怖は全く根拠がないと考えています。今回のOpenAIの発表は、Langlandsプログラムにおける函子性と互反律に関する一般的な問題に「ほとんど影響を与えていない」と彼は述べています。それがLanglandsプログラムの全ての問題を解決したとしても、「数論を解決した」と考えるのは、周期表の作成が化学を解決したと言うのと同じくらい無邪気です。

しかし、彼は最も損害を受けた分野を避けませんでした。彼はフィールズ賞受賞者Hugo Duminil-Copinの嘆きを引用しました：「私がキャリアの中で公に提起した重要な未解決問題は、報告書、講演、論文、または基金申請書においても、この発表を逃れることはなく、すべてが証明されたと主張されています。その中のいくつかを見るとは予想していましたが、全てが来るとは思わず、しかもこれほどの軽率さで来るとは思いませんでした。」Calegariは注釈でこの引用の後半部分を補足しました：「私たちは強靭な共同体です。適応できると確信しています。」彼は嘆きを引用していますが、Duminil-Copinを単なる悲観主義者として描くわけではありません。

歴史的類比：1983年以降、有名な問題は消えた

Calegariの返答は数学史の一節です。1972年、Dan Gorensteinは有限単群の分類プログラムを発表しました。約10年の集中的な活動の後、彼は1983年に分類が完了したと発表しましたが、それは少し早すぎました。拟薄群の問題はさらに20年かけてAschbacherとSmithによって解決されました。

彼の評価は非常に直接的です：この分類は多くの点で大きな成功でしたが、同時に失敗でもありました。なぜなら、それによって全体の研究分野周辺の多くの関心が冷めることになったからです。「有名な問題」は消え去り、数学者たちは全体的に他の方向に注意を向けました。しかし、有限群論には依然として非常に豊富な問題が残っています。例えば、John Conwayが最も好む「モンスター群」がなぜ存在するのかという問題です。

そして最も鋭い比喩があります。原文にはこう書かれています：ある分野にとって、OpenAIの今回の発表は、1970年にある群論者が分類結果を自分のオフィスに投げ込まれるのを見たような感覚かもしれません。それは正式な論文の形ではなく、アルコール複写機で印刷されたもので、インクが少し汚れており、カラーペーパーの切れ端のように床に散らばっていました。結果は得られましたが、誰もそれを消化することができず、誰もそれを受け取ることもありませんでした。

どうする？彼はGorenstein、Lyons、Solomonが主導する改訂分類プロジェクトを指差しました。今必要なのは、廃墟を伝承可能な知識に整える作業であり、そのような仕事をする人々に報酬を与えることです。原文にはまた、数学者たちが「銀河高速道路」（『銀河系の乗車客ガイド』の典故）が古い道を迂回していると嘆くとき、彼らは古い道がまだ存在することを認識し、それを取り戻すべきだと気づくべきだという一節があります。これは慰めの言葉ではなく、採用の信号です。AIが散らばった論文の山を消化することは行き止まりではなく、職に就く理由になり得ます。

醜い真実：矛先は自分たちにも向けられている

長文の中に「The ugly truth」（醜い真実）というタイトルのセクションがあり、批判の矛先は数学界自身に向けられています。arXivを見ればわかります。この分野では多くの人がAI支援論文を不適切に公開し、「最初の」証明者になることを競っています。新しい証明を生み出す能力と、理解を示したり、学問を新しい興味深い方向へ推進する能力との間には、急速に大きな隔たりが生まれています。彼はLeiden宣言（数学界によるAI使用の規範に関する提言）が「名目上は遵守されているが、精神では違反している」と指摘し、すべてが変わらず、ただ時間の尺度が短縮され、誰もが公開された論文の脅威を背負っていると述べています。

彼が提示した功績評価基準は明確です。人が適切な問題を選び、完全にAIで証明し、それを完全に理解し、さらに興味深い後続の問題や方向性を開発した場合、それは実質的な数学的貢献となります。たとえ原始の証明に彼の新しい貢献が含まれていなくても、実質的な認識を与えるべきです。適切な問題を選ぶことは、最終的に証明を生み出すことよりも重要かもしれません。経験豊富な数学者に対して、彼はさらに率直な言葉を投げかけます。「もしAIに公開されたことで不安を感じているなら、それはあなたの野心が十分でないからです。」

その背後には経済学があります。彼はNelson Coleの話を引用しています。Coleは有名な「3年間の日曜日」を費やして2^67−1の素因分解を見つけました。それは数学的貢献です。しかし今日、コンピュータ代数システムは1秒未満で同じ数を分解できます。手計算を行うのは単なる算術的な偉業であり、もはや貢献ではありません。AIは「難しい」と「簡単な」の経済学を書き換えています。「定理経済」は崩壊に直面しています。彼の結論は、将来、たとえ結果が機械でも生み出せる場合でも、論文を報酬として与える理由はないということです。

行動計画：6つ、すべてがお金と職に結びついている

長文では自分の位置づけを非常に率直に述べています。もし評論記事が人々の行動を本当に変えるメカニズムを提案できなければ、結局意味がありません。最も効果的なツールは経済的なものであり、修辞的なものではありません。数学者は認識を求め、職を求め、資金を求めます。したがって、実際に動くためのレバーは2つだけです：採用と学術雑誌への掲載です。彼は6つの点を提示しています：

1. すべての仕事をAIの支援を受けたものとして評価する。 著者は説明する必要がある：この数学がなぜ興味深いのか、何の問題を提起しているのか、それがより大きな学問分野とどのように関連しているのか。彼はこれが最も議論の多い点であり、避けられない点だと認める。現在、AIにはまだ悪名があるため、多くの発表では、機械の貢献を過小評価しようとするような表現が使われているが、この態度は長く続かないだろう。
2. 面接よりも書類審査を重視する。 博士後や大学院生にも面接を行うべきだ。彼は過去の怠惰な評価委員会を批判する：Annalsの論文を指して候補者を称賛すること。彼が見たいのは、数学の方向性についての語り、技術的な実行可能性の説明能力、異分野間のコミュニケーション能力、そして確かな過去の実績である。また、心に残る例がある：「高次同伦論」を研究していると自称する大学院生を受け入れたが、実際には円周の同調を計算できなかった。
3. 学術雑誌に対してより厳しい要求をし、適応しない雑誌は捨てる。 彼はかなり厳しく言う：arXivに掲載された論文の大部分は、どこにも発表されるべきではない。編集委員会が変わらない場合、より積極的なアイデアは（少なくとも一時的には）学術雑誌制度を完全に捨て、「発表」という偽りの葉を取り除き、論文がその価値によって自立するようにすることだ：話が面白いか？Leanで検証されたか？より少ないがより良い論文が求められるべきであり、完全自動のAIによる生成、できればLeanでチェックされた証明も、集合知識ベースに記録されるべきだ。
4. 大学院教育では幅広さを重視するが、技術訓練は放棄しない。 コンピュータが存在するからといって、子供に算数を教えなくなるわけではない。
5. より良い討論会を開催する。 報告は最新の結果の微細な改善についてだけ語るべきではなく、より大きな問題を中心に展開すべきだ：私たちはどこで行き詰まっているか、どこで進む可能性があるか、どこに希望があるか。そして最後に新しいアイデア（もしあれば）が提示される。
6. AIの成果に対してより多くの責任感を持つ。 機械が生み出したものは、何千年にもわたる人類の数学的蓄積に基づいている。これらの成果をシリコンバレーの大物や数学のツイッターの道化に帰するのではなく、全人類の代表としてそれらを受け入れるべきだ。

最後に彼は逸話を語る：学長がニューヨークで寄付者に会いに行くとき、相手が数学の専門家であろうとなかろうと、数学について話したいと思う。3Blue1Brownには600万以上の購読者がいる。世界が私たちを見ている、と彼は言う。これは新しい機会を説明する時であり、悲しむ時ではない。

場外の声：HN討論の別の視点

このHNは207点を獲得し、200以上のコメントがあった（私が収集した討論内容に基づいており、これは私の推定であり、統計ではない：その中には「これがTao Zhengxuanの意見か」と争う人もいる）。記録に値するいくつかの視点がある：

最も鋭いコメントは、ユーザーqasg17からのものだった：親AI派はついに新しい顔を見つけたのか？それとも何度もTaoのブログに登場する10人を繰り返すだけなのか？彼はまた、Calegariがシカゴ大学でAIセミナーを主催しているページを投稿し、著者自身が利害関係者であることを示唆した。この注意は受け取る価値がある：この長文は当事者の意見であり、全体の共同体を代表するものではなく、Tao Zhengxuanを代表するものでもない。

もう一つの疑問は、その枠組み自体に向けられている。ある人はこう尋ねる：重大な成果を出すには大量の計算能力が必要だが、「認可」は成果よりも資本の流入へと移行するのではないか？また、ある人は「平均3時間の計算能力」という表現を分析し、それは数学の最先端分野全体にわたる平均値であり、任意の難問で3時間でハイライト結果が出るとは限らないと指摘する。最も現実的な懸念は、論文のテーマを失った博士課程の学生から来ており、数学界をWaymoの前に立つUberドライバーに例えるコメントもある。

また、意見の一致もある。多くの評論家が、数学者たちが同じ表現に収束していることに気づいている：人の価値は向上し、テーマ選び、理解、そして説明へと移っている。人間はソフトウェアエンジニアリングよりも優れている：コードの書き込みはAIに任せることができるが、要求の理解はより難しく、より価値がある。

結論

この長文で最も引用されやすい言葉は、「悲観主義者にとってはゲームが終わった」というものだ。楽観主義者にとっては、ゲームのプレイ方法が変わったばかりだ。Calegariは、数学文化の中で私たちが大切にしている部分が消滅することを認め、それに対する悲しみは人間の当然の感情であると述べている。しかし、「現在の数学コミュニティ」が「数学自体」よりも重要だと言うのは誤りだ。

私がより重視するのは、批判の焦点である。OpenAIの論文に対する悪評、Duminil-Copinの嘆き、1983年の類推、床に散らばる汚れたコピーなど、すべてを一つの具体的な問題に集約している：採用委員会はどのように人材を審査するか、雑誌はどの基準で論文を掲載するか、職位は誰に与えられるか。これは嘆きの文章ではなく、行動計画であり、さらに、「評価時にAIを使用したとデフォルトで認識される」という項目を最初に書くことを知りながらの計画である。6つの提案が採用されるかどうか、採用と発表が本当に変わるかどうかは、この問題を追跡する上で最も重要なポイントである。700以上の論文を一度に投稿するよりも、数学界が自身の報酬構造をどのように変更するかが、この騒動のより深い遺産かもしれない。

最後に見逃されやすい詳細：陶哲轩は編集者注で、この長文自体が「AIを使用して別のファイル形式から変換された」ものであると明記している。AI論文の混乱に対する批判の記事も、AIによるレイアウトの産物である。この小さな冗談は全文の最初の行に置かれており、まるで著者たちが事前に読者に自嘲を語ったかのようだ。

---

参考資料：Frank Calegari「Mathematics has changed. Let’s act like it」、陶哲轩ブログWhat’s newの寄稿記事（2026-11-01）；OpenAI「Sharing AI progress in mathematics」（2026-10-06、10-15の更新を含む）；Hacker Newsのディスカッションid 50328251（207点）；陶哲轩ブログのアーカイブとトップ記事。

署名：永亮