今日总结
当日主线从数学争议与单家上新，切到两家旗舰同日对撞：OpenAI 正式放出 GPT-6 Sol 与 Luna，Anthropic 把 Claude Opus 5.5 做成「更强且便宜 40%」。社区很快把两边放到同一张表上——基准分一边倒向 Opus，任务成本则指向 Sol。阿里在云栖同时官宣 Qwen 4，并被路透社写成 5–10 万亿参数规划加自研芯片。
- GPT-6 Sol 与 Luna 正式上线 — OpenAI 官方宣布 GPT-6 Sol 与 GPT-6 Luna 发布，覆盖 ChatGPT 与 API；此前 Azure 配置文件里已出现 Sol、Luna 以及尚未官宣的 Astra Minor。 用户侧初步对比称，Sol 在复杂任务上弱于上一代 5.6 Sol，胜在成本与效率。
- Claude Opus 5.5：更强，且比 Opus 5 便宜 40%、快 30% — Anthropic 官方推出 Opus 5.5，旗舰同时降价在近期发布里少见。 社区对照图写明相对 Opus 5 价格下调 40%、速度提升 30%；用户反馈 token 消耗明显收敛，官方还提供额度重置选项。
- 同日对表：Opus 5.5 基准全胜，Sol 每任务约 1.06 美元 — 社区汇总显示 Opus 5.5 在列出的基准上全面领先 GPT-6 Sol，但「真实办公」类评测里 Sol 的单任务成本被写成约 1.06 美元，讨论从「谁更强」转到「谁更便宜」。
- 阿里：Qwen 4 官宣，路透社称规划 5–10 万亿参数并推自研芯片 — 云栖大会正式宣布 Qwen 4。 路透社另报阿里计划训练 5 万亿至 10 万亿参数模型，并发布自研 AI 芯片，规模远超当前主流旗舰。
- 22 国签署公开信，呼吁在「人类失去控制」前采取紧急行动 — 帖内以配图呈现签名国与诉求，属跨国治理信号，正文本身细节有限。
- a16z 推出 Horowitz Andreessen 学院，用项目实战替代传统大学路径 — Ben Horowitz 与 Erik Torenberg 对谈 Udemy 联合创始人，介绍以项目制替代四年制学位的办学框架。
- 亚马逊封禁 Meta Muse 购物代理，谈判破裂后直接断连 — 据报亚马逊要求 Meta 移除该代理遭拒后，封禁 Muse 访问 Amazon.com 购物功能，平台与第三方 agent 的结账权争议继续扩大。
- Grok 4.7：评测贴近 Opus 5、成本约一半，并接入 Tesla 车机 — Artificial Analysis 在 AA-Briefcase 上把 Grok 4.7 排在 Anthropic 旗舰之后，每任务成本约为一半。 Tesla 宣布 Grok 上车，可用 Connectors 免提处理邮箱、日程与文件。
- AntLing 开源 6B 设计模型 Ming-Image-0.1，登顶开源 UI 设计榜 — 系列含 Design 与 Design-Layer 两个 6B 权重，并附开源 Agent，面向界面生成而非通用文生图。
- 数学争议未歇：三位数学家指 Navier–Stokes 工作避重就轻 — OpenAI 此前宣称触及千禧年难题之一，Scientific American 引三位数学家认为其解的是改了设定的变体；同期仍有帖转述未发布模型已解百余道长期开放题。
与昨日对比
- 新增热点：GPT-6 Sol 与 Luna 正式上线及 Azure 配置曝光；Claude Opus 5.5 从官网疑似字样落到官方发布与降价 40%；阿里 Qwen 4 与 5–10 万亿参数规划；22 国公开信；a16z 学院；AntLing Ming-Image-0.1；论文《The Pain Axis》探测模型内部「痛苦」模式。
- 持续发酵：Grok 4.7 从昨日上线推进到 AA 对照、开发者首日实测与 Tesla 车机接入；亚马逊对 Meta Muse 的封禁从「据报挡下单」落到谈判破裂后的全站购物断连；OpenAI 数学「百题」与 Navier–Stokes 质疑仍在，焦点从顾问组公告转到数学家点名「解了两题、避开原题」；小米 MiMo-V2.6 从 Flash-RL 开源推进到 Pro 真实仓库修 105 个 bug 的盲测；Toby Ord 的 Swarm Scaling 继续被用来讨论多智能体规模与竞赛风险。
- 明显降温：Jev /「决策模型」品类不再占据主线；Qwen-Image-2.1 的许可澄清与本地实测让位给 Qwen 4 与超大参数规划；DeepSeek 2T/8T 传闻、沙箱「越狱实为防火墙疏漏」、美财长对华国家安全通报提议、OpenAI 与 Anthropic 据接近互测等昨日重点，当日几乎从讨论前列消失。