OpenAI 发布内部前沿模型产出的多项数学新结果及 Lean 形式化证明

OpenAI 发布由内部前沿模型产出的一系列数学新结果，结果存放于 GitHub 仓库，并提供部分证明的 Lean 形式化。仓库还包含 10 份模型推理摘要、算力估算等透明度细节，平均每项结果约相当于 ChatGPT Pro 三小时思考的算力，OpenAI 表示正努力负责任地发布产生这些结果的模型。

AI HOT 详情：https://aihot.news/items/zvw2i4tg1gnqq72t596vpqoyl

原文链接：https://openai.com/index/sharing-ai-progress-in-mathematics/