OpenAI发布前沿模型数学成果合集，含722篇手稿

OpenAI发布一份由内部未公开前沿模型生成的数学成果合集。GitHub仓库收录722篇手稿、372个结果系列，涉及长期未解问题；许多证明已用Lean形式化验证，部分结果仍在验证阶段。 仓库称，模型平均每项结果使用约3小时ChatGPT Pro思考算力；评估期间约尝试4000道题，并提供10份推理摘要。