❯ OpenAI 与 Anthropic 公布指数时间假设反证，理论计算机科学迎来新的检验
两家公司给出反证OpenAI 与 Anthropic 都已公开由内部 AI 模型得到的“指数时间假设”（ETH）反证。OpenAI 在 10 月 26 日的公告中称，模型于 10 月 16 日找到自然语言证明，次日完成 Lean 形式化验证；Anthropic 的研究仓库也公开了论文与 Lean 4 代码，称结果由内部 Claude 研究模型发现。
计算难度的长期假设ETH 认为，一类称为 3-SAT 的逻辑求解问题，在最坏情况下需要随变量数量指数增长的计算时间。它长期被用来推导其他问题的计算难度。两家公司给出的算法把增长速度降到“次指数”级别；这种理论改进尚未带来可直接使用的实际求解器，也没有解决 P 与 NP 是否相等的问题。
形式验证之后仍要理解Lean 可以检查形式化命题的逻辑推导。论文的表述、计算模型和结论之间如何对应，仍需要研究者解释与审阅。Russell Impagliazzo、Ramamohan Paturi 和 Ryan Williams 已发起公开检验与讨论，明确表示参与组织工作并不代表为结论作出认证。
已有研究需要重新定位如果反证经独立检验成立，依赖 ETH 的一批计算困难性结论将失去原有前提，但相关问题本身是否容易求解还要分别研究。对密码安全的实际影响，同样取决于是否出现适用于具体系统、且在现实规模上有效的算法。
▮ SIGNALAI 生成证明的速度提高后，独立检验、解释和寻找可用算法将承担更多科研工作。
❯ SemiAnalysis 披露 NVIDIA 新测试：700B 以上模型每用户超过千 token/s
超大模型的交互速度SemiAnalysis 于 11 月 1 日披露，NVIDIA 的新 AgentX 提交显示，使用高带宽内存（HBM）的系统可让 700B 以上参数规模的模型达到每用户超过 1,000 token/s 的生成速度，相关软件由智能体群参与编写。这是特定推理测试中的生成速率，完整任务还包含读取上下文和调用工具等耗时，见其原始披露。
速度与单位成本一起比较同一披露称，在每用户 325 token/s 的目标速度下，Rubin NVL72 的单位总拥有成本性能为 GB300 NVL72 的 20.9 倍；在 200 token/s 下为 9.11 倍。这两组比较使用不同的服务速度目标，分别对应各自测试配置。AgentX 用多轮编程智能体工作负载评估推理基础设施，兼顾交互速度与可服务的任务量。
把更多缓存连起来SemiAnalysis 的后续说明称，该提交使用 Mooncake Store 的扩展 GPU 内存功能，通过 NVLink 共享 Vera 系统内存中的 KV 缓存，覆盖 18 个计算托盘，相比此前使用 RDMA 的方式带宽提高超过 10 倍。KV 缓存保存已处理上下文的中间结果，减少长对话和多轮任务中的重复计算。
提速来自整个系统超大模型的服务成本同时受计算、内存容量、数据传输和推理软件影响。更快地共享上下文缓存，可以减少等待数据的时间；若能在更多真实工作负载中保持优势，同一套基础设施就有机会以更短延迟服务更多智能体。
▮ SIGNAL长上下文智能体的推理竞争，越来越取决于缓存如何跨内存和计算节点流动。
❯ DeepSeek 开源 Super-Agent 原型，让编程助手接入团队协作
围绕一个代码仓库工作DeepSeek 已开源 dsh-superagent 编程智能体研究原型。根据其官方仓库，系统围绕单个 GitHub 仓库运行，监听 GitHub 事件，也可接入飞书；获授权的人在对话中提出任务后，它会建立工作项，在独立会话和目录中执行，再回到原对话提交结果，例如一个代码合并请求。
团队请求进入独立任务这套设计把团队沟通、任务分派和代码执行连起来，让开发者不必每次重新把讨论内容复制给编程助手。网页面板会显示需要人工处理的事项。系统仅在收到请求或团队预先制定的规则允许时行动，通知也围绕可用结果和需要人处理的事项发送。
开放的是研究代码DeepSeek 明确将其标为研究原型，尚非正式产品，也未达到生产就绪状态。公开版本经过适配，与内部版本及设计文章中的实现有所不同，部分设想尚未实现。代码采用 MIT 许可证，团队可自行审阅和改造；接入实际项目仍需配置权限、运行环境和协作入口。
▮ SIGNAL编程智能体进入团队后，任务授权、上下文衔接和通知频率会直接影响它能节省多少人工注意力。
❯ OpenAI 将融资目标下调至约 200 亿美元，寻求 1.25 万亿美元估值
募资目标缩小三分之一据路透社转述《金融时报》，OpenAI 将最新一轮融资目标从约 300 亿美元下调至 200 亿美元，目标估值从此前的 1.4 万亿美元降至 1.25 万亿美元。报道发表于 10 月 30 日，援引知情人士称，一些投资者在科技股调整期间减少了认购承诺，首轮交割金额预计还会低于 200 亿美元。
资金与算力同时谈判OpenAI 通过 ChatGPT 订阅、企业服务和模型 API 获得收入，同时需要为模型研发和持续提供推理服务配置算力。报道指出，包括 MGX 在内的阿联酋投资者财团预计将成为本轮最大参与方之一，相关安排还可能让 OpenAI 获得租用当地新增计算资源的选择权。投资者名单与租约选择权均属于报道中的拟议安排。
融资与竞争共用资金池路透社称，OpenAI 希望在 Anthropic 临近上市前推进融资，两家公司争取部分相同的投资者。此次调整同时压低了拟筹资金额和估值预期，但交易仍处于募资与交割推进阶段，尚无最终融资规模。对投资者而言，估值、未来资本需求以及算力安排会共同影响出资决定。
▮ SIGNAL前沿模型公司的融资谈判已把股权定价、持续资本需求和算力获取绑定在一起。
❯ 沙特阿美完成 Humain 49% 股权交易，约 26 亿美元现金与 AI 资产共同注入
PIF 继续持有多数股权沙特阿美已通过全资子公司取得 AI 公司 Humain 的 49% 股权，沙特公共投资基金 PIF 保留 51%。据 GamesBeat 11 月 1 日报道，交易包含阿美于 2026 年向 Humain 注入约 99 亿沙特里亚尔、折合约 26 亿美元现金，以及 AI、计算和数字资产。
做全栈 AI 服务Humain 于 2025 年 5 月成立，业务覆盖数据中心、高性能计算与云平台、AI 模型，以及面向行业的应用。它为公共和私营部门提供部署 AI 所需的算力、模型与解决方案，并开发包括 ALLAM 在内的阿拉伯语模型。公司计划到 2030 年部署 3 吉瓦 AI 数据中心容量，这是建设目标。
能源企业也是使用方阿美将作为股东和战略伙伴使用 Humain 的基础设施与服务，把 AI 应用于工业经营。交易把 PIF 与阿美已有的技术资产、人才和投资资源集中到同一平台，也让 Humain 获得能源行业的具体应用场景。约 26 亿美元属于现金注入部分，交易同时包含其他资产。
▮ SIGNAL能源企业以资金、技术资产和实际需求入股，让 AI 基础设施建设与工业客户更紧密地连接。
❯ Meta 与傅利叶三个月造出人形机器人原型，第二代已在研发
Max 进入内部实验Meta 与中国机器人公司傅利叶合作，在约三个月内造出代号 Max 的人形机器人原型，并已研发第二代。根据 Investing.com 对 The Information 的转述，Meta 表示，合作用于内部研究和实验，目前没有出售这些机器人的计划。
给 AI 增加实体操作能力报道描述，Max 配备可呈现表情的显示屏、扬声器和能够处理小物件的五指手。第二代 Max 2 的开发于 9 月启动，计划改进躯干和手部设计，并增加帮助机器人通过楼梯等环境的传感器。家庭辅助任务需要模型把语言理解与观察、抓取和移动连续连接起来。
成熟硬件加快试验与已有机器人平台的企业合作，使 Meta 能更快获得用于训练和测试的实体设备。原型的意义在于验证 AI 与机械结构如何配合，距离可售产品还涉及可靠性、成本和使用环境等问题。现阶段合作集中在研究，公司没有公布面向消费者的上市时间。
▮ SIGNAL与机器人厂商合作，让模型公司更快获得实体试验平台，也把竞争带到真实环境中的操作能力。
❯ 苹果 CEO John Ternus 强调产品体验：不为加入 AI 而加入 AI
以用户感受衡量功能苹果 CEO John Ternus 在 WIRED 的采访中表示，苹果会使用 AI 改善产品，但不会为了加入 AI 而加入 AI。他希望用户最终关注产品是否好用，而无需分辨一项体验是由 AI 还是传统软件实现。采访发生在苹果展示新款触屏 MacBook Pro 之际。
硬件与软件一起设计Ternus 已在苹果工作约 25 年，上任 CEO 尚不足两个月。报道介绍，苹果已把硬件工程与硬件技术组织整合到 Johny Srouji 领导之下，由其向 Ternus 汇报。AI 体验涉及芯片、设备与软件协同，苹果延续产品整合路线；此次采访没有给出新的模型或功能上线时间表。
管理交接延续原有协作Ternus 也表示，担任执行董事长的 Tim Cook 会在他提出需要时提供帮助。面对 AI 是否会取代现有应用和产品形态的讨论，他仍强调创造产品的人类判断与个人体验。对开发者和用户而言，苹果的表述把 AI 的价值落在具体功能如何融入日常使用上。
▮ SIGNAL当 AI 融入终端，用户为完整体验付费，芯片、软件与交互的整合能力仍决定产品价值。
❯ Exin 让 AI 操作小鼠脑部注射，实验疗效仍待观察
从候选方案到注射设备神经疾病药物研发公司 Exin Therapeutics 将 AI 智能体接入实验设备，让它从 19 种基因治疗选项中选择方案、确定脑部靶点与注射坐标，并控制设备完成活体癫痫小鼠的脑部注射。WIRED 的报道介绍，兽医外科医生先完成开颅，AI 再操作针头及注射参数。
人工批准不可逆步骤实验设置了人工安全保障：注射计划需要人类批准，工作人员可紧急停止设备，AI 被禁止修改设备底层控制代码。团队先尝试 Claude Opus 5.5；该模型完成规划后拒绝继续引导针头，随后换用 Sonnet 5 执行。整个过程在人类组织和监督之下进行。
坐标故障暴露工程难题设备坐标系统一度故障，执行智能体发现位置不对，却因权限限制无法修改底层代码。团队使用另一个独立智能体修改代码后才继续。通常约 45 分钟的注射操作，在这次演示中花费略超一小时。实验尚未公布癫痫发作相关结果，也未经过同行评审。
连接设备形成反馈这次演示呈现了 AI 从阅读资料、分析数据进一步参与实体实验的路径。能直接观察和操作设备，才有机会把假设、执行与反馈串起来；目前展示的是有人类保障的注射流程，药物是否有效仍需后续测量，实验效率也尚未优于常规操作。
▮ SIGNAL连接实验设备能让 AI 获取新的反馈，但可靠性、权限设计和人工保障会直接决定实验成本。
❯ Anthropic 官网代码出现 Mythos 5.5 字样，公开页面仍列 5.1
版本名称提前出现TestingCatalog 于 11 月 1 日报道，Anthropic 的 Mythos 官网代码中出现“Claude Mythos 5.5”字样，并沿用面向网络安全和生物研究的模型描述。Anthropic 尚未发布对应的正式公告、能力评测、价格和开放时间。
现有产品实行验证访问截至 11 月 2 日，Mythos 官方页面仍展示 Mythos 5.1，面向经过验证的网络防御与生命科学研究用户。Anthropic 现有安排中，Fable 5.1 与 Mythos 5.1 使用相同底层模型，Fable 面向更广泛用户，并采用额外的网络安全和生物相关保障。
能力与访问资格共同演进新版本若延续现有产品划分，其价值将同时取决于能力提升和哪些研究者、企业可以获得访问。当前 5.5 的产品细节尚未公布，Fable 5.5 是否同步推出也没有正式时间表。对安全团队和生命科学机构，现有申请路径仍是官方验证项目。
▮ SIGNAL在高能力专业模型中，访问资格与安全配置和模型表现一起决定机构能开展哪些工作。
❯ GPT-6.2 Astra 名称现身 Codex 用量截图，OpenAI 尚未公布新品
截图显示不同模型标识X 账号 Token Gremlin 与 kimmonismus 于 11 月 1 日传播的截图中出现“gpt-6.2-astra”模型标识，内容包括 Codex 用量分类及一段响应数据。根据 FourWeekMBA 对相关帖子的整理，Token Gremlin 称模型选择器仍显示 GPT-6 Astra，但部分账户的用量明细出现了新的名称。截图真实性及覆盖账户范围尚未获得独立确认。
正式产品信息尚缺席截至 11 月 2 日，OpenAI 尚未正式公布 GPT-6.2 Astra 的开放方式、价格或能力变化，其官方新闻页面也没有对应发布公告。kimmonismus 推测发布已临近，但没有给出公司确认的日期。现阶段，普通用户没有官方公布的 GPT-6.2 Astra 选择或升级路径。
后台标识与用户体验模型选择器决定用户看到的选项，用量分类则记录服务调用的归属。两处名称出现差异，可能涉及测试、路由或统计标签调整，具体原因尚不清楚。若 OpenAI 推出新版，开发者仍需要正式说明来判断能力、费用及已有工作流会发生什么变化。
▮ SIGNAL模型服务的后台路由与前台名称可能分开演进，开发者仍需清晰的版本和计费说明。
❯ 币安组建约百人应急团队处理 63 亿美元失窃，恢复部分提现
全球协作处理失窃币安在约 63 亿美元加密资产失窃后组建全球应急团队。据 Bloomberg 对事件应对的报道，团队规模扩大到约 100 人，并与其他加密企业及 FBI 协作追踪资产、应对事件。交易平台同时要修复系统、补足资产并处理客户提现需求。
FBI 公布归因FBI 10 月 31 日公告将 10 月 29 日前后的攻击归于其称为 TraderTraitor 的朝鲜黑客活动，并要求相关服务商阻止涉案地址资金流转。该机构此前也曾将 2025 年约 15 亿美元的 Bybit 失窃事件归因于这一组织。
补足资产后分批开放根据路透社 11 月 1 日报道，币安称已用公司资金购买替代代币，补足约 95% 的被盗资产，并恢复比特币、以太币等部分资产提现；剩余部分主要是流动性较低、较难集中买入的代币。公司披露截至当日 15：30 UTC 的净流出约 36.4 亿美元，并称初期提现高峰后流量趋稳。
资产保障与服务恢复并行购买替代资产所用资金来自用户安全资产基金、部分合约保险基金及公司自有资金。补足用户资产、追回被盗代币和恢复提现是不同进程。平台即使承担损失，仍需持续保障提款能力、披露储备，并向客户解释系统如何恢复。
▮ SIGNAL大型托管平台的恢复能力既取决于资产保障，也取决于能否持续满足客户提款和信息需求。