#数学

OpenAIが内部モデルによる数学の成果群をGitHubで公開、AGMAIの提言を反映

OpenAIは内部フロンティアモデルによる数学成果722件をGitHubで公開。AGMAIの提言に基づき、Lean形式化データの共有、推論要約の開示、版管理の導入などを実施。さらにワークショップへの資金提供や代替公開先の検討も行います。