OpenAI、AI生成の数学論文722本を公開 「準リーマン予想」など未解決問題に挑む
OpenAIは10月6日、未公開の社内フロンティアモデルが生成した数学研究の成果をGitHubで公開した。722本の原稿を372の成果群に整理し、準リーマン予想を含む未解決問題への結果を提示。一部はLeanで形式検証済みだが、未検証の原稿も多く残る。
#Lean
2件の記事
OpenAI、内部AIが数学論文722本を公開 372系統の成果、未検証結果も
OpenAIが未公開の内部フロンティアモデルによる数学研究成果を公開した。GitHubには722本の論文を372系統に整理し、Lean形式化や推論要約も収録。一方、未形式化の結果には誤りが含まれる可能性があるとして検証継続を呼びかけている。