·6 条
7/10 OpenAI在自家CDN发布PDF论文，作者署名仅为"GPT-5.6 Sol Ultra"（Codex协助撰写），给出Cycle Double Cover Conjecture（1973年Szekeres/1979年Seymour独立提出）的机器验证证明。Sol Ultra在1小时内调度64个subagent并行攻克不同子任务完成证明。这是首个frontier AI独立解决人类50年未解数学问题的公开案例，印证Sol的"Ultra"层级="多子代理并行"架构。
7/11 Artificial Analysis数据：Meta Muse Spark 1.1 Intelligence Index 51（与GLM-5.2/GPT-5.4/GPT-5.6 Luna并列），Coding Index 71.3超GLM-5.2（68.8），仅次GPT-5.6 Luna（71.4）。每任务成本$0.26，对比GLM-5.2 $0.37、GPT-5.4 $0.89。3个月内Intelligence Index涨8分，幻觉率从73%降到38%（更倾向拒答而非编造）。上下文扩4倍至100万token，仅Meta API可用。
FT 7/11报道，腾讯正与Manus及其他早期投资方（ZhenFund/HSG）洽谈按$20亿估值收购Manus多数股权，融资$20亿完成从Meta回购。Manus继续以新加坡为总部独立运营，年营收近$5亿（半年翻4倍）。美国Benchmark不参与此轮。腾讯计划把Manus Agent嵌入WeChat（覆盖14亿用户）。4月中国以"阴谋性掏空中国技术基础"为由阻止Meta原$20亿收购并对创始人肖弘下出口禁令。
The Decoder 7/10报道，OpenAI砍掉2025年10月发布的Atlas AI浏览器（仅8个月），功能并入Chrome扩展可在侧栏直接跑ChatGPT。同步推出桌面端"Computer Use"功能：ChatGPT可在后台点击/输入/移动文件/跨应用跨浏览器操作，支持一次性或周期性任务。标志OpenAI产品策略从"独立app矩阵"切换到"主产品内嵌"，与Claude Computer Use直接对标。Atlas加入plugins/Sora等被砍产品名单。
CNBC/Bloomberg 7/10报道，Apple在加州北区联邦法院起诉OpenAI系统性挖角和窃取未发布产品trade secret。诉状指控：(1)400+前Apple员工现就职OpenAI；(2)OpenAI硬件 chief Tang Tan（前Apple VP）被告，指控他指导Apple员工面试时带"actual parts"做"show and tell"以套取机密；(3)前员工Chang Liu被指控偷走Apple笔记本；(4)OpenAI教练离职员工规避Apple安全流程。诉讼时机敏感：OpenAI正筹备IPO，Tang Tan负责的硬件首产品预计2027最早不会出货。
Releasebot 7/11聚合Anthropic 7月多份release notes：(1)Claude Code在AWS Bedrock/Google Vertex/Azure Foundry三大企业云默认开启auto模式，Bedrock模型默认升级到Claude Opus 4.8，/code-review在opus-4-8全effort级别优化；(2)Claude内测"reflection dashboard"——可视化usage pattern、设置quiet hours、AI使用提醒；(3)API key支持过期时间配置；(4)管理操作记录在hash-chained审计日志，敏感操作需"两人审批"（two-person approval）。