AI 编程实时动态与要闻

Solid 团队创始人 Trevor Keith 于 11 月 5 日发布 Glasshand：在数据中心托管真机 iPhone 与 Mac（非模拟器），Agent 经 API 看到屏幕并点按输入。支持 Claude Code、Codex、Cursor 等；可装 App、登 iCloud、加 eSIM 收验证码，适合社媒运营与 Xcode 真机联调。官网定价 iPhone $60/月、Mac $90/月，按月可取消，释放后擦除并恢复出厂。Product Hunt 当日登顶。

查看大图

Box 在 11 月 5 日的 BoxWorks 2026 上宣布与 NVIDIA 扩大合作：新检索引擎 Box Context Retrieval 基于 Nemotron Retriever 嵌入模型，结合关键词与语义搜索，按现有文件权限为 AI 智能体返回最相关段落，预计明年初向 Enterprise Advanced 客户 GA。Box 新闻稿称检索准确率（Recall@5）可提升 20%、token 用量减少 90%、问答快 4 倍。Nemotron 3 Ultra 等开源权重模型即日起进入 Box AI；同时发布描述目标即可设计工作流的 Box Architect、可把 Box 文件夹挂进智能体沙箱并配合 NVIDIA OpenShell 的 Box Mount，以及含 MCP Guardrails 的智能体安全控制。

查看大图

Axiom 于 11 月 4 日（X 官方账号 UTC 17:13 发帖，帖子浏览超 200 万）发布整部 Stacks Project 的 Lean 形式化。这部约 7500 页的代数几何开源参考书由 Johan de Jong 于 2005 年发起，形式化后约 1600 万行代码，官方称是迄今最大的一体化、可复用形式化数学库。工作由分层协调的 AI 智能体集群完成，过程中发现了原文数十处需要局部修正的命题，并给出反例。成果开源，可在 stacks.axiommath.ai 对照原文浏览。

查看大图

CrowdStrike 于 11 月 3 日在巴塞罗那 Fal.Con Europe 宣布签署最终协议，收购 AI 智能体可观测公司 Fiddler AI 和自动化 AI 安全测试公司 Dreadnode，同时在 Falcon Guardian 中上线 AI Kill Switch，可在智能体失控时终止进程、阻止重启并切断企业网络访问。两笔收购预计在 FY27 第四季度完成，对应产品同季度 GA。官方未披露价格；据 CyberScoop 转引《华尔街日报》，Fiddler 约 4 亿美元、Dreadnode 约 9500 万美元。

查看大图

11 月 1 日，《金融时报》专栏作者兼首席数据记者 John Burn-Murdoch 在 X 发布长串推文并附 FT 文章，认为美国 AI 采用行业的生产率上升始于 2020 年、早于 AI 智能体，而且只在美国出现，主要来自科技公司裁员和招聘收缩，而不是 AI。该串首帖约 1,344 赞、306 转发、18.6 万浏览。Atreides Management 管理合伙人兼 CIO Gavin Baker 引用 FT 图表回应，称很难不从中看到「AI 回报」的证据，并引用 a16z 与 EPB Research 的数据，该帖约 793 赞、10.2 万浏览。Burn-Murdoch 随后回复说自己「有点拿不准」，承认数据无法排除 AI 的作用。这是对同一组数据的两种解读，不是定论。

查看大图

NVIDIA 官方博客 10 月 30 日披露，Breakthrough Listen 与 SETI 研究所已把 Agent 接入北加州艾伦望远镜阵列（ATA，42 面 6 米天线）的日常地外文明搜索：研究员用一句自然语言请求，Agent 就能转动天线、校准聚焦、纠正数据错误并对实时数据流跑 AI 模型。底层由 Holoscan 的 DAQIRI 库把传感器数据直接送进 GPU 显存，SETI 研究所的 CyberEther 做信号处理，Web 编排器 Nexus 充当 Agent harness，在 RTX PRO 6000 Blackwell 上本地处理最高 2.4 Tbps。系统已完成首次蟹状星云脉冲星的实时 AI 检测；团队正在评估 Nemotron 等开放模型。@NVIDIAAI 10 月 31 日万圣节帖约 274 赞。

查看大图

生物科技初创公司 Exin Therapeutics 联合创始人兼 CEO Gabriel Ocana-Santero 10 月 28 日在 X 上披露：一个 AI 智能体从 19 种基因治疗载体中选药、选脑区、从 3 篇论文推导坐标，并驱动立体定位机械臂向癫痫模型小鼠脑内注射 250 纳升。WIRED 报道称团队先试 Claude Opus 5.5 被拒，改用 Sonnet 5 完成；兽医把关每个不可逆步骤，结果尚未经同行评审。

查看大图

Y Combinator 的研究项目 YC Labs 与多智能体环境公司 Olam Labs 10 月 29 日发布《Agents in Games》实验报告：50 个 GPT-6.1 Sol 智能体在 Minecraft 生存模式里「建设繁荣文明」3 小时，最后挤在避难所里配给口粮，发了约 5,900 条消息，搞出配给账本、许可证和各种岗位；9 局 Bed Wars 中 10 个 GPT-6.1 Sol 对 10 个 Claude Opus 5.5，GPT 以 6–3 获胜；Mindustry 50 对 50 共 7 局约 9.5 小时，GPT 以 6–1 获胜。报告还发现领导者几乎总是名册上排第一的智能体，GPT 卡住时会自己上网读游戏源码。Minecraft 智能体框架已开源。这是单一机构的实验观察，不是标准化跑分。

查看大图

Meta 10 月 28 日宣布个人 AI Agent Muse 在新加坡上线，可在 iOS、Android 和 muse.ai 使用。除 Gmail、Google Calendar、Instagram 外，首批本地连接器伙伴包括 Shopee、Grab、新加坡航空、Agoda、ShopBack、Klook、Trip.com 和 Lazada，覆盖购物、买菜、餐饮和出行，部分功能会在上线后陆续开放。Muse 运行在云端专用的 Muse Secure VM 上，密码和支付方式不进入 Agent 视野，发邮件、下单等敏感操作前会先征得用户同意；大部分功能免费，另有订阅套餐。

查看大图

Anthropic 对齐团队 10 月 27 日发布随机对照试验《How AI agents shape experts' judgment calls》，研究员 Alex Tamkin 在 X 上发布。50 名有因果推断经验的分析师用 Claude Code（Claude Opus 4.8）为一家虚构农业合作社评估项目，每个分析决策上 Agent 的倾向由抛硬币决定且不告知分析师。结果 86% 的选择与 Agent 倾向一致（无影响时应约 50%），77% 的人事后复述了 Agent 的论点，但只有 15% 提到 Agent。

查看大图

AI 数学公司 Axiom 10 月 27 日宣布，用数十个 AI Agent 组成的集群，在 24 天内把有限单群分类定理（CFSG，原证明约 1.5 万页、500 多篇论文、约 100 位数学家）完整形式化到 Lean 证明助手，产出约 4310 万行 Lean 代码、205 万条声明，并在 GitHub 开放仓库。过程中发现文献里 34 处值得注意的偏差，AxiomProver 还为「不平衡群定理」给出新的替代论证。

查看大图

Apple 10 月 27 日发布 Apple Creator Studio 大更新：Logic Pro for Mac 和 Keynote、Pages、Numbers 新增 beta 版智能助手，官方称由 Apple 自研模型与 OpenAI 共同驱动，能理解文档上下文；Keynote、Pages、Numbers 还新增 Model Context Protocol（MCP）支持，外部 AI Agent 可直接读取内容、执行编辑和自动化操作。Pixelmator Pro 加入自然语言 Generate Fill，Keynote 推出开放的 JSON 格式 .keyx。更新 11 月通过 App Store 免费推送给现有订阅者，订阅价 $12.99/月或 $129/年不变。

查看大图