internal OpenAI model

OpenAI 发布 AI 生成的数学研究目录

OpenAI 发布了一个公共存储库，其中包含由内部 AI 模型生成的数学研究和证明工件的目录。该集合包括 722 篇手稿，分为 372 个家族，涵盖各种数学学科。虽然大多数结果是使用未发布的模型的标准程序生成的，但一些具体发现，例如黎曼 zeta 函数的无零区域和关于霍奇猜想的工作，涉及人工编辑或不同的程序。该存储库旨在提供模型数学能力的验证记录，并计划包含更多形式化和社区贡献。