OpenAI 分享 AI 在数学领域的最新突破

Sharing AI Progress in Mathematics

我们发布了由内部前沿模型生成的广泛数学成果。为了改善与数学社区的成果分享方式，我们咨询了高等研究院的独立顾问小组，并依据其建议制定了最佳实践。此次成果通过 GitHub 仓库公开，包含论文修订和引用协议，同时正在探索符合委员会指导的其他社区托管方案。未来我们将进一步提升论文质量，优化数学阐述和结果呈现。作为 GitHub 仓库的一部分，我们分享了大量用 Lean 语言形式化的证明，该语言允许计算机验证数学证明。为促进科学透明和开放，我们还发布了关于结果获取过程的额外细节，包括模型推理的 10 个摘要、ChatGPT Pro 计算资源消耗估算以及尝试问题的统计信息。平均每个结果消耗了约三小时 ChatGPT Pro 的计算资源。我们希望这一进展能推动人类知识前沿，促进数学领域进一步发展。我们将资助一系列研讨会、会议和特别项目，以帮助理解 AI 产生的重大成果。我们致力于直接赋能科学家，负责任地发布产生这些成果的模型。