OpenAI、数学の難問を解決する新しい内部モデルを発表

OpenAIの新しい内部モデルが100以上の長期未解決問題を解決しました。1万のAIエージェントが協力し、学習開始から24日でこの成果を達成しました。

数学的成果の急速な増加を受け、OpenAIは独立した数学諮問グループを立ち上げました。AIによる成果の公開方法や学術的活用について議論します。

本研究は、事前学習済みモデルに大規模な強化学習を追加する手法で行われました。研究中もモデルを更新し、エージェントを入れ替えることで効率を最大化しました。

以前からAstraモデルで群論などの成果を出しており、研究者はAIの解をLean証明で形式化して検証してきました。当時のコストは約2,000ドルでした。

9月9日、OpenAIはナビエ・ストークス問題の反例を提示し、解決を発表しました。流体の速度が無限大になる特異点の可能性を数学的に構成しました。

1万のエージェントがグループごとに異なるアプローチを試行しました。Codexが中間結果を整理し、Leanを用いて17時間かけて最終検証を行いました。

報道によると、OpenAI内部ではホッジ予想の解決への期待が高まっています。ナビエ・ストークスとは異なる分野の難問にも取り組んでいるようです。

公式名称は「新しい内部モデル」で、Astraより強力とされています。次世代モデル「Bel」との関連性が噂されています。

AIが研究課題を遂行する「自動化された研究インターン」の段階に達しました。コード作成や実験設計など、研究全般に応用可能です。

解決数だけでなく、モデルの通過率が重要視されています。新モデルは同等の計算量でAstraより高い効率を示しました。

ティモシー・ガワーズ氏ら著名な数学者が諮問グループに参加します。AIツールの学術的基準や研究活用について独立した助言を行います。

9月30日のDevDayで、この研究手法が製品に反映されるかが注目されます。エージェント連携がAPI化されれば、研究の幅が大きく広がります。

将来的に研究者が数千のエージェントを投入して難問を解く時代が来ると予想されます。OpenAIは研究者がツールを直接活用できるよう支援する方針です。

OpenAIの数学およびAI諮問グループに関する詳細は、公式サイトで確認できます。