OpenAI 发布内部前沿模型产出的数学结果
OpenAI 发布了一批由内部前沿模型产出的数学结果,并在 GitHub 仓库中公开,附带论文修订与引用协议。仓库同时提供许多证明的 Lean 形式化,供计算机检查,并会随获取进度持续更新。为提升透明度,OpenAI 还公布了 10 份模型推理摘要、以 ChatGPT Pro 用量估算的算力消耗以及尝试题目数量的统计,平均每个结果约相当于三小时 ChatGPT Pro 思考的算力。OpenAI 表示正与普林斯顿高等研究院的数学与人工智能咨询小组协商发布规范,并将资助围绕理解 AI 重大成果的研讨会、会议和特别项目,同时继续评估内部前沿模型在数学等科学领域的能力。
推荐理由OpenAI 公开内部前沿模型产出的数学结果及 Lean 形式化证明,并给出算力与推理摘要等披露细节。