💥 重磅新闻
字节跳动 rumored 将于 7 月 9 日推出 Dreamina Seedance 2.5 模型，可在 Dreamina、CapCut 及合作伙伴平台使用。新模型支持生成 180 秒长视频，但角色一致性、动作流畅度、镜头逻辑等稳定性尚待验证。
据报道，阿里巴巴计划从 7 月 10 日起禁止员工使用 Claude Code，将其列为高风险软件。员工被引导使用阿里巴巴自研的 Qoder 工具。此举正值 Anthropic 努力防止未授权访问和模型蒸馏之际。
OpenAI 已将 GPT-5.6 推进至窄范围预览阶段，分为 Sol、Terra、Luna 三个层级。新特性包括推理努力度控制滑块和用于复杂任务的「ultra」模式。该发布对 Codex 用户有重要影响，广泛访问需等待美国政府审查批准。
Anthropic 与 TeraWulf 签署 20 年数据中心租赁协议，TeraWulf 预计从该协议获得 190 亿美元收入。位于肯塔基州 Hawesville 的数据中心将于 2027 年下半年上线初始容量，2028 年扩展至 401 兆瓦供电能力。
🛠️ 技术动态
作为 Sonnet 4.6 的继任者，新模型在规划、浏览器/终端工具使用、自主运行等方面显著增强。Anthropic 称其性能已接近 Opus 4.8，但执行危险网络安全任务的能力远低于当前 Opus 模型。
Claude Science 测试版发布，整合碎片化科学工具和数据集，可生成 3D 蛋白质结构、基因组浏览器轨道和化学结构等可视化内容。初期聚焦生物学领域，Anthropic 强调「这不是新模型」而是工具平台。
Google 将 Spark AI agent 扩展至 Gemini macOS 应用，可访问和操作本地文件。新增功能包括连接 Tasks 和 Keep、集成 Canva/Instacart 等应用、实时追踪主题更新。此前已在网页和移动端上线。
AMD 推出面向 AI 开发的 Halo 系列处理器套件，售价约 4000 美元，专为本地运行大模型和 AI 工作负载设计。该套件集成高带宽内存和专用 AI 加速器，对标 NVIDIA 的 AI 开发平台。
流行的 React 组件库 Shadcn/UI 宣布默认使用 Base UI 而非 Radix UI 作为底层基础。Base UI 是 React 的「无头」组件库，提供更低层级的可访问性和行为原语，让开发者拥有更大的样式控制权。
Issac 1 是 Weave Robotics 推出的家用机器人，承诺可自动收集脏衣服、折叠整理、整理床铺和收拾杂物。需支付 250 美元订金，预计年内发货。主要任务自动化运行，但「必要时」会通过远程操作辅助。
💡 深度分析
Pace Layers 是一个按变化速度组织领域的框架，每一层功能不同、相对独立运行，但相邻层级相互影响，使整体系统更具韧性。本文将该框架应用于 AI 生态系统，帮助读者理解从硬件基础设施到应用层的不同变化节奏。
AI Agent 让开发变得廉价，但成本转移到了验证环节——验证循环即「声明」与「证明」之间的距离。本文讨论 Compound Engineering 插件如何通过 /ce-dogfood skill 关闭验证循环，以及赋予 AI 「眼睛」的角色策略。
一项最小对照实验研究代码整洁度对 AI 编程助手表现的影响。研究发现，代码风格和组织结构会显著影响 AI agent 的理解和修改能力，为开发者的代码实践提供了实证指导。
文章分析 GLM 5.2 等高性能开源模型的发布如何压缩闭源模型的定价空间，探讨 AI 行业可能面临的利润边际崩塌趋势，以及这对 AI 公司商业模式和竞争格局的深远影响。
随着编程模型商品化，真正的差异化在于「harness」——管理工具、工作流、编排和模型路由的控制循环。厂商原生 harness 目前性能最佳，但拥有可移植、模型无关的控制循环可能是更持久的竞争优势。
⚡ 快讯
Reddit 披露其 AI 垃圾检测工具每日拦截 2300 万次垃圾浏览，捕获约 2.5 万条垃圾帖子和评论，撤销近 200 万次虚假投票。平台还在打击「协调性的虚假行为和炒作模式」。
Cloudflare 将从 9 月 15 日起阻止同时为搜索索引和 AI 训练爬取内容的机器人，鼓励 AI 公司将爬虫用途分离，让出版商能更精细地控制网站访问权限。
Google 正在 Gemini 应用中为 Business 和 Workspace 用户测试新的收件箱分类板块，帮助用户更高效地管理和筛选邮件。
即将被 SpaceX 收购的 Cursor 发布 iPhone 应用，可启动和追踪 AI coding agent，通过 Live Activities 功能实时显示 agent 进度更新。
加州宣布与 Anthropic 的「首创合作」，所有州机构和地方政府可获得 50% 折扣使用 Claude，还包括免费培训、技术支持和 Anthropic 开发者的工作流输入。
📜 论文推荐
Anthropic 研究揭示语言模型中存在类似人类「全局工作空间」的机制，解释模型如何整合和广播信息。该发现为理解 AI 系统的内部表征提供了新视角，获 HN 283 票热议。
Mistral 发布 Leanstral，基于其通用编码框架构建的开源定理证明和代码验证 agent。该模型展示了大模型在形式化数学证明和软件验证领域的应用潜力。
蒸馏技术从最初的大模型压缩方法，演变为后训练阶段传递指令遵循和推理能力的核心技术。DeepSeek、Qwen、GLM 等方法现在处于开源模型开发和训练争议的中心。