DeepSeek Flash 系列降价，V4.1 Flash 开启内测
DeepSeek 于 9 月 10 日起大幅下调 Flash 系列模型定价，同时开启 V4.1 Flash 中间版本内测。具体硬信息如下：
- 发布时间：2026 年 9 月 10 日 12:00 起生效
- 新版本：DeepSeek V4.1 Flash（短期测试版，模型 ID 含失效日期 “expires-on-0910”）
- 价格调整：闲时输入由 1.5 元/百万 token 降至 1 元；闲时输出由 4.5 元降至 4 元；闲时缓存由 0.05 元降至 0.02 元；高峰时段为闲时价格 2 倍
- 可用方式：API 用户无需换 base_url，仅需将模型名切换为 “deepseek-v4.1-flash-expires-on-0910”
- 权限限制：单账号最多支持 20 并发请求
- 权重状态：闭源测试中，未开放权重
该版本 采用不同模型架构，原生支持多模态，当前计费仍按 V4 Flash 标准执行。DeepSeek 强调本轮测试聚焦能力、生成速度与推理成本优化。
Navier-Stokes 候选解公布：OpenAI 称由内部模型完成
OpenAI 于 9 月 8 日公布 Navier–Stokes 存在性与光滑性问题的候选解，并同步发布数学论文与 Lean 形式化证明。该问题为克莱数学研究所七大千禧年难题之一，此前从未有 AI 系统宣称完成此类纯数学证明。
关键事实包括：
- 证明由能力高于 GPT-6 Astra 的内部模型生成，系统一度协调约 1 万个并发 Agent
- 从启动到输出候选解耗时约 88 小时，随后 GPT-6 Astra 花费 17 小时完成 Lean 形式化与验证
- 全项目产生约 270 万条代理消息、1300 亿个输出 token
- OpenAI 明确表示无意申请奖项，並將等待数学界独立检验
值得关注的是，纽约大学教授 Tristan Buckmaster 质疑其是否间接使用了他人项目数据；OpenAI 承认“不能完全排除去标识化数据曾参与模型改进”，但强调求解过程未访问具体用户数据。
AI Agent 生态加速扩张：Meta、WhatsApp、小米同步发力
AI Agent 的商业化落地节奏正在明显加快：
- Meta 推出 Muse：独立应用与 WhatsApp 中均可使用，由 Muse Spark 模型驱动，支持拆解目标、制定计划、发出邮件、预订旅行与购物等。为保障安全，Meta 为每个 Muse 分配专用云端 VM，并引入 Sentinel 做对外请求审查；敏感操作需用户二次确认
- WhatsApp 测试第三方 Agent 接入：Android 测试版允许用户最多连接 5 个第三方 Agent；Agent 只能读取用户主动发至专用会话的内容，不支持端到端加密
- Xiaomi MiMo Desktop 开放邀测：支持接收多格式素材、调用工具后交付可编辑 PPT/网页/轻量游戏；支持 MCP 操作 Figma；大小任务可拆给多个独立会话协同处理
对比与选择建议
| 模型版本 | 计费基准 | 输入价格（闲时） | 输出价格（闲时） | 多模态 | 权重开放 |
|---|---|---|---|---|---|
| DeepSeek V4 Flash | 原标准 | 1.5 元 | 4.5 元 | 否 | 无 |
| DeepSeek V4.1 Flash | 内测中 | 1 元 | 4 元 | 是 | 无 |
适合谁用：API 开发者若需低延迟多模态推理，可申请 V4.1 Flash 内测权限；对企业用户而言，降价后 V4 Flash 成本优势明显。
建议再等等：Navier–Stokes 证明尚未通过数学界审查，工业界暂无法直接应用；Muse 首批仅面向美国 iOS/Android 用户，期待国际化部署的用户可关注后续更新。
写在最后
AI 正从单点能力演进为系统级基础设施：价格下降、模型分层、Agent 化协同成为主流趋势；DeepSeek 与 OpenAI 的同步动作印证，推理成本与工程效率的持续优化，正在倒逼整个行业重新定义“可用阈值”。