OpenAIが数学、計算複雑性理論、物理学におけるAI主導のブレイクスルーを発表

最近の科学的ブレイクスルーの概要

OpenAIは、同社の内部モデルによって生成された、調和解析、計算複雑性、量子場理論にまたがる3つの重要な科学的発見を発表しました。同社は、AIが生成したこれらの原稿は専門家による解釈を必要とする生の研究データとして機能することを認識し、学術的な「シェパード（案内役）」を巻き込んでこれらの知見を整理、検証、文脈化するリリース戦略へと移行しています。

主要な発見

• 数学: AIは、すべての次元における局所平滑化予想（local smoothing conjecture）の証明を生成しました。これは、掛谷予想（Kakeya conjecture）およびスタインの制限予想（Stein’s restriction conjecture）も解決するものです。この証明には、新しい補助的な偏微分方程式が利用されています。
• コンピュータサイエンス: このシステムは、計算複雑性理論における基本的な予想である指数時間仮説（ETH）の反証を提供しました。この結果は、Lean証明支援系で検証済みです。
• 物理学: モデルは、量子色力学（QCD）や標準模型の統一的完備化を含む、4次元における特定の相互作用する量子場理論の数学的に厳密な存在証明を生成しました。この研究は、構成的量子場理論に対するBalabanのアプローチに基づいています。

進化する共同リリース戦略

OpenAIは、外部の専門家と協議の上、これらの結果に対して3つの異なる関与モデルを試験的に導入しています。

1. 独立研究: 数学の結果については、AIの出力を公開し、より広範な研究コミュニティが知見を説明するための独自の取り組みを組織できるようにしました。
2. 共同説明: コンピュータサイエンスの結果については、外部の協力者グループが結果の説明に取り組んでおり、AIの出力とLeanによる形式化は、コミュニティがすぐに利用できるよう公開されたままになっています。
3. スチュワードシップ: 物理学の結果については、共同研究グループがプロセスを主導しており、グループは独自の論文を準備する間、AIが生成した成果物の公開を保留することを選択しました。

これらの協力関係は、協力に関する透明性、OpenAIによる学術的功績の主張の禁止、協力研究者への完全な評価、作業グループの完全な独立性という4つの原則の下で運営されています。

コミュニティの視点とフィードバック

この発表は、学術界および技術コミュニティ内で大きな議論を巻き起こしています。多くの観察者は、このアプローチが検証と専門家によるスチュワードシップを優先しているため、以前のリリースよりも著しく改善されていると指摘しています。

しかし、これらの開発のスピードと情報非対称性の可能性については懸念が残っています。一部のコメンテーターは「生の研究データ」という枠組みに懐疑的な見方を示し、また別のコメンテーターは、AIラボが後に「解決」する研究そのものでモデルをトレーニングしている可能性という倫理的な影響を強調しました。

この協力的なシフトについて、ある観察者は次のように述べています。

「前回の数学の発表を受けてアプローチを調整したOpenAIは評価されるべきだと思います。これを公衆に投げ出す前に、関連する数学者や科学者を巻き込むことは、それらのコミュニティの不安を和らげるのに大いに役立つはずです。」 — @handle

また、この新しいパラダイムにおける本質的な緊張関係を指摘する声もありました。

「もし彼らが研究中に科学者と協力し、OpenAIがサポーターやスポンサーであるという言及とともに科学者に結果を発表させていたなら、状況は違っていたでしょう。しかし、『あなた方の継続的なインプットのおかげで、今や我々の従業員でさえあなた方を打ち負かすために使える自転車を手に入れた』というこのアプローチは、私にはしっくりきません。」 — @handle

OpenAIは、Simons Foundationを通じて、科学コミュニティがこれらのAI生成結果を理解し、それを基盤として発展させるためのワークショップやプログラムに資金を提供することを約束しています。