Horizon Summary: 2026-10-13 (ZH)

从 46 条内容中筛选出 16 条重要资讯。

AlphaProof Nexus 攻克 9 个 Erdős 未解问题并通过同行评审 ⭐️ 8.65/10
黑客远程触发欧洲超市冰箱自动除霜 ⭐️ 8.0/10
将 WiFi 7 路由器改装成 320Msps 软件无线电接收器 ⭐️ 8.0/10
Python 3.15 发布：引入惰性导入，告别 3.10 ⭐️ 8.0/10
微软发布 Maia 300 自研芯片，将 Maia 推理规模扩展至多吉瓦级部署 ⭐️ 7.62/10
AWS 提出 Priming 方法，将预训练 Transformer 改造成混合状态空间模型 ⭐️ 7.53/10
Meta Muse Wonder 系列上线 Agent Arena，评分即将公布 ⭐️ 7.5/10
Codex CLI 默认后台守护进程引发磁盘问题；可用配置开关禁用 ⭐️ 7.3/10
Epic Games 转向 AI 先行开发，迪士尼射击游戏无限期延期 ⭐️ 7.15/10
QGIS 通过 QEP428 禁止 AI 辅助贡献 ⭐️ 7.15/10
Z.ai 推出 GLM-Legal，面向法律工作的智能体模型 ⭐️ 7.0/10
Simon Willison 发布 web-edit 0.1a0：基于 Tailscale 的 AI 辅助文件编辑器 ⭐️ 7.0/10
Cursor 并入 X 订阅：老用户应保留原计划 ⭐️ 7.0/10
智能体经济学：AI 原生公司如何管理 AI 员工 ⭐️ 7.0/10
创作者结合 Anatomy 技能、Grok 和即梦制作芯片制造科普视频 ⭐️ 7.0/10
Opus 5.5 + 即梦 CLI：AI 全权编排的故事片创作 ⭐️ 7.0/10

AlphaProof Nexus 攻克 9 个 Erdős 未解问题并通过同行评审 ⭐️ 8.65/10

Google DeepMind 的 AlphaProof Nexus 独立解决了 353 个 Erdős 未解问题中的 9 个，其中 2 个已悬置 56 年。相关成果发表在《Science》期刊上并通过了同行评审，这是 AI 生成的数学解法罕见地获得正式学术验证。这标志着 AI 在产出符合严格学术标准的原创数学成果方面迈出了重要一步，可能重塑数学家与 AI 研究者的协作方式。同时，此举也对应了一场激烈争论——一些 AI 实验室不经期刊评审直接发布证明，而 DeepMind 选择走传统同行评审路线以赢得学界认可。 AlphaProof Nexus 以 Gemini 3.1 Pro 为核心，负责用形式化语言 Lean 起草和修订证明；Lean 在每次编辑后都会检查草稿，其错误信息会引导下一步尝试。对于较难的子问题，它可以调用专门的证明工具 AlphaProof，不过即使不借助它也能解决那 9 个 Erdős 问题；此外它还证明了 44 个 OEIS 猜想、解决了一个代数几何的开放问题，并改进了 min-max 优化中的一个已知界限。

aihot · The Decoder：AI News（RSS） · 10月12日 09:35 · 中文阅读

核验: 多源印证

背景: Erdős 问题是多产的匈牙利数学家 Paul Erdős（1913–1996）提出的数学猜想，许多附有奖金，涉及离散数学、图论、数论及相关领域。Lean 是一个开源证明助手和函数式编程语言，可对证明进行形式化验证，从而实现机器可检查的数学正确性。OEIS（在线整数序列百科全书）是专业和业余数学家广泛引用的整数序列在线数据库。这些背景之所以重要，是因为形式化验证正是 AI 生成的证明可被检查并令人信赖的关键。

参考链接

社区讨论: 这一成果正逢 AI 数学领域争论激烈之际。OpenAI 近期将数百个 AI 证明直接上传到 GitHub 而非投稿期刊，引发由 Terence Tao 领导的 Association for Human Mathematics 呼吁抵制。DeepMind 选择将成果送交同行评审，被视为是刻意争取数学界认可的举措。

标签: #AI, #数学, #DeepMind, #AlphaProof, #研究突破

黑客远程触发欧洲超市冰箱自动除霜 ⭐️ 8.0/10

2026 年 10 月，黑客远程激活了欧洲多家超市冰箱的自动除霜功能，扰乱门店运营，并影响了物流配送和商品价格。该事件针对的是老旧的物联网制冷控制器，很可能是存在已知漏洞的丹佛斯（Danfoss）型号。此次攻击表明，关键零售基础设施中的物联网设备一旦被攻破，可能造成实际的运营和经济损失。它凸显了制造商和零售商必须紧急修复仍广泛使用的老旧制冷控制器中安全漏洞的迫切性。安全研究机构 Claroty 在 Danfoss AK-SM 800A 控制器平台及类似的 Copeland 系统中发现了多个漏洞，攻击者可借此物理操控制冷系统。受影响的旧控制器如 Danfoss SM800（2021 年停产）和 SC355（2016 年停产）已不再获得安全更新，但仍在使用中。

hackernews · Zeekaas · 10月12日 12:16 · 社区讨论

核验: 多源印证

背景: 许多超市的制冷系统采用接入互联网的监控控制器，用于远程诊断、效率监测以及自动除霜等操作。虽然这些物联网功能降低了服务成本，但也扩大了攻击面。Claroty 的研究表明，此类控制器中的严重漏洞可让攻击者通过禁用冷却或强制除霜循环，悄无声息地破坏存储的食品。

参考链接

社区讨论: 评论者讨论了可能的罪魁祸首，指出 Danfoss 的 CVE 漏洞，并提到 SM800 和 SC355 等旧控制器缺乏安全更新，容易成为攻击目标。一些人争论为何要将冰箱接入互联网，另一些人则举例类似依赖订阅的实验室设备，并提出这起事件可能与 2026 年 8 月美国军事基地冰箱遭攻击有关。

标签: #cybersecurity, #IoT, #critical infrastructure, #vulnerability, #supply chain

将 WiFi 7 路由器改装成 320Msps 软件无线电接收器 ⭐️ 8.0/10

一位开发者展示了将 WiFi 7 路由器改装成软件无线电（SDR）接收器，采样率可达 320Msps，相关代码已发布在 GitHub 项目 w1700k-sdr 中。这一改造利用现成的 WiFi 7 硬件，以低成本实现了高性能的 SDR 功能。这一创新大幅降低了高性能 SDR 的门槛，使业余爱好者和研究人员无需购买昂贵的专用硬件即可使用。它也展示了将消费级设备重新用于高级无线电应用的潜力，可能推动 SDR 社区的进一步发展。该项目托管在 GitHub 仓库 h0m3us3r/w1700k-sdr 中，包含固件、主机和内核模块的代码。开发者此前曾利用 ESP32 Wi-Fi 微控制器构建 SDR，表明其善于利用常见 Wi-Fi 硬件进行 SDR 开发。

hackernews · djfergus · 10月12日 12:41 · 社区讨论

核验: 多源印证

背景: 软件无线电（SDR）是一种无线电通信系统，其中传统上由模拟硬件（如混频器和滤波器）实现的组件，改为在计算机或嵌入式系统上通过软件实现。采样率以每秒样本数（SPS）衡量，决定了可捕获的带宽和频率范围；320Msps 表示每秒 3.2 亿个样本，能够接收宽带信号。WiFi 7 路由器包含先进的射频前端和 ADC，可被重新用于 SDR，为专用 SDR 硬件提供了经济高效的替代方案。

参考链接

社区讨论: 社区反应非常积极，用户称赞开发者之前基于 ESP32 的 SDR 项目，并希望更多此类项目能在常见 Wi-Fi 网卡上实现。一些用户指出，相同的芯片组可能适用于其他设备，如 Banana Pi R4，还有人讨论扩展可能性，例如添加衰减器和混频器以覆盖更宽的频率范围。此外，有用户询问手机 FM 收音机限制是否与 SDR 能力有关。

标签: #SDR, #WiFi 7, #Hardware Hacking, #Radio, #Open Source

Python 3.15 发布：引入惰性导入，告别 3.10 ⭐️ 8.0/10

Python 3.15 正式发布，带来了显式惰性导入（PEP 810）和推导式中的解包语法（PEP 798）。西蒙·威利森指出这标志着 Python 3.10 支持的结束，也让项目可以开始使用 3.11 的特性。此版本显著提升了启动性能与开发体验，尤其对命令行工具和依赖重的应用帮助很大。终止 Python 3.10 支持将促使整个生态系统升级，采用更快、更安全的代码。显式惰性导入使用 lazy import 与 lazy from 语法，将模块加载推迟到符号首次被使用时。推导式中的解包，例如 [*L for L in lists]，将 PEP 448 的解包语法扩展至列表、集合和字典，可一步完成扁平化。

rss · Simon Willison · 10月12日 18:15

核验: 多源印证

背景: Python 每年发布一个新版本，新特性由 Python 增强提案（PEP）定义。显式惰性导入是一种可选择启用的方案，不同于被否决的隐式 PEP 690，它避免了级联惰性加载，并提供了细粒度的控制。推导式中的解包则是对 Python 3.5 引入的解包语法的泛化扩展。

参考链接

标签: #Python, #版本发布, #PEP, #语言特性, #开发者工具

微软发布 Maia 300 自研芯片，将 Maia 推理规模扩展至多吉瓦级部署 ⭐️ 7.62/10

微软发布了第三代自研 AI 芯片 Maia 300，其每瓦 token 产出比主流 GPU 系统高 40%。从下一个日历年（2027 年）起，微软将把 Maia 芯片家族扩展至多吉瓦级部署，使其成为自家产品和服务的主要推理系统，而 Maia 200 已在美国、欧洲和澳大利亚部署。这是 AI 基础设施领域的重要里程碑，有助于降低微软在推理工作负载上对英伟达、AMD 等第三方芯片供应商的依赖。每瓦 token 能效的提升可直接降低推理成本和功耗，惠及微软的 Copilot、Teams 和 Azure 客户，也反映出行业向自研 AI 芯片发展的趋势。 Maia 300 针对长上下文推理、低延迟对话和多步骤智能体任务进行了优化，计划于 2027 年投入量产并部署。Maia 200 已投入生产环境，在 Teams 和 Copilot 场景中每瓦 token 产出最高提升 1.7 倍。

aihot · X：Satya Nadella (@satyanadella) · 10月12日 13:03 · 中文阅读

核验: 多源印证

背景: 微软一直在开发名为 Azure Maia 的自研 AI 加速器，以在 AI 推理工作负载上对标英伟达和 AMD 的 GPU。Maia 芯片家族旨在提供更好的能效（每瓦 token 产出），并与微软的软件栈进行全栈整合。’多吉瓦级部署’指所部署硬件的总功率容量，表明其达到数据中心级规模，使 Maia 成为微软的主要推理基座。

参考链接

标签: #AI芯片, #微软, #AI基础设施, #推理部署, #Maia

AWS 提出 Priming 方法，将预训练 Transformer 改造成混合状态空间模型 ⭐️ 7.53/10

AWS 研究人员提出了 ‘Priming’ 方法，该方法用预训练 Transformer 初始化混合状态空间模型，并使用不足源模型预训练 token 预算 0.5% 的量恢复下游质量。这一方法将预训练成本降低逾 99%，并相比从头训练混合模型可获得 2 倍的吞吐量提升。 Priming 将混合架构设计从预训练问题转变为知识迁移问题，大幅降低了大规模混合模型探索的计算门槛。这可以让更多研究者和开发者在没有巨额预算的情况下构建结合注意力与状态空间的高效模型，从而加速高效 AI 架构的创新进程。该方法用高效的 SSM 层替换现成 Transformer 中的注意力层，然后通过简短的 alignment 和对齐训练阶段来恢复质量。它只需不到原始 token 预算的 0.5%，并让训练出的混合模型获得 2 倍的吞吐量提升。

aihot · Amazon Science（RSS） · 10月12日 17:36 · 中文阅读

核验: 多源印证

背景: Transformer 依赖自注意力机制来捕捉上下文，其计算量随序列长度二次增长，非常消耗算力。状态空间模型（SSM）则以线性扩展的方式提供更高效的替代方案，而混合架构结合了注意力与 SSM 记忆，以获得更好的效率和性能。然而，从头训练这种混合模型成本极高，历史上限制了大规模探索；Priming 通过复用预训练 Transformer 权重避开了这一障碍。

参考链接

标签: #AI research, #efficient training, #state space models, #Transformers, #AWS

Meta Muse Wonder 系列上线 Agent Arena，评分即将公布 ⭐️ 7.5/10

Meta 已将 Muse Wonder 系列前沿模型上线 Agent Arena 平台，用户可以直接在真实世界的自主任务中实测这些模型。Muse Wonder 在 Agent Arena 上的官方评测分数即将公布。这具有重要意义，因为 Muse Wonder 是 Meta 迄今最强能力的模型，专为智能体任务构建，将其上线公共社区评测平台能让用户直接与其它前沿模型对比。这标志着 Meta 认真参与智能体 AI 领域竞争的意图，而该领域的模型质量正日益以真实任务表现而非静态基准来衡量。 Muse Wonder 结合了 Active Memory 和 Active Focus 两种机制，用于跟踪用户关注的重点并努力实现目标。该模型通过 Meta 模型 API 和 Muse Code 提供，而能力更强的 Muse Wonder Full 则面向 Muse Code 订阅用户开放。

aihot · X：Arena (@arena) · 10月12日 18:04 · 中文阅读 · 2 个来源

核验: 多源印证

背景: Agent Arena 是一个让自主 AI 智能体执行浏览、研究、编码等真实世界任务的平台，其排行榜基于超过 150 万次真实智能体会话构建。Muse Wonder 是 Meta 推出的新前沿智能体模型系列，被宣传为其迄今最强大的模型。该平台的公开对比让用户可以在实时实用任务中评估模型，而不只是依赖静态基准。

参考链接

社区讨论: 评论区反应不一。有人欢迎此次发布，认为更多公司接近前沿可以防止权力极端集中并促成合作。但实测反馈并不热烈：有用户报告 Muse Wonder 在图像转 HTML 测试中表现远不如 Opus 5.5，更接近 Sonnet 或 Haiku；另有用户反映在 Meta 登录流程中看到其他人的个人资料，提出了安全担忧。

标签: #AI agents, #Meta, #Agent Arena, #模型评测, #产品发布

Codex CLI 默认后台守护进程引发磁盘问题；可用配置开关禁用 ⭐️ 7.3/10

OpenAI 的 Codex CLI 现在默认安装一个持久的、自更新的后台守护进程，导致大量磁盘占用和权限错误。社区发现，在 ~/.codex/config.toml 的 [features] 下设置 daemon_auto_start = false 可禁用该自动启动行为。这一默认行为影响了 AI 开发者工具用户的日常工作流，增加了隐藏的开销和脆弱性，可能中断编码会话。它还引发了关于 AI 编码工具设计的更广泛讨论，与 Claude Code 等工具进行了对比，并呼吁更简单、更透明的工具。该守护进程因存储旧版本可能占用约 12 GB 磁盘空间，且自动更新可能随机损坏权限，例如让 .git 变为只读并阻塞任务。临时解决方案包括将 ~/.codex 中的 pid/lock 文件符号链接到 /dev/null，并用 chattr +i 标记为不可变。

hackernews · whimblepop · 10月12日 18:29 · 社区讨论 · 中文阅读 · 2 个来源

核验: 多源印证

背景: Codex CLI 是 OpenAI 于 2025 年 4 月发布的终端编码代理，旨在让用户在终端中检查、编辑和运行代码。从 0.157 版本开始，守护进程自动启动成为稳定默认行为：首次启动时，Codex 会生成一个后台服务器（codex exec-server），TUI 连接至该服务器，通过保持服务器活跃来加快启动速度。这一变更引入了持久后台进程，许多用户对此感到意外并认为存在问题。

参考链接

社区讨论: 社区评论指出了多个 bug，包括磁盘占用高达 12 GB 和权限损坏导致任务阻塞，这引发了用户对 Codex 可靠性的沮丧和不信任。一些用户推荐更简单的替代工具如 hax，也有人指出 Claude Code 采用类似的操作模型，另一些用户则提供了技术性临时解决方案，例如将 pid 文件符号链接到 /dev/null。

标签: #Codex CLI, #AI developer tools, #bug report, #daemon, #OpenAI

Epic Games 转向 AI 先行开发，迪士尼射击游戏无限期延期 ⭐️ 7.15/10

Epic Games 正在为其与迪士尼 15 亿美元的合作项目转向”AI 先行”开发策略，由 Anthropic 的 Claude 等 AI 模型编写全部代码并指导全部美术。原定于 2027 年 3 月推出的漫威与星球大战主题射击游戏，已因这场 AI 相关的调整而被无限期延期。这标志着生成式 AI 在大型游戏生产中最为激进的采用之一，可能会为工作室开发游戏的方式树立先例。如果成功，它将从根本上重塑开发团队结构——人类开发者负责管理 AI 生成的内容，而非亲手编写代码。这项 15 亿美元的合作于 2024 年初宣布，Epic 于 2026 年 3 月以《堡垒之夜》参与度下滑为由裁员逾 1,000 人。一项针对 2,300 多名游戏行业从业者的调查显示，36% 的人使用生成式 AI 工具，但主要用于研究与头脑风暴（81%），而非代码辅助（47%）。

aihot · Ars Technica：AI（RSS） · 10月12日 20:59 · 中文阅读

核验: 多源印证

背景: AI 先行开发是一种开发模式，由生成式 AI 模型承担主要的创意与技术工作——例如编写代码和生成美术——而人类开发者负责管理、引导并打磨产出。Anthropic 的 Claude 是一系列专为编码、分析与内容生成设计的大语言模型。Epic Games 于 2024 年初与迪士尼达成 15 亿美元合作，打造一款包含漫威与星球大战角色的射击游戏，其 CEO Tim Sweeney 长期以来看好 AI 驱动的游戏开发，预测小团队可借助 AI 工具构建庞大的互动世界。

参考链接

标签: #AI 开发, #Claude, #Epic Games, #AI 先行开发, #游戏开发

QGIS 通过 QEP428 禁止 AI 辅助贡献 ⭐️ 7.15/10

QGIS 正式通过了 QEP428，将其 AI 政策改为严格“不允许”AI 辅助贡献。该提案由 nyalldawson 提交，并于 2026 年 10 月 7 日合并进 QGIS-Enhancement-Proposals 仓库。这一由主要开源 GIS 项目做出的政策决定可能会影响其他项目采取类似限制，引发关于开源开发中 AI 使用的更广泛讨论。它直接影响依赖 AI 工具的贡献者和维护者，可能重塑贡献工作流程。该政策适用于所有 AI 辅助贡献，包括代码、问题、评论和 PR，这在讨论中已明确。此前 QEP 处于“人在回路”政策下，要求人工监督，但现在已收紧为完全禁止。

aihot · Hacker News：AI 热帖 · 10月12日 11:22 · 中文阅读

核验: 多源印证

背景: QGIS 是一款免费开源的地理信息系统（GIS）软件，支持 Windows、macOS 和 Linux。QEP（QGIS 增强提案）是用于向项目提出变更的正式文档，在合并前会在 QGIS 开发者邮件列表上进行讨论。

参考链接

社区讨论: 社区反应不一，PR 上有 88 个赞和 27 个踩。支持者如维护者 haubourg 认为 AI 贡献给维护者带来巨大压力，威胁自由软件社区依赖的人际网络；反对者可能担心这会扼杀创新或排斥使用 AI 工具的贡献者。

标签: #QGIS, #AI policy, #open source, #AI-assisted development, #community governance

Z.ai 推出 GLM-Legal，面向法律工作的智能体模型 ⭐️ 7.0/10

Z.ai 发布了 GLM-Legal，这是一个基于轻量级 GLM-5.3-Flash 架构、经扩大法律语料中期训练和后续训练的专业法律 AI 模型。在 Harvey LAB 基准测试中，它在 24 个实务领域取得了 19.2%的全程通过率，比基础模型提升了 12.5 个百分点。此次发布标志着在监管严格的行业中，领域专用智能体 AI 日益流行的趋势，这类领域对准确性和可靠性要求极高。19.2%的全程通过率表明智能体法律工作仍难以完成端到端任务，凸显了人在回路监督在法律 AI 中的必要性。 GLM-Legal 面向真实的律所工作流程，Z.ai 将法律实务视为对模型推理和交付客户可用成果能力的极限测试。该模型的训练与测试框架同步迭代，使生产反馈转化为具体的工程损失信号。

hackernews · ilreb · 10月12日 16:11 · 社区讨论

核验: 多源印证

背景: GLM-Legal 基于 Z.ai（原智谱 AI）的轻量级模型 GLM-5.3-Flash，通过扩大法律语料的中期训练和后续训练实现专业化。法律 AI 模型通过 Harvey LAB 和 LegalBench 等基准评估，这些基准模拟真实律所的工作任务。“全程通过”评分标准非常严格：只有端到端工作流的每一个步骤都成功才算通过。

参考链接

社区讨论: 评论者观点不一。Jedberg 建议基准测试应区分复用相同模板的任务，并分享了用 Claude 审查合同的正面经验。Fireflysentinel 提出隐私担忧，提到 Z.ai 过去曾在每次提示前对整个工作区进行快照的做法，质疑如何信任这样一家公司推出的法律产品。Victor9000 认为法律领域需要更好的工具，引用了 Anthropic 的人在回路政策；律师 otterley 对 20%的通过率不以为然，Eufrat 则斥责法律模型是不敬的，指出法律并非建立在固定的公理之上。

标签: #AI, #legal-tech, #GLM-Legal, #privacy, #human-in-the-loop

Simon Willison 发布 web-edit 0.1a0：基于 Tailscale 的 AI 辅助文件编辑器 ⭐️ 7.0/10

Simon Willison 发布了 web-edit 0.1a0，这是一个 Python Web 应用，提供用于浏览和编辑文件夹内文件的网页界面，设计为通过 Tailscale 运行。该应用由 Codex 和 GPT-6 Astra Extra High 辅助构建，使得凭据无需经过 LLM 即可完成编辑。这解决了 AI Agent 工作流中的一个真实痛点：编辑凭据等敏感文件时，无需让这些内容经过 LLM 往返传输。利用 AI 在 Tailscale 网络上构建小型个人 Web 工具的做法新颖且实用，可能为 AI 辅助的远程开发催生更安全的设计模式。编辑器基于 CodeMirror 6 而非 Monaco，因为 Monaco 仍缺乏良好的移动端体验。预期的工作流程是让 Agent 启动该服务，然后 Simon 通过其 Tailscale 网络直接在手机上编辑文件；小于 2 MB 的图片会内联显示，并支持上传、新建、下载和删除等操作。

rss · Simon Willison · 10月12日 15:54

核验: 多源印证

背景: Tailscale 是一种软件定义的网状 VPN，可跨不同网络安全地连接设备和各项服务，让用户从任何地方访问自己的机器。Codex Remote 是一款允许用户从手机控制 OpenAI Codex 编程 Agent 的工具，而 GPT-6 Astra Extra High 是 OpenAI 的高推理级别模型配置之一。此次发布的场景是：Simon 通过 Codex Remote 在手机上处理项目时，想要编辑一个凭据文件，但又不希望将这些凭据暴露给 LLM 本身。

参考链接

标签: #AI agents, #developer tools, #Codex, #Tailscale, #web app

Cursor 并入 X 订阅：老用户应保留原计划 ⭐️ 7.0/10

Cursor 已并入 The X Subscription，这是一个包含 X Premium、Grok 和 Cursor 的捆绑订阅，共五档，起价每月 8 美元。现有 Cursor 订阅用户可以选择保留原计划或切换，但新计划不再包含第三方模型额度，Claude、GPT 和 Gemini 的使用将按 API 价格单独计费。这一变化对依赖 Claude 或 GPT 进行编码的 AI 开发者影响重大，因为切换到新计划可能会大幅增加成本。这也反映了 AI 工具与平台订阅捆绑的趋势，可能重塑开发者支付 AI 服务的方式。新计划分为五档：免费版、Plus（8 美元）、Premium（30 美元）、Super（100 美元）和 Ultra（200 美元），用量分别为 Plus 的 4 倍、15 倍和 50 倍。第三方模型用量按 API 价格单独计费，用户可设置消费上限；Plus 档仅支持 Grok 模型。原计划（Pro 20 美元、Pro Plus 60 美元、Ultra 200 美元）保留双额度池系统，但定价页已不再提供新的 Pro 订阅，官方未说明原计划可保留多久或能否切回。

twitter · 宝玉 · 10月13日 00:34

核验: 多源印证

背景: Cursor 是一款基于 Visual Studio Code 构建的 AI 驱动代码编辑器，以其深度 AI 集成而闻名。The X Subscription 是 X（前 Twitter）推出的新捆绑订阅，整合了 X Premium、Grok（xAI 的 AI 助手）和 Cursor，此前 SpaceX 以 600 亿美元收购了 Cursor 母公司 Anysphere，xAI 也在 2 月并入 SpaceX。

参考链接

标签: #X订阅, #Cursor, #Claude, #AI工具, #订阅定价

智能体经济学：AI 原生公司如何管理 AI 员工 ⭐️ 7.0/10

@dongxi_nlp 在推文中提出了面向 AI 原生公司的“智能体经济学”概念——这类公司的员工主要是 AI 智能体，并推荐了两篇论文：《面向自主科学发现的智能体经济学》和《递归自我改进的经济学》。推文提出了两个核心问题：更聪明的 AI 是否会让研发和产品迭代更快，以及如何在有限的时间和金钱下最优地管理 AI 智能体。这之所以重要，是因为随着 AI 智能体变得越来越自主和强大，公司需要一套框架来理解 AI 驱动的研发如何加速产品周期，以及如何在智能体员工中高效分配资源。这与智能体 AI 应用的行业趋势以及自主系统经济学的新兴领域紧密相关，对 AI 开发者、研究者和企业管理者都具有参考价值。该推文指出了 AI 原生公司的两个基本关切：AI 智能的提升是否能让研发速度和产品迭代更快，以及如何通过资源管理最大化效益。所引用的两篇论文分别探讨了自主科学发现场景下的智能体经济学，以及 AI 系统迭代设计更强大后继者的递归自我改进经济学。

twitter · Dongxi 东锡 NLP · 10月12日 22:14

核验: 多源印证

背景: 智能体经济学是一个新兴领域，研究自主 AI 智能体如何在市场和组织中与彼此及人类互动，包括由自主智能体驱动的经济体的金融基础设施。递归自我改进（RSI）指的是 AI 系统迭代地设计更强大的后继者的过程，这可能引发智能爆炸。麦肯锡等机构的行业分析指出，虽然单个 token 成本在下降，但企业对智能体 AI 的支出正在上升，智能体工作流的经济学既复杂有时又出乎意料地昂贵。

参考链接

标签: #AI Agent, #经济学, #自主科研, #递归自我改进

创作者结合 Anatomy 技能、Grok 和即梦制作芯片制造科普视频 ⭐️ 7.0/10

@op7418 将本周爆火的 Anatomy Claude Code 技能与 Grok 机器人以及抖音旗下即梦 AI 相结合，制作了一支等轴立体风格、解释芯片制造流程的科普视频。这展示了一个串联多种 AI 工具进行科普内容创作的实际工作流。这展示了一种创新的 AI 工具组合方式，能够快速产出精美的科普内容，显著降低了高质量科普视频的创作门槛。同时凸显了 AI 技能（Skill）生态的快速成长，这些能力正在将 Agent 的应用范围从文本扩展到视觉与交互式内容生成。 Anatomy 技能由 GitHub 用户 wheresryan22 开发，可将技术概念转化为详细的交互式等轴 SVG 图形，支持可选的 WebGL shader 和 3D 输出，不到一周就在 GitHub 上获得了三千多颗星。即梦（Dreamina）是字节跳动/抖音推出的文字生图、文字生视频 AI 平台。

twitter · 歸藏(guizang.ai) · 10月12日 16:17

核验: 多源印证

背景: Anatomy 是一个 Claude Code「技能」（Skill）——一种可复用的扩展，为 AI 代理提供超越基础对话的专门能力。它能把纯文字的技术描述转化为细节丰富、可交互的等轴立体插画，风格接近真实机器，带有活动部件和层次深度。即梦（Dreamina）是字节跳动旗下的 AI 内容生成平台，可将文字提示转换为图片和视频。将这些工具组合起来，创作者可以制作出以独特、统一的等轴艺术风格来讲解芯片制造等复杂流程的科普视频。

参考链接

标签: #AI agents, #AI 产品设计, #自动化工作流, #科普视频, #开源AI工具

Opus 5.5 + 即梦 CLI：AI 全权编排的故事片创作 ⭐️ 7.0/10

作者尝试将 Claude Opus 5.5 与即梦 CLI 结合，制作了一部短故事片，并表示效果出乎意料地好。Opus 5.5 负责全部创意决策——编排、视频特效、提示词和剪辑，而即梦 CLI 负责各分镜对应的图片与视频生成。这展示了代理式创意工作流的实际应用：单一推理模型即可协调整个视频制作流程。它反映出 AI 工具正从独立生成器向可集成、由代理编排的工作流演进，能够大幅减少影视与内容制作中的人工操作。作者指出，在视频上叠加大量用代码生成的动画效果，显著提升了画面质感。该工作流职责划分清晰——Opus 5.5 负责规划与创意决策，即梦 CLI 负责素材生成——使得整个流程模块化且可重复执行。

twitter · 歸藏(guizang.ai) · 10月12日 05:23

核验: 多源印证

背景: Claude Opus 5.5 是 Anthropic 的先进大语言模型，擅长推理、规划与编排任务。即梦 CLI 是一个命令行接口，让 AI 代理能以编程方式调用即梦的图像与视频生成能力。这种”推理模型负责规划编排、专用工具负责执行生成”的模式，反映了创意生产中代理式 AI 工作流的广泛趋势——AI 可负责从分镜到最终剪辑的整个环节。

参考链接

标签: #AI视频生成, #Opus 5.5, #即梦CLI, #创意工作流, #AI代理

AlphaProof Nexus 攻克 9 个 Erdős 未解问题并通过同行评审 ⭐️ 8.65/10

黑客远程触发欧洲超市冰箱自动除霜 ⭐️ 8.0/10

将 WiFi 7 路由器改装成 320Msps 软件无线电接收器 ⭐️ 8.0/10

Python 3.15 发布：引入惰性导入，告别 3.10 ⭐️ 8.0/10

微软发布 Maia 300 自研芯片，将 Maia 推理规模扩展至多吉瓦级部署 ⭐️ 7.62/10

AWS 提出 Priming 方法，将预训练 Transformer 改造成混合状态空间模型 ⭐️ 7.53/10

Meta Muse Wonder 系列上线 Agent Arena，评分即将公布 ⭐️ 7.5/10

Codex CLI 默认后台守护进程引发磁盘问题；可用配置开关禁用 ⭐️ 7.3/10

Epic Games 转向 AI 先行开发，迪士尼射击游戏无限期延期 ⭐️ 7.15/10

QGIS 通过 QEP428 禁止 AI 辅助贡献 ⭐️ 7.15/10

Z.ai 推出 GLM-Legal，面向法律工作的智能体模型 ⭐️ 7.0/10

Simon Willison 发布 web-edit 0.1a0：基于 Tailscale 的 AI 辅助文件编辑器 ⭐️ 7.0/10

Cursor 并入 X 订阅：老用户应保留原计划 ⭐️ 7.0/10

智能体经济学：AI 原生公司如何管理 AI 员工 ⭐️ 7.0/10

创作者结合 Anatomy 技能、Grok 和即梦制作芯片制造科普视频 ⭐️ 7.0/10

Opus 5.5 + 即梦 CLI：AI 全权编排的故事片创作 ⭐️ 7.0/10

更多追踪内容

其他追踪推文

@dotey: 今天 Codex 重置，重置将在太平洋标准时间当日结束前完成

@thsottiaux: Day 8/ Reset

@dotey: 现在我已经不好意思说："在无人关注的角落，Meta 也重置了"，经 Muse 现在已经用户量也不小了😅

@SpaceXSI: We've unified plans across Grok, Cursor, and X Premium. Introducing The X Subscription. https...

@alexandr_wang: we have identified and fixed the issue that was causing the unusually fast quota usage for mu...

@dotey: 我觉得就应该做一些配套的 Codex、Claude Code 健身硬件，比如说推理强度和你的握力相关，你握力越大推理强度越高，这样你为了更高的推理强度就能使劲练习。

@op7418: 无人深空居然上线 iOS 端了

@op7418: 今天下午去了 Apple 孵化器的 Demo Day，见到了非常多不错的产品和开发者。顺便没想到库克也来了，感谢苹果邀请。就是这个合影，我感觉我又被广角镜头给坑了，怎么感觉如此肥大。...

@NoMansSky: iOS Deep Dive 🪐NMS on iPhone + iPad! 👉Rebuilt for Touch 🎮Controller Support 🖱️Mouse + Keys Su...

@DashHuang: 早上周会和同事们讨论了下 AGI 的话题。让 Cindy 帮忙把会议纪要整理成了一篇文章。 https://t.co/Qr1ijf8tdx

@lijigang: 搞一个握力器，放在电脑旁边。等 AI「thinking」的空档，拿起来开捏。 https://t.co/DWcVaLgr37

其他 Follow Builders 资讯

Nan Yu: Who’s gonna tell him https://t.co/QcAecsogbx

Zara Zhang: The only place where I use Gemini these days is in Chrome