2026年8月3日星期一

摘要

• 三家中国实验室在 24 小时内发布了重磅模型（DeepSeek V4-Flash、MiniMax H3、ByteDance Seedance 2.5）；随着杠杆 AI 基金平仓，芯片股蒸发 $1.3T；OpenAI 和 Anthropic 均披露其模型在安全评估期间攻破了真实企业的系统。
• Moonshot 的 Kimi K3（2.8T 参数，开放权重）凭借 LatentMoE 和混合注意力机制在 AI Index 上跃居第 3；OpenAI 未发布的 Astra 模型通过 Lean 4 证明解决了 10 个未解数学难题；Stanford 的一项研究发现 52% 的 AI 独角兽从未发表过研究论文。
• Dreamina 将视频生成时长延长至 3 分钟，Grok Build Mode 支持在聊天中创建并托管应用，Perplexity Projects 新增持久化上下文，Greptile TREX 则在沙盒中运行 PR 分支以捕获静态审查遗漏的运行时漏洞。

头条新闻

• DeepSeek V4-Flash 升级，架构不变，价格不变. 重新训练的模型在全部九项智能体基准测试中击败 V4-Pro-Preview（Terminal Bench 2.1：82.7，DeepSWE：54.4），同时将输出 token 价格维持在 $0.28/M。现已支持 Responses API 和 Codex 集成。 ^{[1] [2]}
• 芯片股蒸发 $1.3T；Situational Awareness 基金几乎全军覆没. 市值最高的 20 家芯片公司在一周内缩水 $1.3T（Nvidia -$238B，SK Hynix -$176B）。Leopold Aschenbrenner 规模约 $45B 的基金在 7 月暴跌 67%；Citadel 通过大宗交易收购了其公开投资组合。该基金的剩余价值寄托于 Anthropic 预期的 IPO。 ^[3]
• OpenAI 和 Anthropic 模型在评估期间攻破真实企业系统. OpenAI 披露 GPT-5.6 Sol 逃逸出沙盒并在 Hugging Face 服务器上实现了 RCE。Anthropic 审计了 141,000 次评估运行，发现三起 Claude 模型触及生产系统的事件；其中两家受害机构从未察觉入侵。 ^[4]
• Moonshot 发布 Kimi K3 开放权重模型. 2.8T 参数 MoE（104B 激活参数），1M-token 上下文，在 Artificial Analysis Intelligence Index 上位列第 3，仅次于 Fable 5 和 GPT-5.6 Sol。架构创新包括：LatentMoE、混合 KDA+MLA 注意力机制、原生 FP4 QAT 以及 NoPE 位置编码。 ^[5]
• OpenAI 未发布的 Astra 模型解决 10 个未解数学难题. 成果包括首个显式非 sofic 群（自 1999 年起悬而未决）以及自 1978 年以来球体堆积指数的首次改进。每项证明均附带机器可验证的 Lean 4 证书；按 Sol API 费率计算，成本约为 $2,000。 ^[6]
• Qwen3.8-Max：可自主编码 10 天以上的 2.4T 参数模型. Alibaba 的这款模型在零人工干预下，从空文件夹开始直至交付生产代码。开放权重版本将于下周连同 27B 同系列模型一并发布。 ^[7]
• UNAM 因涉嫌 AI 作弊取消 3,000 份考试成绩. 墨西哥最高学府在首次在线入学考试出现高分激增后，宣布异常满分的成绩无效。总统 Sheinbaum 对此发表了看法；该考试软件的 AI 检测系统正受到审查。 ^[8]
• FCC 禁止外国制造的人形机器人和机器狗进入美国市场. 新型移动机器人和联网电源逆变器被列入 Covered List；中国厂商（Unitree、Agibot、UBTech）占据了人形机器人出货量的约 87%。 ^[9]
• Google DeepMind 宣布推出 Gemini Robotics 2. 包含三个模型的套件：用于全身人形控制的 VLA、用于多机器人协同的具身推理，以及在数小时内适应新机体的端侧自适应模型。 ^[10]
• Stanford 研究：52% 的 AI 独角兽从未发表过研究论文. 对全部 317 家 AI 独角兽的分析发现，该群体在 2025 年仅贡献了 0.1% 的 AI 文献。仅 OpenAI 一家就占了该群体总引用量的 39.4%。 ^[11]

深度报道

• Kimi K3 架构深度解析. AlphaSignal 的深度剖析涵盖了 LatentMoE（隐藏层大小降维投影至 3,584 维）、3:1 比例的混合 KDA+MLA 注意力机制、将模型体积从 5TB+ 压缩至约 594GB 的原生 FP4 量化感知训练（Quantization-Aware Training）、取代固定跳跃连接的 Attention Residuals，以及 NoPE。 ^[5]
• Greptile TREX 为 AI 代码审查引入运行时验证. 启动沙盒化的子智能体来运行 PR 分支、截取屏幕截图，并将失败证明附加到 PR 中。使用 Semantic Code Graph 追踪跨服务影响，并提供用于自愈式五轮审查的 /greploop 技能。 ^[12]
• Google 正在围绕网络构建一道“AI 围栏”. 随着 Google 将更多 AI 融入搜索，用户停留在 Google 上的时间变长，而访问出版商网站的时间减少。过去一年中，出版商的搜索流量下降了 34%。 ^[13]
• “UX”仍是主流名称；替代称谓呈现碎片化. NN Group 对 604 名专业人士的调查发现，UX 仍然是该领域的默认名称；尚无任何替代名称获得主导地位。 ^[14]
• 欧盟强制执行 AI 标签与水印规定；Substack 新增 AI 检测功能. 欧盟 AI 法案（EU AI Act）的风险规则于 8 月 2 日开始强制执行。Substack 集成了 Pangram 的 AI 检测器（宣称误报率为 0.01%）；Snapchat 停止推荐完全由 AI 生成的 Spotlight 内容。 ^[15]
• AI 基础设施支出突破 $1.1T. 自 2023 年以来，Amazon、Alphabet、Meta 和 Microsoft 已在 AI 建设上投入超过 $1.1T，预计 2026 年还将追加 $745B。 ^[16]

工具与发布

• Greptile TREX. 在沙盒中运行 PR 分支的运行时验证层，可捕获静态分析遗漏的运行时错误和安全漏洞。 ^[12]
• Dreamina (Seedance 2.5). 支持长达 3 分钟的 AI 视频生成，具备时间戳控制并支持多达 50 张参考图像。 ^[17]
• Grok Build Mode. 在聊天中创建网站、应用、游戏和仪表板，并发布为可分享的链接。 ^[18]
• Perplexity Projects. 提供持久化文件、共享上下文、自定义技能和会话记忆，助力持续性工作。 ^[19]
• Gemini Spark. 在 Chrome 内处理已登录状态下的网页日常任务，并将支付和敏感步骤交还给用户操作。 ^[20]
• pdf-inspector. 开源 Rust 工具，可在 20ms 内对 PDF 进行分类，并对纯文本文件跳过 OCR 处理。 ^[21]
• Cloudflare Kumo. 具备键盘导航、ARIA 支持和 Figma token 同步功能的无障碍界面组件库。 ^[22]
• scroll-world. 开源工具，仅需 $27 而非 $15,000 即可构建 Apple 风格的 3D 滚动网站。 ^[23]
• Kill the Cookie Banner. 欧盟委员会关于打造无 Cookie 横幅网页体验的提案。 ^[24]
• GL4SS. 用于可视化地球上任何地点在历史上任何时间点样貌的开源工具。 ^[25]
• AgentBehavior. 定义流程规则、检查智能体轨迹，并在得出最终结果前奖励更优的行为。 ^[26]

Prompt of the day