← Back to list
AIが挑む数学の難問、722本の証明を公開
10:00Science
米OpenAIが社内AIモデルの生んだ数学の成果722編をGitHubで公開し、多くは「Lean」という仕組みでコンピューターが正しさを確認できる形になっている。その中には100年以上未解決のリーマン予想に関連する難問を解いたという主張も含まれ、数学とAIの新しい関係が注目されている。
Sign in to read the full article with furigana and tap-to-translate.
