海外 OpenAI、社内AIがリーマン予想の関連難問を証明と主張 論文722本をGitHubで公開 公開 2026.10.07 09:32執筆: XでシェアFacebookLINEOpenAIは、社内のフロンティアモデルが生み出した数学の成果722本をGitHubで公開した。多くに証明支援系「Lean」による形式証明が付く。数学者らの独立… 出典: ITmedia NEWS 海外記事 最新記事一覧 で元記事を読む XでシェアFacebookLINE