PANews 10月7日の報道によると、OpenAIはX（旧Twitter）への投稿で、内部のフロンティアモデルが生み出した一連の新たな数学的成果を公開すると発表した。公開方法はプリンストン高等研究所の「数学とAIアドバイザリーグループ」の助言を参考にしたという。同社のGitHubリポジトリによると、現在722本の手稿が収録され、372の成果ファミリーに分類されている。一部にはLeanによる形式化証明が付されているが、すべての検証が完了しているわけではない。OpenAIは、形式化されていない結果の一部には問題がある可能性があり、今後も継続的に更新すると述べている。