OpenAI、社内AIがリーマン予想の関連難問を証明と主張 論文722本をGitHubで公開 米OpenAIは10月6日（現地時間）、社内のフロンティアモデルが生み出した数学の新たな成果をまとめて公開したと発表した。論文の原稿や証明支援系「Lean」で書かれた形式証明などをGitHubのリポジトリで公開している。 GitHubのリポジトリには現時点で722本の原稿が収録されている。OpenAIによると、多くの原稿にはLeanに... はてなテクノロジー 2026年10月07日 01:43