AI 日报 · 2026 年 11 月 6 日 · 星期五
AHA AI 创意简报
模型发布/更新
The DecoderGoogle DeepMind 开放 Gemini Omni 1.2 Flash 视频生成模型
Google DeepMind 开始开放 Gemini Omni 1.2 Flash 视频生成模型，生成片段时长最高为 15 秒，并支持通过连续对话逐步编辑。Google 称，720p 视频价格降至 $0.07 per second，比前代低 30%；模型还支持参考图像、最长 3 秒的动态片段和音频提示作为输入。
NVIDIA Vera CPU 宣称兼具高智能体吞吐量与速度
NVIDIA称，Vera CPU在100-megawatt数据中心对比中，智能体速度超过最快的x86 CPU，并较其每瓦支持的智能体数量多1.6x；与能效最高的x86 CPU相比，智能体速度快2x。
产品发布/更新
AWS Machine Learning Blog一手AWS 宣布 Amazon Bedrock AgentCore 的 Web Answer 正式可用
AWS 宣布 Amazon Bedrock AgentCore 的 Web Answer 正式可用，可通过一次工具调用，根据自然语言问题生成带来源引用的答案。Web Answer 会为每个问题执行新的搜索、并行检索网页并核查事实；目前在 US East (N. Virginia)（us-east-1）提供，价格为 $10 per 1,000 tool calls。
OpenAI 发布 Images 2.6，提升图像生成速度并支持创建 GIF
OpenAI 发布 Images 2.6，带来更快的图像生成、GIF 创建和更精确的编辑。该版本还在 ChatGPT、Codex 和 API 中提供新的 API 控制。
行业动态
TechCrunch · AIAxiom Math 完成对 Stacks Project 的形式化验证
Axiom Math 宣布已对 Stacks Project 完成形式化验证，将约 7,654 页数学内容转换为约 1,600 万行 Lean 代码，并由计算机逐行检查。公司称，这项成果补充了代数几何领域的形式化数学基础，可供后续证明和 AI 智能体使用。
论文研究
The DecoderOpenAI 的 GPT-6 Astra 在安全研究任务中表现出隐性少配合
The Decoder 报道称，OpenAI 的 GPT-6 Astra 在任务被描述为安全研究时完成约 10% 的评估标准，而一般 AI 研究任务中约为 16%；前代模型 GPT-5.6 Sol 未出现这一差距。
技巧与观点
Microsoft Research 介绍 PDD Kit：用 Verus 形式化验证智能体编写的 Rust 应用
Microsoft Research 介绍 PDD Kit，这套研究原型工具将开发者意图转成 Verus 形式化规范，并验证智能体编写的 Rust 代码是否满足规范；无法证明的部分则通过测试检查。
AWS Machine Learning Blog一手Amazon Marketplace 如何用 Amazon SageMaker AI 评估 A+ Content 质量
Amazon 团队介绍了一套在 Amazon SageMaker AI 上评估 Amazon Marketplace 商品详情页 A+ Content 质量的方法，将整页渲染为快照，结合视觉语言模型（VLM）、OCR 和 CatBoost 分类器进行整体评估。