EDITORIAL BRIEF
今天筛出 14 个事件：大厂动态 5 条，技术进展 2 条，行业观点 7 条；另读 Hugging Face Papers 5 篇。
AI 公司动态 · 模型发布 · 新业务 · 融资投资 · 人员变动
AI SummaryOpenAI称其1万个协调智能体耗时88小时解决90年未解的Navier-Stokes千禧年难题；纽约大学数学家Buckmaster公开质疑该方案路径及是否使用了其未公开工作数据。
解读万级Agent并行解题是工程噱头，数学证明是否成立才是关键；目前学界未验证，质疑已出现，不宜过度解读。
AI Summary钛媒体晨报综合：北京印发“十五五”高精尖产业规划，布局商业航天、芯片与AI；知情人士称DeepSeek已委托中信证券筹备科创板IPO并进入尽调阶段；燧原科技定于9月11日科创板上市。
解读DeepSeek科创板IPO仅为早期筹备，尚未签约辅导，距离申报尚远；相较而言，北京对AI全栈的产业规划落地更实质。
AI Summary苹果官网信息显示，iPhone 18 Pro系列支持60W有线快充，约15分钟可充至50%电量，较上一代40W有所提升。
解读快充功率提升至60W属常规迭代，15分钟50%较上代仅快约5分钟，技术意义有限，且与AI行业无关联。
AI SummaryAINews 汇总：OpenAI 称用约 1 万智能体协作和下一代模型 Astra-next，在约 88 小时内就 Navier-Stokes 千禧年问题的奇点给出结果，但无定理陈述和独立验证，该细节存疑。
解读本质是“大规模智能体协作+推理时算力”的能力声明，而非经数学界验证的千禧年证明；在论文和评审公开前，应视为能力演示。
AI SummaryGoogle 官方博客介绍 Gemini 帮助用户处理政府行政事务的四种方式：填写表格与缴费、参与公民生活、查找政府机构与法规、申请社会服务，并援引自家研究称用户常在非工作时间使用 Gemini 处理官僚事务。
解读官方博客的产品叙事，用自家研究数据包装 Gemini 的政务场景价值；无技术增量，本质是推广 AI 处理官僚事务的用法，并强化‘非工作时间可用’的卖点。
Hugging Face · 技术报告 · 论文 · Benchmark · RL 研究
逐篇读取当天 paper 页面，由 deepseek-v4-flash-ga-260731 生成中文摘要。
AI Summary开源基础模型AuK通过统一自然语言指令接口，实现语音生成与编辑，训练数据约30.3亿条指令音频实例，并提供约4.5倍加速的AuK-Flash版本。
AI SummaryAWS 博客介绍 Heurist Finance 用 Amazon Bedrock AgentCore 构建对话式 AI 投资工作台：按查询购买付费数据、沙箱隔离分析、全程审计，整合 payments、Identit。
解读托管 Agent 基础设施省平台工程的典型样本：支付、身份、沙箱、追踪全外包，小团队按查询买数据。省的是平台工程，竞争力仍在研究流水线。
AI SummaryReddit 用户测试智谱 GLM 5.3 Flash 的 Q4 量化版在 Apple M3 Ultra 上的本地推理速度，报告约 60tps 与 550tps 的生成速率，为社区单点基准数据。
解读Q4 量化的小模型在 M3 Ultra 上表现出实用级本地推理速度；550tps 更可能来自批处理或投机解码，单流 60tps 才是判断日常体验的基准。
X 大 V · YouTube / Podcast · Builder 观察 · 开发者讨论
AI SummaryInfoQ发布腾讯云数据库DBTalk技术讲座视频，主题是“面向Agent开发的数据库新范式”，探讨Agent场景下数据库设计方向。
解读这是行业观点输出，不是产品发布或论文；所谓新范式仍需具体实现与验证。关注点应在腾讯云后续是否有对应数据库能力落地。
解读个人体验类分享，属产品界面功能发现，不涉及模型能力或技术变化，新闻性有限。