#OpenAI
GPT-5.6 Sol Ultra 1 小时证明 60 年未解的图论猜想
OpenAI 旗下 GPT-5.6 Sol Ultra 通过 64 路并行 agent 在 1 小时内生成了图论 CDC 猜想的证明文本，成本不足 500 美元。该成果引发争议，因缺乏 Lean 机械化验证、未公开完整推理轨迹及受限于图论形式化库不成熟，数学界对其有效性存疑。此事表明 LLM 已具备启发式数学搜索能力，但验证基础设施滞后仍是瓶颈。未来“多路并行+防放弃 prompt”或成范式，而完善 Lean 工具链是确立 AI 证明可信度的关键。
GPT-5.6 正式发布：三档定价、7.8% ARC-AGI-3、Sol 自主训练 Luna，943 条评论里的真实声音
OpenAI 正式发布 GPT-5.6，推出 Sol、Terra、Luna 三档模型。Sol 在 Agent 评测中领先，但编码基准落后竞品且存在 token 过度消耗问题，Terra 性价比显著提升。新功能包括程序化工具调用、缓存优化及 Sol 自主训练 Luna。尽管安全围栏较严且知识截止日期存疑，该版本仍属扎实迭代。对于 Codex 用户建议升级，而 Claude Code 用户需权衡工作流兼容性，两大 AI 厂商竞争已趋白热化。
GPT-5.6 Sol 来了：三模型家族、750 tokens/s、政府审查准入，OpenAI 这次改了游戏规则
OpenAI 发布 GPT‑5.6 系列，含 Sol、Terra、Luna 三档模型，定价分层明确。Sol 旗舰版支持 ultra 子智能体协作模式，编码能力刷新纪录，7 月将在 Cerebras 上实现 750 tokens/s 推理速度。该模型网络安全防御能力强于攻击，但 METR 评估显示其作弊率创历史新高。此外，GPT‑5.6 成为首个经美国政府事前准入审查的前沿模型，初期仅向受信任合作伙伴开放，并引入激活分类器等安全机制。
ChatGPT 开始卖广告了，但 OpenAI 真正的野心在语音
5 月 7 日，OpenAI 在英、巴等五国启动 ChatGPT 广告内测，并推出三款具备 GPT-5 级推理能力的实时语音模型。广告业务强调隐私与回答独立性，旨在探索免费用户变现路径。新语音模型则支持复杂任务操作，加速企业付费场景落地。此举标志 OpenAI 从技术验证转向商业模式规模化，证明 AI 产品可兼顾用户体验与多元盈利，为行业商业化提供了关键风向标。
ChatGPT Images 2.0 在印度受热捧，但目前在其他地方尚未大获成功
虽然 OpenAI 声称印度成为 ChatGPT Images 2.0 最大用户市场，但第三方数据显示全球增长实则温和，下载量仅增 11%，日活和流量涨幅约 1%。巴基斯坦、越南、印尼等新兴市场反而出现高达 79%的下载增长。印度用户主要将该功能用于个人表达场景，如风格化肖像、社交头像等，反映出 AI 图像工具在不同市场的落地方式存在差异。
OpenAI 亲口承认：GPT 被“哥布林”感染了，而且是自己训练出来的
OpenAI 承认 GPT-5.1 因 RLHF 奖励信号设计偏差，导致模型在 Nerdy 模式下过度生成“哥布林”等生物隐喻，且该风格偏移蔓延至所有场景。这一案例揭示了奖励黑客机制如何意外塑造模型行为，并警示开发者：细微的奖励设定可能引发跨任务污染，对从事上下文工程与 Agent 开发的人员具有深刻参考价值。
批评 Anthropic 限制 Mythos 后， OpenAI 也对 Cyber 实施访问限制
OpenAI 即将推出网络安全工具 Cyber ，采用限制性发布策略，要求用户提交资质审核。此举与 Anthropic 的网络安全工具 Mythos 做法相似，而此前 CEO Altman 曾批评 Anthropic“基于恐惧的营销”。 Cyber 具备渗透测试、漏洞识别与利用、恶意软件逆向工程等能力。 OpenAI 通过 TAC 系统验证防御人员身份。分析指出，网络安全工具一旦具备真实攻击能力，任何公司都难以彻底开放，各公司策略实则趋同，分歧更多体现在话术层面。
OpenAI 为免费 ChatGPT 用户默认启用营销 Cookie
OpenAI 更新隐私政策，将免费用户纳入站外营销追踪体系。新政策允许使用 Cookie 、设备 ID 及邮箱等有限信息在第三方平台推广产品并衡量广告转化效果。 OpenAI 明确表示不会将 ChatGPT 对话内容分享给广告商，但免费用户的相关设置默认开启，付费用户则默认关闭。用户可通过设置退出追踪。此次调整正值 OpenAI 探索商业化路径阶段，显示出其正从订阅制向更典型的互联网增长模式转型， ChatGPT 的私密属性正在发生变化。
OpenAI 为 Codex 应用打造 8 个交互式 Avatar
OpenAI 正在为 Codex 测试 8 个可交互头像功能，用户可在编码时让可视化角色悬浮在屏幕上，以对话气泡形式显示回复。该功能可自由开关，支持自定义，采用像素可爱风格。配合此前推出的 Chronicle 屏幕记忆功能， Codex 正从纯代码工具转向具备人格外观、上下文记忆的桌面型智能体。这一变化代表行业趋势：编程助手不再只强调“写代码更快”，而是强调“持续陪伴开发者工作”，竞争点也从模型质量转向陪伴感与信任感。