分享人工智能在数学领域的进展
内容摘要
OpenAI正在发布由内部前沿模型生成的一系列新数学成果。通过与Institute for Advanced Study的独立数学与人工智能咨询组合作，OpenAI制定了分享这些成果的最佳实践。发布内容包括一个GitHub仓库，其中包含论文修订和引用的协议，以及许多证明在Lean中的形式化——Lean是一种允许计算机检查数学证明的编程语言。此外，还提供了关于模型推理、计算使用和问题统计的详细信息。平均每个结果使用的计算量相当于约三小时的ChatGPT Pro思考。OpenAI计划资助研讨会和会议以理解AI产生的重要成果，并正在负责任地发布产生这些成果的模型。
(来源：OpenAI)