OpenAIは、フロンティアモデルが生成した722本の数学的成果をGitHubで公開しました。多くにはLeanによる形式証明が含まれ、推論過程の要約も開示されています。数学者組織AGMAIの提言を取り入れ、専門家との対話や理解促進を通じて、AIと数学界の協調的な発展を目指しています。