#準リーマン予想

OpenAI、AI生成の数学論文722本を公開 「準リーマン予想」など未解決問題に挑む

OpenAIは10月6日、未公開の社内フロンティアモデルが生成した数学研究の成果をGitHubで公開した。722本の原稿を372の成果群に整理し、準リーマン予想を含む未解決問題への結果を提示。一部はLeanで形式検証済みだが、未検証の原稿も多く残る。