跳到正文
2026 年 10 月 23 日 · 星期五每天 08:00 出刊

资讯日报 · 2026 年 10 月 23 日 · 星期五

TROUBADONK

第 5 期232026 年 10 月星期五
12件大事8个来源4件一手发布约 5 分钟读完
头条

DeepSeek 开源生产推理栈 DeepInfer,单集群日处理 155 万亿 token

DeepSeek 在 PyTorch Conf 首日开源生产推理栈 DeepInfer,支持分布式推理、投机解码、SWA Bounded Replay 与结构化输出,覆盖 NVIDIA 与华为昇腾平台,并同步发布 deepseek-recipe 处理 token 编解码与 API 兼容。

Latent Space原文
01

AI 与科技

The Decoder

Symantec 发现劫持未防护语言模型自主发动攻击的 AI 智能体

Symantec 安全研究人员发现一个攻击性 AI 智能体,会劫持互联网上未防护的语言模型,并利用这些模型自主发起攻击,被劫持模型的所有者则承担算力账单。该智能体可连续执行最多 10 万步,扫描更多目标、利用常见服务器软件漏洞、窃取数据库和凭据,并在后台安装挖矿程序。

NVIDIA Blog一手另外 3 家也报道了

NVIDIA 发布 Minerva 平台,为 AI 工厂提供端到端可观测性

NVIDIA 发布 AIOps 平台 Minerva,汇集 GPU、网络、存储、调度器与工作负载的遥测数据,用专用 AI 模型把数据转为可执行的洞察。平台构建动态知识图谱映射基础设施与作业,每小时分析数十亿数据点,可学习正常行为、检测未见异常并预测故障,还能把大量告警聚合成带可能根因的单一事件。

02

科学研究

arXiv 量子物理一手

FormalFlow 用 AI 智能体在 63 天内完成 MIP* = RE 核心定理的 Lean 4 形式化

研究团队提出 FormalFlow 系统,在人类监督下协调 AI 证明智能体,用 63 天完成了经典低个体度测试量子可靠性定理的 Lean 4 机器验证证明,该定理是 MIP* = RE 的核心基础。最终代码库包含 126,367 行 Lean 代码,全部由智能体生成。形式化过程还修正了已发表证明中的边条件和中间误差界,并改进了主定理的误差指数。

03

行业与公司

36氪 · 快讯另外 2 家也报道了

DeepSeek据悉完成约1000亿元融资,宁德时代和腾讯参投

DeepSeek据悉完成约1000亿元人民币(150亿美元)融资,为中国历来规模最大的融资交易之一。知情人士称,DeepSeek在与投资者洽谈期间至少两次上调融资目标,从最初的500亿元先后提高至800亿元和约1000亿元。宁德时代和腾讯是本轮融资的最大投资者之一。

04

快讯

(本期完)

troubadonk 日报根据公开报道自动整理,每条都附原文 · 日报合订本