摘要：最新技术和产业信息显示，AI竞争正在同时向低成本智能体、数学科研、可控视频生成和高可信产品部署四个方向延伸。DeepSeek正式更新V4-Flash-0731，在保持原有架构和规模的情况下强化智能体能力，并原生支持Responses API和Codex；OpenAI公布由内部模型Astra参与获得的十项数学与理论计算机科学新结果，把模型用于开放研究问题的尝试推到更高难度；xAI为Imagine Video 1.5增加图像、语音和多参考输入，以及原生1080p生成；Google则在上线一天后撤回Google Earth中的生成图像功能，暴露出真实地理底图与生成内容结合后的误导风险。当天的共同信号是，模型能力仍在快速扩张，但成本、可验证性、内容一致性和应用边界正在决定产品能否真正进入生产环境。
最新技术和产业信息显示，AI竞争正在同时向低成本智能体、数学科研、可控视频生成和高可信产品部署四个方向延伸。DeepSeek正式更新V4-Flash-0731，在保持原有架构和规模的情况下强化智能体能力，并原生支持Responses API和Codex；OpenAI公布由内部模型Astra参与获得的十项数学与理论计算机科学新结果，把模型用于开放研究问题的尝试推到更高难度；xAI为Imagine Video 1.5增加图像、语音和多参考输入，以及原生1080p生成；Google则在上线一天后撤回Google Earth中的生成图像功能，暴露出真实地理底图与生成内容结合后的误导风险。当天的共同信号是，模型能力仍在快速扩张，但成本、可验证性、内容一致性和应用边界正在决定产品能否真正进入生产环境。
DeepSeek正式发布V4-Flash-0731，替代此前的预览版本。官方API文档显示，新版本保持原有模型架构和规模，仅进行了重新后训练，重点提升智能体任务表现。此次更新只涉及V4-Flash API，V4-Pro及网页端、App端模型不变。
V4-Flash开始原生支持Responses API，并针对Codex进行了适配。开发者可以继续使用原有deepseek-v4-flash名称调用最新版，不必更换接口。官方文档还明确，目前DeepSeek系列中只有V4-Flash可接入Codex，V4-Pro预计随后支持。
这一更新的意义不只是多了一个模型版本。智能体应用通常需要长上下文、频繁工具调用和多轮执行，成本会随着步骤数快速放大。V4-Flash通过较小的激活参数规模参与编码和智能体市场，进一步推动模型从“按能力分档”转向“按任务路由”。企业未来更可能把复杂规划交给高性能模型，把检索、代码修改、工具调用和批量执行交给成本更低的模型。Axios据此判断，AI软件价格竞争正继续加速，模型选择与路由能力的重要性将上升。
OpenAI发布《数学与理论计算机科学的十项进展》，涉及高维球堆积、二进制和球面编码、非sofic群、算术电路复杂性、算子代数、量子复杂性、格密码和极值组合数学等方向。
OpenAI称，这些问题至少十年没有取得核心结果，多数问题的停滞时间更长。结果由内部版本Astra在研发评测中获得，模型随后协助人类整理为论文，并为论证生成Lean形式化证书。官方还披露，发现这些解法所消耗的Token，按Sol API价格估算约为2000美元。
这类工作需要谨慎看待。数学结论能否成立，最终取决于同行审查、独立复核和后续引用，而不是模型或企业自身声明。但它展示了一种值得关注的科研路径：模型先在开放问题空间进行大规模探索，人类研究者检查关键思想，再用形式化系统验证推理链。若这一流程能够稳定复现，AI for Science的价值将从文献整理和计算辅助，进一步延伸到提出证明结构和发现新结论。
xAI更新Imagine Video 1.5，新增纯文本生成视频、图像参考、语音参考和原生1080p输出。用户可以用人物图片固定角色外观，用语音样本保持声音一致，也可以同时输入最多七张参考图片，分别约束人物、产品、场景和视觉风格。
新能力已经进入xAI API，开发者可以通过grok-imagine-video-1.5调用图像参考、文生视频和1080p生成；语音参考暂时需要申请开通。xAI同时将相关能力向Grok网页端和移动端逐步开放。
生成视频的竞争重点正在发生变化。早期产品主要比较画面清晰度和运动效果，现在商业用户更关心同一人物能否跨镜头保持脸部、声音和服装一致，产品外观是否稳定，以及素材能否被API自动化调用。多参考输入让视频模型更接近广告、短剧和数字人生产工具，也带来肖像、声音授权和品牌素材管理问题。产品若要进入正式内容生产，需要同步提供授权记录、来源标记和可追踪的素材链。
Google在Google Earth中推出由Nano Banana 2驱动的生成图像功能，用户可以基于卫星、航拍和三维地理数据，用文字指令构建历史场景、规划方案和创意视觉。功能上线一天后，Google即宣布暂停。
Google表示，地理专业人员已经开始把功能用于规划和可视化，但网络上出现了疑似违反平台政策的生成截图，公司需要增加更强的防护措施。相关生成结果带有AI水印，也不会直接显示在其他用户看到的Google Earth主界面中。
这次快速回撤说明，同一种生成能力进入不同产品，风险等级并不相同。普通图像工具生成虚构街景，与在权威地理底图上生成逼真灾害、建筑或公共事件，可能造成完全不同的误导。Google Earth长期承担“可靠观察现实世界”的品牌角色，因此需要更严格的提示限制、敏感地点规则、显著标识和分享控制。AI产品落地的核心问题已经不只是模型能否生成，而是用户会如何理解生成结果。
当天的新动态体现出AI产业的两条并行路线：一条继续扩展模型能力，以更低成本执行智能体任务、攻克科研问题并生成一致性更强的视频；另一条则为真实产品补上权限、溯源和风险控制。模型能力越接近真实工作，产品设计、验证流程和责任边界就越重要。未来具有竞争力的平台，需要同时回答三个问题：任务能否完成、结果能否核验、风险能否被限制在可接受范围内。
DeepSeek API Docs：《Change Log》，2026-07-31更新。用途：核验V4-Flash-0731更新范围、重新后训练、Responses API和Codex适配情况。
https://api-docs.deepseek.com/updates/
DeepSeek API Docs：《Integrate with Codex》，2026-07-31更新。用途：核验当前仅V4-Flash支持Codex及V4-Pro后续安排。
https://api-docs.deepseek.com/quick_start/agent_integrations/codex/
DeepSeek / Hugging Face：《DeepSeek-V4-Flash-0731》，2026-07-31。用途：补充模型定位、智能体能力和开放权重资料。
https://huggingface.co/deepseek-ai/DeepSeek-V4-Flash-0731
Axios：《DeepSeek's new bargain model accelerates AI's race to zero》，2026-08-01。用途：补充低成本模型对全球API价格和模型路由市场的影响。
https://www.axios.com/2026/08/01/deepseek-model-cheap-ai-price-war
OpenAI：《Ten advances in mathematics and theoretical computer science》，2026-08-01。用途：核验十项研究结果、问题范围、Astra和Lean形式化流程。
https://openai.com/index/ten-advances-in-mathematics/
OpenAI：《Disproving the Erdős unit-distance conjecture》，2026-05。用途：补充OpenAI此前将模型用于开放数学问题的研究背景。
https://openai.com/index/erdos-unit-distance/
xAI：《Imagine Video 1.5 with References》，2026-07-31。用途：核验文生视频、图像与语音参考、原生1080p及最多七张参考图。
https://x.ai/news/grok-imagine-video-1-5-references
xAI：《Grok Imagine API》，2026-01-28。用途：补充视频模型API、工作流和开发者调用背景。
https://x.ai/news/grok-imagine-api
Google：《Transform any place with Nano Banana in Google Earth》，2026-07-30，2026-07-31更新。用途：核验功能用途、暂停原因、水印和主界面隔离措施。
https://blog.google/products-and-platforms/products/earth/nano-banana-google-earth-image-generation/
Reuters：《Alphabet rolls back AI image generation in Google Earth over policy violations》，2026-07-31。用途：核验功能上线后快速撤回及误导风险争议。
