OpenAI 分享数学领域 AI 进展
OpenAI 发布内部前沿模型在数学开放问题上的新结果,并在 GitHub 上公开 Lean 证明形式化和研究细节。
推荐理由:原文给出了数学开放问题的新结果,并公开了 Lean 形式化证明,读者可据此了解前沿模型在数学推理上的进展。
OpenAI 发布内部前沿模型在数学开放问题上的新结果,并在 GitHub 上公开 Lean 证明形式化和研究细节。
推荐理由:原文给出了数学开放问题的新结果,并公开了 Lean 形式化证明,读者可据此了解前沿模型在数学推理上的进展。
OpenAI 在 ChatGPT 中推出新的视觉广告格式,并扩展面向广告主的衡量工具、归因合作伙伴关系和品牌适宜性支持。
推荐理由:新广告格式与衡量、归因及品牌适宜性能力同步扩展,可用于了解ChatGPT广告产品的整体构成。
GPT-6 Astra Ultrafast 利用 NVIDIA Blackwell 架构进行推理优化,token 生成速度最高可达 Astra Standard 模式的 8x,现已面向 OpenAI API 及符合条件的 ChatGPT Work 和 Codex 用户开放。
推荐理由:最高 8x 的 token 生成加速被具体落到编码智能体循环,可用于理解低延迟如何缩短工具调用间的等待。
OpenAI 发布 GPT-6.1 Sol,称其在编码、计算机使用和专业工作方面接近 Astra 智能,且 API 输入输出 token 价格仅为 Astra 标准价的五分之一。
OpenAI 在 DevDay 2026 上发布了超过 20 项公告,涵盖 GPT-6 Astra、ChatGPT、Codex、API、安全以及面向开发者的新工具。
OpenAI 发布 dots,一种能跨复杂项目和日常任务持续工作的主动式助手,并说明其如何让用户在推进工作的同时保持掌控。
GPT-6 通过更高的缓存命中率、新的诊断工具、显式断点和控制选项改进提示词缓存,从而降低延迟和成本。
OpenAI 发布 GPT-6 Sol 和 Luna 两款模型,分别以不同的能力与成本平衡将前沿智能带入日常工作。
OpenAI 宣布 ChatGPT Work 中的 Data agent 面向所有人开放,可连接公司数据、发现洞察,并用自然语言让 AI 构建交互式仪表盘。
推荐理由:OpenAI 官方披露 ChatGPT Work 数据智能体的连接数据与自然语言建看板能力,可据此判断企业数据工作流的入口变化。
OpenAI 发布 ChatGPT for Financial Services,将内置金融数据与 GPT-6 Astra 结合,用于研究、建模和面向客户的材料制作。
推荐理由:OpenAI 把内置金融数据与 GPT-6 Astra 打包成行业版本,读者可据此判断金融工作流的入口变化。
OpenAI 发布 Agents API,这是一个由 Codex harness 驱动的托管服务,用于构建和上线云端智能体。该服务支持编排、长时间运行的会话以及工具调用。
推荐理由:OpenAI 官方发布托管式 Agents API,读者可据此了解云端智能体的编排与长会话能力入口。
OpenAI 在 API 中推出 GPT-Live-1,为开发者带来自然的全双工语音对话能力。该模型在指令遵循上更强,并支持自定义音色和电话通信(telephony)。
推荐理由:OpenAI 把全双工语音对话能力开放到 API,开发者可据此评估现有语音应用的改造空间。
OpenAI 发布 GPT-6 Astra,称其为面向企业的最强模型,具备高级推理、计算机操作以及更强的写作与设计判断能力。
推荐理由:OpenAI 公布 GPT-6 Astra 面向企业场景的能力方向,可据此了解其推理与计算机操作定位。
OpenAI 发布 ChatGPT Images 2.5,可将想法、草图和参考照片转化为更个性化、更精致的图像,并更贴近用户原本的构想。
推荐理由:官方给出 ChatGPT Images 2.5 的输入类型与输出定位,可据此判断图像生成能力的变化方向。