🔥头条聚焦
BREAKING · 多源报道
Google DeepMind 于 9 月 30 日深夜发布 Gemini 4 世代首款旗舰模型 Argon，距上一代旗舰已近 10 个月。该模型面向软件工程、法律金融等企业知识工作与网络安全防御等长周期复杂任务，单次输出上限由 6.4 万 Token 提升至 100 万；DeepSWE 编程基准达 77.9%，CWE-bench v1 漏洞修复以 68.0% 与 GPT-6 Astra 并列，多项知识工作基准位列第一。API 定价 2/10 美元（百万输入/输出 Token），约为 GPT-6 Astra 与 Claude Fable 5.1 的五分之一。值得注意的是，首发阶段仅向网络安全防御方开放，普通开发者暂不可用，谷歌称将在安全评估完成后逐步扩大访问范围。
谷歌Gemini 4 Argon大模型量子位 / 36氪 / 智东西
量子位 · 2026-10-01
MIT 何恺明团队发布新作 VARC，将 ARC 抽象推理基准重新定义为视觉问题：模型不依赖语言描述，通过在海量视觉数据上预训练（被形象地称为"看猫片"），以 Vision Transformer 为推理引擎直接学习抽象变换规律。该工作挑战了"推理必须经由语言中介"的主流假设，为理解机器抽象智能提供了新的方法论视角。
何恺明ARC视觉推理MIT
晚点LatePost · 2026-10-01
晚点LatePost 发布三季度 AI 季报，系统梳理前沿实验室竞争格局：OpenAI 三季度更新 GPT-6 Astra、Sol 与 Luna，Anthropic 推出 Fable 5.1、Opus 5.5 与 Sonnet 5.5；个人 AI 助理赛道出现 Instinct、Muse、GrokBot、Dots 等多款产品，形态与切入点分化明显；机器人侧，GPT-6 Astra 等旗舰模型开始进入具身执行层，模型竞赛与终端形态创新呈现耦合趋势。
行业季报OpenAI个人助理晚点LatePost
🏭行业与资本
多源（路透社/FT 报道，中文媒体跟进） · 2026-10-01
据英国《金融时报》披露并经路透社证实，腾讯与 Oracle 签署为期五年的租赁协议，通过 Oracle 位于东南亚的多个数据中心获得约 10 万枚在中国大陆无法直接采购的先进 AI 芯片使用权，交易规模约 70 亿美元，系腾讯迄今最大规模的海外算力租赁安排。该交易折射出中国科技巨头在出口管制背景下以"算力租赁"方式维持模型竞争力的路径选择。
算力腾讯Oracle出口管制
晚点LatePost 独家 · 2026-10-01
晚点LatePost 独家获悉，字节跳动旗下火山引擎云端大模型日均调用量已突破百万亿 Tokens 量级。随着 Seed 2.0、Seedance 2.0 等模型发布及 OpenClaw 生态持续扩张，团队已上调原定 2026 年 MaaS 业务收入超百亿元的目标；同期阿里云目标锁定中国 AI 云市场增量的 80%，头部云厂商的大模型服务竞争进入白热化阶段。
独家火山引擎字节跳动MaaS
极客公园 / Founder Park · 2026-10-01
在 AMD 收购官宣前后，李飞飞创立的 World Labs 推出首款可商用生成式多模态世界模型 Marble。相较两个月前的早期预览版，Marble 支持更多模态输入，生成的 3D 世界更丰富细致，被视为世界模型从研究演示走向商业交付的关键一步，在 X 平台获得 a16z、YC 多位投资人的转发关注。
世界模型李飞飞World Labs
36氪 / 新浪科技 · 2026-10-01
行业分析指出，AMD 以 82 亿美元收购李飞飞 World Labs 并非孤立事件：今年以来 AMD 连续出手投资 AI 推理优化公司 Wafer（4000 万美元 A 轮）等多家上游企业，反映芯片厂商在算力同质化竞争中向上游模型与算法层延伸、争夺 AI 系统定义权的战略意图。
AMD并购分析AI 芯片
🧠技术与研究
机器之心 · 2026-10-01
机器之心关注开源多智能体编排系统 Gas Town，该项目专为 Claude Code、GitHub Copilot 等 AI 编程助手设计，通过"市长、钻井平台、船员"等角色化概念构建可扩展协作框架，利用 Git 工作树与 Beads 账本实现持久化工作状态追踪，支持同时管理 20–30 个 AI 代理并在崩溃后恢复状态，代表了 Agent 工程化基础设施的新探索。
多智能体AI 编程开源
机器之心 · 2026-10-01
ACL 2026 接收工作 XG-Guard 提出以图异常检测识别多智能体网络中的"内鬼"行为，系首个面向 MAS（多智能体系统）的无监督、可解释、细粒度安全防御框架。随着多智能体协作架构在编程与科研场景普及，针对 Agent 间通信的攻防范式正成为新兴研究方向。
ACL 2026Agent 安全图异常检测
新智元 · 2026-10-01
北京大学 AI for Math 团队宣布完成庞加莱猜想证明的完整形式化工作，给出首个经过双重检验的版本。此前丘成桐弟子团队曾以 AI 辅助生成 470 万行内容完成机器验证，此次北大工作进一步将这一世纪难题的形式化验证推向完备，标志 AI4Math 从辅助证明向独立形式化验证的能力跃迁。
AI4Math形式化证明北大
量子位 / BAAI · 2026-10-01
IROS 2026 Workshop"Physical World Models for Scaling Embodied AI"于 10 月 1 日在美国匹兹堡召开，六位顶尖学者出席，下设三大挑战赛道；同期 WorldArena 2.0 Challenge 已开赛，总奖金 7500 美元。物理世界模型作为具身智能规模化的核心瓶颈，正从学术议题演变为产业竞赛焦点。
具身智能世界模型IROS 2026
📝 编辑点评
昨日 AI 领域呈现三条清晰主线。其一，前沿模型竞争进入"能力分层"阶段：Gemini 4 Argon 以百万 Token 输出与半价策略切入企业级长周期任务，但首发仅限网络安全防御方，显示头部实验室在能力释放与安全治理间的审慎平衡。其二，推理范式出现方法论分歧：何恺明团队 VARC 以纯视觉路径攻克 ARC 基准，实质性地质疑了"推理必须经由语言中介"的隐含假设，这一方向若获验证，将重塑对多模态模型推理机制的理解。其三，算力地缘格局持续演化：腾讯 70 亿美元海外芯片租赁创中国科技企业纪录，出口管制下的"算力租赁化"正成为产业新常态。整体而言，模型能力、推理范式与算力供给三条曲线的相对斜率，将决定下一季度产业格局的走向。