OpenAI、数学・理論計算機科学の未解決問題で10成果──AI研究支援は「論文作成」から発見へ

OpenAIは、数学と理論計算機科学の長年の未解決問題に関する10件の成果を公開した。内部版モデルAstraが解法探索に使われ、人間が論文形式へ整えたうえで、各議論をLean証明として形式化したという。生成AIが文章作成やコード補助だけでなく、研究の仮説探索と検証に入り始めていることを示す発表だ。

どんな成果が示されたのか

OpenAIは、高次元球充填、符号理論、非sofic群、Connesの剛性予想、算術回路複雑性、量子ゲームの並列反復、最近ベクトル問題、Ehrhartの体積予想、多色Ramsey数、極値数の予想などを挙げている。いずれも数学・理論計算機科学の専門領域で重要な問題だ。

発表によると、解探索に必要だったトークン量はSol APIレート換算で約2,000ドル相当だった。成果は人間が原稿化し、モデルがLean証明書に形式化したとされる。

ビジネス読者が見るべきポイント

直接の商用アプリではないが、研究開発部門にとっては重要なシグナルだ。AIが既存文献を要約するだけでなく、候補解を探索し、証明を形式化し、人間研究者が検証できる形にするなら、材料、創薬、暗号、最適化などの研究プロセスにも波及する可能性がある。

一方で、研究成果は査読、再現、専門家による検証が不可欠だ。AIが発見したとされる結果ほど、誤りや過大評価を避けるために、形式証明、公開データ、第三者検証が重要になる。

注意点

「AIが数学を解いた」という見出しだけで過度に一般化するのは危険だ。今回の価値は、人間研究者と形式検証を組み合わせたワークフローにあり、完全自動の科学者が登場したという話ではない。

参考：OpenAI発表