OpenAI 模型解决 80 年悬案的单位距离问题
OpenAI 宣布其一个模型解决了悬置 80 年的单位距离问题,推翻了离散几何中的一个核心猜想,被视为 AI 驱动数学研究的里程碑。
推荐理由:原文点明模型解决的是悬置 80 年的具体难题,读者可据此衡量其数学推理能力的实际跨度。
OpenAI 的全部动态:GPT 系列模型、ChatGPT 与 Sora 产品、公司战略与人事的持续追踪。
OpenAI 宣布其一个模型解决了悬置 80 年的单位距离问题,推翻了离散几何中的一个核心猜想,被视为 AI 驱动数学研究的里程碑。
推荐理由:原文点明模型解决的是悬置 80 年的具体难题,读者可据此衡量其数学推理能力的实际跨度。
GPT-5.5 Instant 更新了 ChatGPT 的默认模型,带来更智能、更准确的回答,减少模型幻觉,并改进了个性化控制选项。
OpenAI News 发布 GPT-5.5 Instant System Card,正文抓取失败,仅标题可用,具体系统卡内容未提供。
OpenAI 与 Microsoft 宣布达成一项修订后的协议,简化双方合作关系、提供长期明确性,并支持持续的大规模 AI 创新。
OpenAI 发布 GPT-5.5,官方介绍这是一款面向复杂任务的模型,适用于跨工具的编码、研究和数据分析场景。
OpenAI 发布 GPT-5.5 System Card,原文链接为 https://openai.com/index/gpt-5-5-system-card,正文抓取失败,仅标题可用。
OpenAI 在 ChatGPT 中推出 workspace agents,这是一类由 Codex 驱动的智能体,可自动化复杂工作流、在云端运行,帮助团队跨工具安全地扩展工作。
OpenAI 宣布将收购 Astral,官方表示此举将加速 Codex 的增长,为下一代 Python 开发者工具提供支持。
OpenAI 宣布收购 Promptfoo,后者是一个 AI 安全平台,帮助企业在开发过程中识别并修复 AI 系统的漏洞。
推荐理由:收购对象是开发阶段的 AI 安全平台,读者可据此理解 OpenAI 在企业 AI 安全环节的布局方向。
OpenAI 发布 GPT-5.4,称其为面向专业工作、能力与效率兼备的前沿模型,具备 SOTA 级编码、计算机使用、工具搜索能力,并支持 1M token 上下文窗口。
OpenAI 发布了 GPT-5.3 Instant 的 System Card,正文抓取失败,仅标题可用,暂无更多细节。
OpenAI 宣布获得 1100 亿美元新投资,投前估值达 7300 亿美元。其中 SoftBank 出资 300 亿美元、NVIDIA 出资 300 亿美元、Amazon 出资 500 亿美元。
推荐理由:原文给出了本轮融资的估值与主要出资方结构,读者可据此判断 OpenAI 的资金规模和产业资本绑定程度。
OpenAI 与 Amazon 宣布达成战略合作,将 OpenAI 的 Frontier 平台引入 AWS,扩展 AI 基础设施、定制模型和企业级 AI 智能体。
OpenAI 官方发文称,一篇新预印本显示 GPT-5.2 提出了一个胶子振幅的新公式,该公式随后由 OpenAI 与学术合作者正式证明并验证。
推荐理由:官方披露模型在具体科研任务上的产出,可了解其推理能力的实际落点。
OpenAI 发布首个实时编码模型 GPT-5.3-Codex-Spark,生成速度提升 15x,支持 128k 上下文,现已面向 ChatGPT Pro 用户开放研究预览。
OpenAI 宣布将于 2026 年 2 月 13 日在 ChatGPT 中退役 GPT-4o、GPT-4.1、GPT-4.1 mini 和 OpenAI o4-mini,此前已宣布退役 GPT-5(Instant、Thinking 和 Pro)。API 目前暂无变化。
ChatGPT Go 现已在全球上线,提供对 GPT-5.2 Instant 的扩展访问、更高的使用限额和更长的记忆,让先进 AI 在全球范围内更易负担。
OpenAI 官方宣布计划在美国针对 ChatGPT 的免费层和 Go 层测试广告,以在全球范围扩大可负担的 AI 访问,同时保护隐私、信任和回答质量。
推荐理由:官方说明了广告测试与扩大免费访问的并行策略,可据此判断其商业化路径取向。
Hugging Face 联合社区推出开放推理标准 Open Responses,基于 OpenAI 的 Responses API 并开源,面向智能体工作负载,默认无状态、支持加密推理,流式输出建模为语义事件。
推荐理由:梳理了从 Chat Completion 迁移的核心改动与工具循环规范,便于开发者评估接入成本。
OpenAI 发布 GPT-5.2-Codex,称其为自家最先进的编程模型,具备长程推理、大规模代码转换和增强的网络安全能力。