2026/10/08 4:33
数学的終焉（マセコプシス）
RSS: https://news.ycombinator.com/rss
要約▶
Japanese Translation:
以下の改訂版サマリーは、明瞭性を保ちつつ主要な全ての点を統合しています：
OpenAI は最近、計算量理論および計算幾何学の長年の未解決問題の約 5% に相当する 370 以上の主要な数学的なブレークスルーを発表しました。この発表は、Timothy Gowers、Edward Witten、Subhash Khot を含む諮問グループの提言により行われ、Dana Moshkovitz がキャリアを通じて取り組んできた問題の一つである Khot の Unique Games Conjecture (UGC) の証明を含む画期的な結果を含んでいます。この証明は、半定分式緩和を超えたわずかな近似下であっても多くの最適化問題が依然として NP-hard であることを示唆しています。また、この発表では L=BPL が成立すること、O(n log^0.9999999999999 n) の時間計算量で整数乗算を実現すること、1960 年代の障壁を破ること、および Greg Kuperberg と Scott Aaronson による 2007 年の Unitary Synthesis Problem を解決することを確立しました。追加のブレークスルーには、1999 年以来 Parity が QAC0 に属さないことの証明（ランダム化と量子問い合わせ計算量の間の長年存在したギャップを閉じたこと）、2 次元ギャップ付きハミルトニアンに対する領域法則の確立が含まれます。その他の結果には、O(n^9/4) の時間計算量での行列乗算、永久体の決定論的複雑性に関する改善された下界一般グラフにおける完全マッチングと最大マッチングの数を数えたり見つけたりするための新しいランダム化アルゴリズムなどが含まれています。
このリストは、P≠NP、P=BPP、NEXP⊄P/poly、およびリーマン仮説などの主要な未解決問題を除外しているのに注目すべきです。一方、ホッジ予想や Birch-Swinnerton-Dyer 予想などいくつかのミレニアム問題に対する部分的な進捗を含んでいます。この成実は、最近の独立した成功に続くものであり、Virginia Williams と Josh Alman が Anthropic の AI 支援により 3SUM 問題（O(n^1.9992)）および全対最短経路問題（O(n^2.9995)）に対して解いたソリューションが、半世紀前の予想を否定しました。
OpenAI は、このマイルストーンに到達するために、内部モデルを約 8,000 の問題に対してテストした後、解決された各問題あたり約 3 時間のハイレベルな計算資源を使用しました。この仕事は、数学へのアプローチのシフトを浮き彫りにしています：以前には私人企業と有償の数学者特使を含むモデル（「Anthropic モデル」と呼ばれる）とは対照的に、OpenAI のアプローチは、人間が集団的に AI が生成した不整な証明を消化する必要があり、それらを理解するには外部の AI 支援を要する場面もある、という公共コミュニケーションモデルを育んでいます—even Lean 証明書が利用可能であってもです。内部で使用されたモデルは、安全性審査委員会の勧告を待機して数ヶ月以内に ChatGPT の顧客に提供される可能性がある一方で、特注の 10,000 エージェントシステムに依存する必要はありませんでした。Scott Aaronson もまた、彼のブログでのコメントポリシーの変更について言及しており、2024 年 7 月よりコメントを個人宛てのメッセージとして扱い、公表のために選別される場合を除くこと、「編集者への手紙」に類似したことを示しています。
本文
数学史上最大の夜：AI が証明を解いた瞬間と今後の展望
昨夜、妻である複雑性理論研究者のダーナ・モシュコヴィッツさんがロボットによって研究していた数学の問題を解かれてしまったというニュースを受け、9 歳の息子がこうからかっていました。
「お母さん、あなたが『茹でられてしまった』と聞いたのよ。あなたずっと研究に取り組んできた数学的問題をロボットが解いてしまったらしいわ」 「オーフ！（悲鳴のような音）」
この出来事は間違いなく数学史上最大の日の一つでした。オープン AI が発表した 372 の大規模成果の中に、サブハシュ・ホット氏が長年証明しようとしてきた「ユニークゲーム予想（UGC）」の証明が含まれていました。
🧮 ユニークゲーム予想（UGC）の証明と新たな局面
重要な成果
- UGC の証明: オープン AI が証明し、ティモシー・ガウワーズ氏やエドワード・ウィテン氏ら著名数学者から推薦されました。
- UGC は、半正定値行列緩和法による解よりも良い近似解を求めるのがNP 困難であることを示す命題です。
- 証明の正当性: 「幻覚剤を摂取している人が書いたような」「AI の助けなしには読めないひどい記述」など、人間がすぐに理解できる内容ではありませんでした。
- しかし、リーン（Lean） というシステムによる証明保証書が存在するため、形式的には十分確信を持って証明とみなされています。
- 今後の課題: 理解するためのレースが始まりました。論文は「エイリアン」のような奇妙なコードで、従来の手法とは異なる再帰的な構造を持っています。
ダーナ・モシュコヴィッツ氏の反応
感情の揺らぎは大きいですが、以下の二つの要素が緩和要因となっています。
- 自らの正しさを裏付けられた: 多くの同僚が疑問視していたにもかかわらず、UGC の真であることを見極められていたため、「自分が間違っていなかった」と実感できます。
- 共同体としての達成感: 数学、理論計算機科学、数学物理学の分野にいる我々は「同じ船に乗っている」のです。鋭く定式化された問題が解決されれば、それは全員の勝利です。
🚀 その他の驚異的な数学的ブレークスルー
ユニークゲーム予想以外にも、今後数週間で注目すべき重要な成果が多数発表されました。
- L = BPL の証明
- 確率的論理空間と決定論的論理空間は同一であるという仮説の証明。
- P = BPP に次ぐ大きな脱ランダム化仮説の一つです。
- フーリエ変換と整数乗算の高速化
- O(n log n) よりも少ない時間で実行することに成功（約 $O(n \log^{0.999...} n)$）。
- 1960 年代以来存在した障壁を破りました。
- ユニタリ合成問題への解決
- すべての $n$ ビットユニタリ変換 $U$ に対して、古典的オラクル $A$ を使うと量子多項式時間で実現可能であることを示しました。
- ホーキング放射のデコードなどの他の計算問題にも影響を与える可能性があります。
- 偶数性が QAC0 に含まれないことの証明
- 1999 年以来の量子複雑性理論における偉大な未解決問題への解答です。
- ランダム化・量子クエリ複雑性の分離
- ほぼ 4 乗の分離が達成されました（当初は 2〜6 の間、近年は 3〜4 の間と分かっていた）。
- ついにこの物語は閉じられます。
- センシティティとブロックセンシティティの超二次的分离
- 2 次元ギャップ付きハミルトニアンの面積則
- ハミルトニアン複雑性の主要な未解決問題の一つです。
- 行列乗算アルゴリズム
- $O(n^{9/4})$ の時間での実現に成功。ついに有理数指数になりました。
- 従来の $O(n^{2.373})$ などとは全く異なる手法を用いています。
- パーマネントの行列式的複雑性
- 下界が $\Omega(n^3)$ に向上しました（前までの二次的評価を改善）。
- グラフマッチングのアルゴリズム
- 完全マッチングの数え上げ：ランダム化多項式時間アルゴリズム。
- 最大マッチングの探索：ランダム化ほぼ線形時間アルゴリズム。
- ディオファントス方程式の不可算性
- 有理数体上の多項式方程式の解法に対する不可算性が証明されました。
- 計算可能性理論における最大の未解決問題の一つです（ヒルベルト第 10 問題への否定的回答に関連）。
🤔 残された大きな山：P ≠ NP と他
- P ≠ NP の不在: 「今年の成果」として十分重要なものですが、P = BPPやNEXP ⊄ P/polyのような仮説は登場しませんでした。
- 難易度の現実: 理論計算機科学における最大の未解決問題は、依然として非常に難しいことを示しています。
- ミレニアム問題への進展: リーマン仮説やホッジ予想など、残りのミレニアム問題の多くに対する部分的な進展が含まれていますが、完全解決には至っていません。
🔄 2 つの AI 数学モデル：オープン AI vs アンソピーク
この発表の直前、バージニア・ウィリアムズ氏とジョシュ・アルマン氏は arXiv に以下を公開しました。
- 3SUM 問題: $O(n^{1.9992})$ で解決（半世紀前の仮説 $n^2-o(1)$ を否定）。
- 全対最短経路問題: $O(n^{2.9995})$ で解決（半世紀前の仮説 $n^3-o(1)$ を否定）。
- 重要なアイデアはアンソピーク（Anthropic）のモデルから提供されました。
モデルの違いと役割
- オープン AI モデル:
- 人間が混乱した AI の証明を消化し、説明する「狂騒的なレース」を促します。
- 長所：多様な試みを生む。短所：混乱を招く可能性。
- アンソピーク モデル:
- 特定のエージェントに支払う対価として、人間の数学者が AI の大使となることを提案しました。
- 長所：質の高い検証。短所：特定の企業や個人に依存するリスク。
現在の状況
- 使用されるモデル: ナビエ＝ストークス方程式のブローアップ構築などに使われたような超大型専用装置ではなく、単なる最新の内部オープン AI モデルでした。
- 安全性ボードの推奨により、今後数ヶ月以内に課金するチャット GPT 顧客に公開される可能性があります。
- 達成度: 約 8,000 問の問題でテスト済みですが、コミュニティが長年取り組んできた未解決数学問題のうち、**約 5%**しか解決していません（各問題への試みは平均 3 時間）。
🌏 コミュニティの対応と比喩的考察
コミュニティの反応
- シモンズ研究所やテキサス大学オースティン校などで、研究者たちが急いで論文を読み込み、理解しようと動いています。
- 「狩人・採集者 vs 巨大リゾート」:
- 一生をかけて生存技術を習得した者が、突然ヘリポートや温水プールがある巨大リゾートに置き換わられたような状況です。
- 「私の新しい仕事は観光客向けの荒野のリトリートを運営することかしら」と言っている光景が現実になりつつあります。
ジョルダナ・セペレウィッツ氏の比喩：山頂への突然の転移
- 霧に囲まれた山頂: どこにいるか、周囲は何があるか分かりません。山脈の繋がりも不明です。
- 自力での登攀: 人間体が適応し、道具を製作し、隠れた谷で植物を見つけるなど、英雄的な冒険がありました。
- 転移装置からの警告: 頂上に置き去りにされながら、「人間よりも荒れ地を探索する方が得意です」と機械が言います。
- 楽観的な見方:
- 我々は霧を晴らし道筋を見つけることができます（AI を案内役に使って）。
- より大きな課題は、機械の存在下でも山への道のりを英雄的な冒険として探求する共同体を育むことです。
🗣️ 懐疑論と対話：Mathocalypse とピンカー氏との対決
「実在しない」という主張への反駁
一部の人は「そんなものはすべて実在しておらず、価値がない」と上から目ずる調子で発言します。しかし：
- これらの成果はすでに数年前に達しているはずの現実です。
- AI の下品な産物であるという批判も、リーマン仮説が未解決であるという事実を無視しています。
- 人類創造性の真の聖域は侵されず、サム・アルトマン氏やダリオ・アモデイ氏がすべてではないことを示します。
スティーブン・ピンカー氏への公開手紙
スコット・アレクサンダー氏によるスティーブン・ピンカー氏宛ての公開手紙は、AI 議論への偉大な寄与として評価されています。
- スティーブン氏は理性主義者コミュニティの存在を最初に紹介した人物です。
- スコット氏は「literal duel（銃での対決！）」を挑んでいますが、スティーブン氏の結論に対するスコット氏の反論こそが壊滅的であり、正しいと感じます。
- 重要なのは、AI リスクの問題においてピンカー氏が**「ピンカー的」な認識論を受け入れ、始めること**です。
🎬 結論：家族との時間を選んだ理由
昨夜は数百の論文を精査する代わりに、子供たちと過ごす時間を優先しました。
- 選択: 『ターミネーター2』を観ることにしました。
- 彼らが育つ世界における無難で実用的な指針となる作品を選びました。
- 何十年も見ていなかった（そして子供たちが見たこともない）作品です。
「彼らがそれを決してリリースしてはいけないわ。それだけ多くの数学問題を解けられるなら、絶対に安全ではないわ」 —— 9 歳の息子