• 研究
• 業界動向

OpenAI、社内AIが数学の難問に成果 722本の論文をGitHubで公開

OpenAIが社内AIによる数学研究の成果として、722本の論文原稿と形式証明をGitHubで公開しました。リーマン予想関連の難問解決を主張する一方、数学者諮問グループAGMAIは、AI企業が社内モデルで高度な数学問題を試す慣行に懸念を示しており、今後の検証と公開方法が注目されます。