AGMAI

米OpenAIは、社内のフロンティアモデルが生成した数学の新たな研究成果をGitHubで公開しました。現時点で722本の原稿が収録されており、外部の数学者組織「AGMAI」の助言や提言を参考にしています。