OpenAI 公布 AI 数学研究结果与 Lean 证明资料
OpenAI 公布内部前沿模型在数学开放问题上的一批研究结果，并在 GitHub 分享研究细节和部分证明的 Lean 形式化资料，供研究社区进一步检查与讨论。
推荐理由：Danbo 编辑部核对官方原文整理
#推理
OpenAI News精选
OpenAI News精选 OpenAI 发布 GPT-6 系列模型选择与开发指南
官方指南面向应用开发者，介绍模型选择、推理强度、提示词与技能、工具协作，以及工作流进入生产环境前的准备。
推荐理由：Danbo 编辑部核对官方原文整理