OpenAIは、まだ公開していない社内のフロンティアモデルが生成した722本の数学論文を、372の結果ファミリーにまとめてGitHubで公開した。独立グループAGMAIによると、これらの研究には長年解決されずにいた数百の未解決問題に関する結果が含まれているという。ただし、数学コミュニティによる検証が必要であり、一部には誤りが含まれる可能性がある。
モデルは評価の過程で約4千の問題に取り組み、1件の結果は平均で約3時間分のChatGPT Proの思考容量によって生成された。OpenAIは10の問題について推論の要約を公開した：
- πの無理性測度
- Mahler予想
- Kaplanskyの直接有限性予想
- 3次元相対論的Vlasov-Maxwell系
証明の一部はLeanシステムで検証されており、リポジトリは今後も更新が続けられる。Riemannゼータ関数に関する1件の研究は例外的なプロセスで生成され、人間によって編集された。リポジトリには論文の更新や出典の明記に関するルールも掲載されている。
PrincetonのInstitute for Advanced Studyに所属するAGMAIは、結果が学術的なチャネルを通じて公開されること、透明性の確保、そして発見がマーケティングの手段にされないことを求めている。
背景
OpenAIはFikirPilotのアーカイブでは新しい名前ではない。過去90日間でこの名前が登場するニュースを80本配信しており、最新のものは2026年10月6日付だ。