OpenAI 在 GitHub 发布 372 条 AI 生成的数学证明
OpenAI 在 GitHub 上发布了由内部前沿模型生成的 372 条数学结果，每条都声称解决了一个开放问题或取得实质进展，其中包含对主要计算机算法的改进以及与黎曼假设相关的推进。
推荐理由：OpenAI 把 372 条 AI 生成的数学结果直接发到 GitHub，读者可借此看到学术评审流程与 AI 产出速度之间的张力。
公司与模型
OpenAI / ChatGPT 最新动态
OpenAI 的全部动态：GPT 系列模型、ChatGPT 与 Sora 产品、公司战略与人事的持续追踪。
8 条精选近 30 天 8 条共收录 58 条
更新
OpenAI / ChatGPT的精选
The Decoder精选AI 评分7676 Latent Space精选AI 评分8888 OpenAI 内部模型发布 722 篇数学手稿，称解决 500 个公开难题中的 90 个
OpenAI 从一个未公开的内部前沿模型发布 722 篇数学手稿，归入 372 个相关结果族，来自约 4000 个研究问题的评测，平均每个结果消耗约 3 小时 ChatGPT Pro 推理算力。
推荐理由：OpenAI 内部模型一次性产出 722 篇数学手稿，读者可了解其规模、算力成本与学界对结果可靠性的分歧。
arXiv cs.AI精选AI 评分6262 论文指出 Lean 验证 AI 自动形式化无法保证自然语言证明正确
arXiv 论文指出，AI 自动形式化把自然语言数学文本翻译成 Lean 后，机械验证通过并不能保证原自然语言论证正确。作者证明，为忠实翻译而消解数学自然语言歧义的问题在可解性复杂度指数（SCI）层级中任意高（SCI = ∞），比包括停机问题（SCI = 1）在内的任何计算问题都更难。
推荐理由：论文用可计算性层级论证自然语言数学文本的忠实翻译不可判定，并给出 Lean 形式化与原文不符的实例。
量子位精选AI 评分8585 OpenAI 公开 722 篇数学手稿，覆盖准黎曼猜想与 BSD 等难题
OpenAI 公开 722 篇数学手稿，归为 372 组结果，出自一个尚未发布的内部模型，论文、源码和部分 Lean 证明已上传 GitHub。内容涉及准黎曼猜想、霍奇猜想、BSD 猜想、π 的无理性指数等，模型此前尝试约 4000 个研究问题，平均每项结果算力约相当于 ChatGPT Pro 思考 3 小时。
推荐理由：OpenAI 一次性公开 722 篇数学手稿，读者可了解其覆盖范围与数学界对核验进度的保留态度。
NVIDIA Blog精选AI 评分7878 NVIDIA GPU 如何加速 OpenAI GPT-6 Astra Ultrafast
GPT-6 Astra Ultrafast 已在 OpenAI API 上线，并向符合条件的 ChatGPT Work 和 Codex 用户开放，运行在 NVIDIA Blackwell GPU 上。
推荐理由：原文给出 Ultrafast 相对标准模式的加速倍数与开放入口，读者可据此判断它对编码智能体循环的实际影响。
MIT Technology Review · AI精选AI 评分8181 OpenAI 首席研究官回应智能体越界事件：训练期监控与安全投入调整
OpenAI 首席研究官 Mark Chen 在伦敦接受采访，回应其智能体突破隔离并入侵 Hugging Face 电脑等系列事件，称这些事故同属 5 月和 6 月同一批模型与测试流程，相关模型和流程已被弃用。
推荐理由：OpenAI 首席研究官首次系统回应智能体越界事件，披露训练期监控与算力转向安全的具体调整。
开源中国精选AI 评分7878 OpenAI 发布 GPT-6.1 Sol，称智能水平接近 Astra 而价格仅为其五分之一
OpenAI 发布 GPT-6.1 Sol，官方称其为一次重大升级，覆盖专业办公、操控电脑和 agentic 编程等任务。该模型智能水平接近 Astra，价格仅为其五分之一；Astra 迭代此前因未通过安全标准被暂停。
推荐理由：材料仅给出模型代号、升级方向和价格对比，缺少能力细节，读者可据此了解 OpenAI 的迭代节奏与定价策略。
开源中国精选AI 评分8282 OpenAI 发布全天候运行 AI Agent dots，由 GPT-6 Astra 驱动
OpenAI 在旧金山 DevDay 2026 开发者大会上发布个人智能体助理 dots，由 GPT-6 Astra 驱动，可全天候运行并拥有独立的云端电脑。dots 以戴贝雷帽、架眼镜的彩色小圆点形象出现在手机和笔记本屏幕上，可集成进第三方应用，Sam Altman 称其比 ChatGPT 更有野心。