OpenAI、内部モデルの数学成果722本を公開——検証を巡る議論も進行中

OpenAIは、未公開の内部フロンティアモデルが導いた数学の新成果をGitHub上で公開しています。計算機で証明の正しさを確かめられる形式化とともに出す方式で、AIが生んだ結果をどう検証するかという議論が動いています。

公開されたもの

リポジトリ「openai/math」には、約4,000問の挑戦から絞り込んだ722本の手稿（372の結果族）がApache-2.0ライセンスで置かれています。証明を機械検証できるLean（プログラミング言語）による形式化版、10本の推論サマリー、1成果あたり平均「ChatGPT Proの思考約3時間」相当の計算量見積もりも開示されました。公開方法は、独立機関「高等研究院 数理とAI諮問グループ」の勧告に沿うものです。

検証と批判のフェーズへ

形式化されていない結果には誤りが含まれる可能性があるとOpenAI自身が認め、すべては査読前です。実際、カリフォルニア大学バークレー校のBen Recht教授は、同モデルが主張した高速フーリエ変換の改良案を、定数因子が天文学的に大きく実用規模では速くならない「銀河アルゴリズム」と批判しました。成果の価値判断は、これから第三者の検証に委ねられます。

編集部の見解

注目すべきは成果そのものより「出し方」の変化です。検証可能な形式と計算量の開示をセットにする流れは、AIの研究成果を第三者の側で確認できるようにする枠組みです。利用者側の教訓は素朴で、ChatGPTなどの出力に「それらしい証明」が並んでも検証手段がなければ結果扱いにしないこと。論文探しの段階ならElicitのような支援ツールを使い、出典を確認してから判断したいところです。

my-best.ai 編集部

出典：OpenAI「Sharing AI progress in mathematics」（2026年10月6日）