数学黙示録：OpenAI、長年の数学問題372件を解決

OpenAIの数学的ブレークスルー

OpenAIは、ユニークゲームズ予想（UGC）の証明を含む372件の主要な数学的成果を発表し、数十年にわたり未解決だった問題を解決しました。「数学黙示録」と呼ばれるこの出来事は、AIモデルが、これまで人間の長年の努力を要した複雑で長年の未解決問題を解決できるようになったという、数学的発見における大きな転換を示しています。

主要な数学的成果

372件の成果の中には、理論計算機科学と数理物理学におけるいくつかの注目すべき予想と問題が解決されました：

• ユニークゲームズ予想（UGC）： 複雑性理論における中心的な命題であり、半正定値計画緩和よりもわずかに良い近似であっても、多くの最適化問題がNP困難であることを示唆します。
• L=BPL： 確率的対数空間と決定的対数空間が同等であることの証明であり、主要な脱乱択化予想を解決します。
• 計算複雑性： フーリエ変換と整数乗算のO(n log n)の壁を破り、約O(n log 0.9999999999999 n)の実行時間を達成します。
• ユニタリ合成問題： すべてのn量子ビットのユニタリ変換Uに対して、UがAへのアクセスを伴う量子多項式時間で実装可能となる古典的オラクルAが存在することを証明する肯定的な解決。
• 量子複雑性： ParityがQAC0に含まれないことの証明と、全ブール関数に対するランダム化および量子クエリ複雑性のほぼ4乗の分離。
• 行列乗算： O(n 9/4)時間での行列乗算を達成する新しいアプローチ。
• 計算可能性理論： 有理数上の多項式方程式を解くことの非計算可能性の証明であり、計算可能性理論における主要な未解決問題に取り組みます。
• ミレニアム問題： リーマン予想、ホッジ予想、バーチ・スウィンナートン＝ダイアー予想への部分的な進展。

AI証明の「エイリアン的」性質

これらの結果の多くには機械検証のためのLean証明が付随していますが、自然言語による証明は人間にはほぼ理解不能であると説明されています。複雑性理論家のダナ・モシュコビッツ氏は、その証明は「幻覚剤を服用した誰かによって書かれた」ように感じられると述べ、奇妙な再帰的構成と、既存の人間の数学的手法に似ていないノイズテストを備えた完全に新しいコードを挙げています。

基本的に、論文はひどく書かれているため、AIの助けなしに読むことは不可能です

これにより、人間がAI生成の証明を理解し説明するためにAIを使用しなければならないという新たな力学が生まれ、数学者の役割は一次的な発見者から「エイリアン的」論理の解釈者へと実質的に変わります。

AIコミュニケーションモデルの比較

AIの数学的ブレークスルーを伝えるための2つの異なるアプローチが登場しました：

1. OpenAIモデル： 未消化の生の証明とLean証明書を世界に公開し、人間がその雑然としたAI出力を理解し説明するための競争を引き起こします。
2. Anthropicモデル： 人間の数学者（例：バージニア・ウィリアムズとジョシュ・アルマン）と提携し、報酬と引き換えに（3SUMや全点間最短経路問題などの）結果の消化された人間が読めるバージョンを生成します。

モデルの能力と効率

この結果は、特注のエージェントシステムではなく、OpenAIの最新の内部モデルによって生成されました。モデルは平均して問題あたり約3時間の計算を使用しました。成功率は約5％で、モデルは8,000件の試行された長年の未解決問題のうち372件を、単一の3時間の試行後に解決しました。

批判的視点と検証リスク

Leanによる機械検証にもかかわらず、一部の研究者は自然言語から形式言語への翻訳の妥当性について懸念を表明しています。議論で引用された論文は、自然言語の証明をLeanに翻訳する自動形式化のプロセスが意味的に忠実ではない可能性があり、自然言語の証明とLean検証の間に不一致が生じる可能性があることを示唆しています。

さらに、一部の批評家は、5%の成功率がモデルの能力の限界を示していると主張し、また他の人々は、長年の数学的問題を解くコスト（API価格に基づき、解決策1件あたり約810ドルから8,100ドルと推定）が、達成された数学的進歩の価値と比較して著しく低いと示唆しています。

まとめ

OpenAIは、ユニークゲームズ予想を含む372件の主要な数学的ブレークスルーの証明を発表し、数学的発見が達成され検証される方法におけるパラダイムシフトを示しています。

タイトル：

数学黙示録：OpenAI、長年の数学問題372件を解決