AI 日报 · 2026 年 11 月 8 日 · 星期日
热点时间线
PSI 宣布 AI 系统给出 Aaronson-Ambainis 猜想完整证明
Physical Superintelligence（PSI）宣布，其内部科研系统用 3 天给出了 Aaronson-Ambainis 猜想的完整证明。该猜想于 2008 年提出，探讨量子计算机何时能相对经典计算机实现加速。证明经 Lean 证明助手逐步验证，底层模型被多方转述为未公开发布的 Anthropic 模型，但官宣未直接说明模型来源，具体身份与版本也未公开。
产品发布/更新
GitHub 新星仓库Agora 提供共享 Linux 桌面，让多个 AI 智能体并发操作
Agora 以单个 Go 守护进程为多个 AI 智能体提供共享的 Linux 桌面，每个工作区共用一个 Xvfb 显示屏和一个 Chromium。智能体通过独立光标共享桌面与浏览器，可经 MCP、HTTP API 或 Paseo 插件接入，并在遇到 CAPTCHA 或登录时由人接管。
AGI Huntv_0009 开源 Terrarium：用带显式权限的本地 VM 沙箱运行 AI Agent
v_0009 开源 Terrarium，一款让 AI Agent 在本地持久化 Linux 虚拟机中运行的沙箱工具，采用 Apache-2.0 协议，目前处于 beta。
行业动态
OpenAI完成110亿美元融资首笔交割，并发布GPT-6 Cyber
OpenAI发布面向漏洞研究的安全模型GPT-6 Cyber，并开始通过API和Codex向部分获准的Daybreak Red客户开放。该模型在ExploitGym测试中获得48.5%，较GPT-5.6 Cyber的32.1%提升16.4个百分点，同时被用于Firefox和Linux内核漏洞研究。
论文研究
Hacker News研究人员拆解macOS 26个人知识图谱与亲属分类器
研究人员通过分析macOS 26.6.2的本地数据库和模型文件，揭示系统构建个人知识图谱及推断人物关系的方法。图谱包含51个SQLite数据库、181个实体类别和278个谓词，亲属分类由读取144项特征的XGBoost模型完成，研究还开源了只读本地查看工具iKnow。
技巧与观点
GitHub 新星仓库K11 Software Solutions 开源 MCP Testing Lab 测试工具链
K11 Software Solutions 发布 MCP Testing Lab，用于测试 MCP 服务器的一致性、契约稳定性及多类供应链攻击。仓库提供 9 个服务器、4 种主机防御、36 项测试和 4 组实验，并附带 8 篇文章；所有恶意或故障服务器均被至少一项检查捕获，但任何单一检查都无法覆盖全部风险。
Jeff Dean与李飞飞对谈RSI极限与Discovery Loop进展
Jeff Dean在斯坦福HAI对谈中介绍Discovery Loop已有约20个自动改进循环运行，目标是让领域专家生产力提高20到50倍。他指出，训练、计算、数据保存和结果评估存在物理限制，递归自我改进不会无限加速；公司目前聚焦机器学习研究、机器学习工程和硬件设计。他也回顾了低估编程能力重要性等判断，并讨论了AI数学证明的价值。
Hacker News作者用 Firecracker 复现 Google 智能体沙箱并实测性能
作者用约 2,200 行 Go 基于 Firecracker 复现 Google Agent Compute Engine 的智能体沙箱模式，包括共享快照分叉、工具调用驱动的检查点和无 NIC 出口代理。