AlphaProof Code完成Signal加密实现形式化验证
谷歌DeepMind称，AlphaProof Code已对Signal协议关键代码完成形式化验证，并向社区开放证明材料。
2026年11月10日
当天发布的全部深度简报与一句话快讯。
- ⚡ 快讯
- 产业 升腾资讯与华为发布搭载麒麟X90芯片的鸿蒙台式机与笔记本。 IT之家 ↗
- 产业 Figure AI招聘夜班管理员照看人形机器人，时薪最高45美元。 IT之家 ↗
- AIGC Deemos展示让角色丝带在风中自然飘动的生成工作流。 X / DeemosTech ↗
- ⚡ 快讯
- Agent openJiuwen发布 Agent Device Foundation，旨在让智能体直接连接并操作物理设备。 InfoQ 中文 ↗
- AIGC Meshy展示 Agent Skill，可把粗略草图转成完成度更高的风格化3D角色。 X / MeshyAI ↗
- 产业 Airbnb借助 Chronon 将推荐延迟从两天缩短至数秒。 InfoQ 中文 ↗
- 开源 蚂蚁灵波开源 LingBot-Touch 通用触觉基础模型，推进机器人感知触感。 量子位 ↗
- Agent openJiuwen发布 TTSE 经验学习框架，推动智能体持续自我演进。 量子位 ↗
- 融资 成立四个月后，物原科技 TensorWorld 融资过亿美元，押注物理真实生成世界。 量子位 ↗
- Product Otter AI新增跨30多种语言持续跟踪对话的能力。 TechCrunch ↗
- Agent 亚马逊称，Strands Decider替代部分 Sonnet 4.6 工作负载后节省了数百万美元。 Strands Agents ↗
- AIGC 可灵AI以预告片宣布 Kling 4 视频模型新动态，并称旅程即将开始。 X / Kling AI ↗
- Agent AWS推广 Quick AI助手，强调通过技能与智能体协同完成专业任务。 X / AWS ↗
- AIGC Pika称社区贡献者已让 Pika H3 Flex 推理支持 AMD GPU。 X / Pika ↗
- 政策 Sakana AI宣布签署法国发起的人工智能安全与安保巴黎倡议。 X / Sakana AI ↗
- 研究 Sakana AI 表示，其首席科学顾问接受日经采访，讨论当前大模型局限及发展更广泛能力的必要性。 Sakana AI ↗
- Agent AWS 推出面向专业工作的 AI 助手 AWS Quick，支持通过技能与智能体协同执行任务。 AWS Machine Learning ↗
- 开源 Together Computer 称，在 NVIDIA B200 与 B300 上，其编译器相较部分 InferenceX 配置可实现最高 2.7 倍吞吐。 Together AI ↗
- Agent Sourcegraph 的 Agentic Batch Changes 现可在安全检查后自动合并变更，并为冲突展示审批卡片。 Sourcegraph ↗
谷歌扩充TPU阵容，推出8tx与8i Max
谷歌新增面向机密推理和高密度长上下文任务的两款第八代TPU，继续扩大对AI加速器市场的挑战。
- ⚡ 快讯
- 产业 Ollama 推出使用量页面，可查看日周支出、按模型统计的 token 数量以及各 API 密钥消耗。 Ollama ↗
- 研究 Google Research 推出 Language Explorer，利用交互式 AI 语言数据帮助用户探索全球语言。 Google Research ↗
- Agent Amazon Bedrock 托管知识库现可通过同一接口支持仅检索、单轮 RAG 与多步智能检索。 AWS Machine Learning ↗
- AIGC Runway 推出 Sightline，可生成一致的 360 度全景，让创作者从任意角度重新取景。 Runway ↗
Anthropic发布Fable 5.2与Mythos 5.2模型
Anthropic新模型同时提升编程、科学与网络安全能力，并以更低价格和更严格的滥用防护进入市场。
- ⚡ 快讯
- 产业 OpenAI 将 ChatGPT Enterprise 上架 AWS Marketplace，符合条件的客户还可购买医疗与金融服务版本。 OpenAI ↗
- Agent Replit 向所有用户开放 Monitoring Agent，可检测故障、调查原因、验证修复并部署变更。 Replit ↗
- AIGC World Labs 表示，Atlas 在 RapidataAI 的镜头运动基准中排名第一，该评测比较了 19 个世界模型与视频模型。 World Labs ↗
Meta发布Muse Ember，主打低成本智能体执行
Meta推出最小的Muse模型，面向高频智能体任务，提供百万令牌上下文和适合大规模部署的价格。
- ⚡ 快讯
- Agent Mistral Cloud 推出公测版 Apps 与 Managed Agents，并将 Workflows 正式开放至云端和私有部署。 Mistral AI ↗
- Agent ElevenLabs 推出 Campaign Manager，可按可配置规则通过电话与 WhatsApp 执行外呼营销活动。 ElevenLabs ↗
- AIGC Tripo 推出移动端 3D 创作工作室，可从照片或文字生成、优化、动画化并导出资产。 Tripo ↗
- AIGC Dreamina 上线 Marketing Studio，面向企业提供基于现有素材制作专业营销内容的一体化 AI 工作区。 Dreamina ↗
OpenAI推出Control Room，可统一停止AI工作负载
OpenAI发布中央控制系统，用于监控研究基础设施中的模型任务，并在出现安全风险时快速终止运行。