我们正在发布由内部前沿模型产生的一系列新数学成果。我们一直在与高等研究院的独立数学与人工智能咨询小组协商，以制定最佳实践。对于此次发布，我们将结果发布在Git Hub仓库中，并附有论文修订和引用的协议。
我们正在分享许多证明在Lean中的形式化，Lean是一种允许计算机检查数学证明的编程语言。我们还发布了10份模型推理摘要和计算消耗估算。平均结果使用了大约三小时Chat GPT Pro思考的等效计算量。
我们希望这一进展能推动人类知识的边界。我们将资助一系列围绕理解AI产生的主要成果的研讨会、会议和特别项目。我们正在努力负责任地发布产生这些结果的模型，并将继续根据社区的反馈采取行动。
来源: Hacker News · 由HeadlinesBriefing整理摘要