Axiom发布整个Stacks Project的Lean形式化成果，约1600万行代码由AI智能体集群完成
这部约7500页的代数几何参考著作现已成为单一的机器验证库；外部数学家尚未审查其形式化陈述是否忠实于原文。
月之暗面发布Kimi K3.1 Pro权重：2.8T参数开放模型，支持100万token上下文
该混合专家模型每个token激活104B参数，采用自定义许可证，要求大型商业用户标注模型名称；Moonshot自测显示其在Terminal-Bench 4.0上仅略低于Claude Opus 5.5。
新 AMD披露将以约29亿美元收购AI推理芯片初创公司Taalas，其中14亿美元附带条件
一份证券文件披露了8月宣布的现金加股票交易的价格；交易尚未完成，仍需监管批准。
Uber称上季度第三方AI智能体仅预订了4次乘车，万圣节当周约500笔Uber Eats订单
高管在第三季度财报电话会上披露这些数字；万圣节当周乘车和外卖总量约3.2亿次。
腾讯发布 Hy4，为其旗舰开放权重模型加入视觉推理能力
腾讯称 Hy4 是目前最强的开放权重模型之一，但承认在研究级数学、长程编程和高级视觉问答方面仍落后于领先的闭源系统。
CellType推出BioSimBench：前沿模型只能部分预测细胞对药物和基因敲低的反应
俄亥俄州选民在至少14个市镇批准禁止或限制数据中心
小鹏与高校伙伴发布40亿参数开源感知模型GroundingPI，称在34项基准上超过GPT-6 Astra
新 Parsec创始人新创公司Phaze获a16z领投875万美元种子轮，为人和AI智能体提供共享远程计算机
彭博社：中国买家预计仅能拿到价值 700 亿美元英伟达 RTX Pro 5500 订单的约 1%
新 Hugging Face CEO Clément Delangue称其p(doom)接近零，认为AI风险主要来自封闭实验室
黑客将法国血库冷冻柜温度改为110°C，针对冷冻设备的攻击在欧洲蔓延
印度网络犯罪协调中心警告银行和金融科技公司：AI智能体攻击造成数千万卢比未授权转账
美国银行监管机构OCC首次发布银行使用SI及智能体SI的检查框架
谷歌公布其用于评估健康领域AI模型准确性、安全性和实用性的框架
更新 Meta收购可让开发者并行运行多个AI编程智能体的初创公司Conductor
Conductor确认了这笔交易，并表示其云产品将于11月20日关闭，团队将加入Meta Superintelligence Labs；财务条款未披露。
NBC 出口民调：57% 的美国中期选举选民认为 AI 弊大于利，76% 反对在本地建数据中心
仅 24% 认为 AI 利大于弊。23% 称 AI 与数据中心对其投票至关重要，43% 认为两党都无法处理好 AI；数据为初步结果，仍在更新。
Pangram推出Image 1.0和Image Flash 1.0，用于检测AI生成的图像和视频
Pangram称Image 1.0可识别99.2%的AI图像，对真实图像的误判率为0.27%，Flash 1.0在DF26视频基准上得分98.7%；结果由公司自行公布。
新 据The Decoder报道，Anthropic通知API客户将从11月16日起为另外四款Claude模型的文本加水印
邮件涉及Claude Opus 4.6、Opus 4.5、Sonnet 4.5和Haiku 4.5，并称仅当temperature、top_p和top_k保持默认值时才加水印，改动任一参数即可绕过。
OpenAI将收购Pierre Computer，把其Code Storage整合进Codex
据英国《金融时报》报道，Oracle 在美国压力下取消与腾讯价值 70 亿美元的 AI 芯片租赁协议
AI超级政治行动委员会在68场选举中花费7900万美元，其支持的候选人大多败给民主党浪潮
巴西法院禁止 Meta 未经许可抓取新闻媒体内容或用其训练 AI
民主党中期选举获胜引发监管收紧预期，AI数据中心概念股下跌
Caucus AI报告：研究人员为真实参议院候选人搭建的测试网站19小时内即被聊天机器人引用
法国Crédit Mutuel Arkéa银行证实网络攻击导致欺诈交易，报道称损失超1亿欧元
推迟两年后，苹果在中国启动搭载阿里通义千问的Apple Intelligence测试
AMD 季度营收创纪录达 134 亿美元，数据中心销售近乎翻倍，预计下季约 170 亿美元
保守派AI政策团体呼吁共和党在中期选举失利后调整AI立场
奥特曼称人类不应把未来的控制权让给超级智能
这位 OpenAI 首席执行官在 X 上发文称，这一要求最终应当约束 AI 的发展，OpenAI 反对让人类沦为只做 AI 系统认为值得奖励之事的角色。
承诺暂停新建数据中心的民主党人吉娜·伊诺霍萨赢得得克萨斯州州长选举
得州占美国 2030 年前规划数据中心容量的 25% 以上；隔夜 CoreWeave 在 Robinhood 上下跌 7%，SpaceX 下跌 6%，纳斯达克 100 指数期货下跌 0.8%。
《自然》刊文介绍AI原生实验室AutoDNA：从DNA合成到测序全流程自主运行，人类只负责补充耗材
该系统协调20多种仪器、执行超过11000个步骤，酶促DNA合成产率达到专家优化水平。