🔥 本周热点
DeepSeek V4 Flash (0731) 发布 — DeepSeek 上线 V4-Flash，主打极致性价比与推理性能，社区在 HN 上讨论热度爆表（500+ 分、249 评论）。被视为本周对性价比格局冲击最大的一次更新。https://api-docs.deepseek.com/updates/ · 性能分析：https://artificialanalysis.ai/models/deepseek-v4-flash-ga
Moonshot Kimi 基于阿里 2 万张 Nvidia 集群训练 — Bloomberg 披露 Moonshot 最新 Kimi 模型建立在从阿里巴巴获取的 2 万张 Nvidia 芯片集群之上，凸显中国大模型算力供给的新路径。https://www.bloomberg.com/news/articles/2026-07-31/moonshot-s-kimi-built-on-20-000-nvidia-chip-cluster
GitHub Stacked PRs 进入公测 — GitHub 正式上线 Stacked Pull Requests（堆叠式 PR），开发者工作流迎来重大改进，HN 750+ 分登顶。https://github.blog/changelog/2026-07-30-stacked-pull-requests-are-now-in-public-preview/
GPT-5.6 Sol 攻破 Maxwell 猜想 — 一篇 arXiv 论文显示 GPT-5.6 Sol 给出了证明 Maxwell 猜想为假的解答，成为「AI 参与前沿数学」的又一标志性案例。https://arxiv.org/abs/2607.27197
Google：AI 让 Chrome 漏洞修复效率翻数倍 — Google 表示仅 6 月修复的 Chrome 安全漏洞就超过过去两年总和，主要归功于 AI 辅助漏洞挖掘。https://blog.google/security/chrome-stronger-with-every-update/
🛠️ 新工具 / 产品发布
- Shared Memory Graph (MCP) — 面向 Claude 与 ChatGPT 的共享记忆图谱，基于 MCP 协议打通跨模型上下文。https://uml.gpmai.workers.dev
- Gander — 零权限的 Android 文件查看器，主打隐私安全（HN 166 分）。https://github.com/mokshablr/gander
- FIM-Optimizer — Exact Fisher 优化器，在 44 组噪声数据对比中 43 组击败 AdamW。https://github.com/zhaohongli678/FIM-Optimizer
- Rivet：SQLite 零磁盘 S3 分层存储引擎 — 首个面向 SQLite 的 zero-disk、S3 分层存储引擎。https://rivet.dev/blog/2026-07-31-how-we-built-the-first-zero-disk-s3-tiered-storage-engine-for-sqlite/
- GTK4 SSH-askpass (Zig) — 用 Zig 编写的 GTK4 ssh-askpass，展示 Zig 在系统工具上的实践。https://xn--gckvb8fzb.com/a-gtk4-ssh-askpass-in-zig/
- DataFusion 十亿级图算法 — 借助 DataFusion 在 10GB 内存内完成十亿级图算法。https://semyonsinchenko.github.io/ssinchenko/post/datafusion-graphs-cc-2/
📊 模型更新
- DeepSeek V4 Flash (0731) — 新一代 Flash 版本，主打推理速度与价格。
- GPT-5.6 系列 — Sol（medium/high/xhigh/max/low）、Terra、Luna（非推理）等多档位在 Artificial Analysis 榜单上线。
- GPT-5.3 Codex (xhigh) — OpenAI 面向编码的 Codex 档位更新。
- Moonshot Kimi — 新一代 Kimi 依托 2 万张 Nvidia 集群训练。
💡 值得关注的趋势
- 性价比战争白热化：DeepSeek V4 Flash 再次把「性能/价格」拉到新高度，开源与低价模型持续挤压闭源溢价空间。
- AI 进入科学证明前沿：从 ARC-AGI 到 Maxwell 猜想，前沿模型正在从「解题」走向「发现」，学术界对「对的答案是否出于对的理由」（Quanta 本周热文）展开反思。https://www.quantamagazine.org/is-ai-reasoning-right-for-the-wrong-reasons-20260731/
- AI 重塑安全与开发者工具：Google 用 AI 批量修 Chrome 漏洞、GitHub 上线 Stacked PRs，AI 正深度嵌入日常研发链路。
- 跨模型记忆与互操作：基于 MCP 的共享记忆图谱等工具兴起，多模型协作与上下文共享成为新方向。
本期内容依据本周 Hacker News 高热讨论与一手来源整理，外链均为原始出处。