AI ニュースAI により執筆
OpenAI、社内のモデルが出した数学の成果を公開
公開 2 分で読めます
OpenAI は 10 月 6 日、公開していない社内のフロンティアモデル(最先端のモデル)が数学の未解決の研究問題に取り組んで得た成果を、GitHub のリポジトリで公開しました。モデルの開発の一環で未解決の問題を使って評価しているもので、これまでの数学の評価ではモデルの成績が上限に近づいたため、この評価を広げたとしています。
要点
- 公開した論文は 722 本で、関連する論文をまとめた 372 のまとまりに分けています。
- 一部の証明は、証明をコンピューターで確かめられる言語 Lean で形式化しています。
- 10 月 7 日の更新で、誤りが見つかった 3 本を取り下げ、論文は 719 本になりました。
- 同じ更新で 14 本を直し、719 本のうち 300 本(約 42%)の主な結果が Lean で形式化済みです。
- 成果 1 件に使った計算は、平均で ChatGPT Pro の思考時間の約 3 時間分です。
- 評価ではモデルに約 4,000 問を出し、重要さの基準を満たした成果をまとめました。
公開の方法は、米国の高等研究所(IAS)の数学と AI の諮問グループと話し合い、その助言と提言を取り入れて決めたとしています。リポジトリには、論文の改訂や引用のルールを設けたうえで、論文、Lean の証明、モデルの推論を短くまとめた 10 件の記録、解こうとした問題の数などを載せています。ほとんどの成果は同じ手順で得たもので、リーマンゼータ関数に関する結果など一部は例外としています。
OpenAI は、形式化していない結果には誤りがある可能性があり、見つかれば早く直すとしています。取り下げた 3 本は、符号の誤りで論証が成り立たなくなった論文と、それを使っていた 2 本です。今後は、AI が出した主な成果への理解を深めるため、ワークショップや学会などに資金を出す予定です。成果を出したモデルを、科学者が使えるよう責任ある形で公開する取り組みも進めているとしています。
日本の利用者にとって
論文と証明は英語で公開されています。発表では、日本語への対応や日本での提供には触れていません。
YOBITSUGI AI で使えるか
YOBITSUGI AI では OpenAI の GPT-6 Astra・GPT-6.1 Sol・GPT-6 Luna などを使えます。今回の成果を出した社内のモデルは公開されておらず、現時点の対応モデルには含まれていません。
出典
- Sharing AI progress in mathematics(OpenAI News・2026年10月6日)
- openai/math(OpenAI の GitHub リポジトリ・README と更新の履歴・2026年10月15日確認)
