ITmedia AI+
元記事公開:
OpenAI、社内AIがリーマン予想の関連難問を証明と主張 論文722本をGitHubで公開
AI要約
OpenAIがフロンティアモデルによる数学成果722本をGitHubで公開し、多くに証明支援系「Lean」による形式証明が付いていることを明らかにした
重要ポイント
- •社内のフロンティアモデルが生み出した数学の成果722本がGitHubで公開された
- •多くの成果に証明支援系「Lean」による形式証明が付いている
- •数学者らの独立組織AGMAIの提言を参考に、計算量や推論過程の要約も開示されている