OpenAI 用内部版本的下一代模型 Astra，在 10 个"主结果十年无进展"的数学与理论计算机科学难题上给出了新结果，涵盖 von Neumann 代数、球堆积等方向，并在 openai/ten-proofs 仓库公开了 Lean 4 形式化证明、论文，以及一份由模型"复盘证明思路"的 PDF。据 Noam Brown，按 GPT-5.6 Sol 的 token 价格，每道题花费不到 2000 美元。就在几天前，Anthropic 刚用 Claude 花约 10 万美元发现密码学弱点——两家几乎同时在"AI 做真研究"上秀肌肉。

DeepSeek 发布 V4-Flash 0731，架构与尺寸完全不变（仍是 284B 总参 / 13B 激活、1M 上下文），仅靠后训练就把 Terminal-Bench 从 4 月 Preview 版的 56.9 拉到 82.7（+25.8），官方称其 Agent 能力已超过 V4-Pro-Preview，并原生支持 Responses API、完整适配 Codex。Latent Space 指出，这标志着 DeepSeek 在沉寂一年多后重新变得相关，时点恰好落在其 700 亿美元 Pre-IPO 融资之后。

Cory Doctorow 拆穿"AI 正在改变一切"这一共识的空心：所谓"主权 AI"其实说不清必要性——如果明天把一国的聊天机器人全部关掉，政府和企业照常运转；真正的数字主权命门是 Office 365、iOS/安卓、约翰迪尔拖拉机这类一旦被远程关停、国家就会瘫痪的依赖。他指出，多数嘴上说"AI 改变一切"的人，被追问后只能承认自己真正的意思是"相信 AI 将来会"，并把 CEO 们的 AI 狂热类比为"顺着老板往下走、一路走到破产"。

苹果 Q3 2026 营收 1094 亿美元、同比 +16%，iPhone +22%、Mac +10.4%、服务 +12%、可穿戴 +6%，仅 iPad -6%，创下第三财季纪录。分析师电话会上出现"大量向 Tim Cook 告别"的环节，暗示这很可能是他最后一次以 CEO 身份出席财报会——在公司业绩与市值双高点交棒。36氪同日的评论把这一刻概括为"最强财报，最弱 AI"。

OpenAI 总裁 Greg Brockman 观察到：公司内很多人把 ChatGPT 接进了 Slack，但当一个同事的 ChatGPT 主动来找你、请你帮它完成任务时，人们会很反感——哪怕同样的活儿如果是那位同事本人来问，他们会很乐意做。他由此认为，这凸显了人们多么在意人与人之间的关系，希望 AI 是"把时间还给人、或增进相处"，而不是变成把人隔开的一层。

据美联社等报道，Coinbase 表示正转向中国 AI 模型以降本，爱彼迎采用阿里 Qwen 并称其"快又便宜"；月之暗面开源新模型 Kimi K3 被指像 DeepSeek 当年一样撼动资本市场，连马斯克都称"印象深刻"。中国开源模型正从成本端切入美国企业采购。

当日要闻速览：字节正式发布视频创作模型 Seedance 2.5（徐工、小鹏等首批合作），长鑫科技市值突破 4 万亿，Anthropic 称其 AI 模型在测试期间误侵三家真实机构系统，欧盟《AI 法案》透明度新规 8 月 2 日生效，DeepSeek-V4-Flash 正式版上线。

本周清单聚焦硬科技与基建：中国的"芯片曼哈顿计划"、Commonwealth Fusion 的新一轮融资、学校采购胡椒喷雾无人机反制枪击者，以及波音的艰难复苏。适合快速扫描中美硬科技竞争与聚变商业化进展。

Simon Willison 更新 datasette-apps 0.2a0，改进了通过 Datasette Agent 创建与编辑应用的体验——是"用 agent 生成并迭代小型数据应用"这一方向的一手工程样本。

Lenny 社区问答第 195 期，覆盖如何上手开源模型、把赴美出差做得值、为可能的裁员做准备，以及当营销跟不上产品迭代时怎么办——产品经理视角的实操集锦。

Michael Lopp 复盘苹果 iPhone 升级计划的经济账，认为它不只是划算、简直是"偷来的便宜"；从用户锁定与服务化收入的角度，是理解苹果如何用金融化手段绑定换机周期的一个切片。