信息技术日报 · 2026 年 11 月 11 日 · 星期三
ITHOT
产品与发布
Google DeepMind Blog一手另外 4 家也报道了Google DeepMind 发布 AlphaProof Code，对 Signal 协议代码完成形式化验证
Google DeepMind 推出 AlphaProof Code，一个多 LLM 智能体形式验证框架，并用它数学证明了 Signal 协议实际代码的关键安全属性。
Google DeepMind Blog一手另外 6 家也报道了Google DeepMind 发布 Gemini 4 Carbon，面向开发者与企业全面开放
Google DeepMind 正式向开发者、企业、科学家和消费者开放 Gemini 4 Carbon，定位为在网络安全与长程代理工作流上达到前沿表现的最强模型，此前两周已通过 Fairwind Program 向部分网络安全防御者开放。
更新与维护
Microsoft 11 月补丁日修复近 1100 个安全漏洞
Microsoft 发布 11 月 Patch Tuesday 更新，修复 Windows 及其支持软件中 1,093 个安全漏洞，其中 63 个为严重级别，唯一确认被主动利用的是 Outlook 欺骗漏洞 CVE-2026-124194。
The Hacker News另外 3 家也报道了Google 发布 Chrome 安全更新，修复 2026 年第八个在野利用零日漏洞
Google 于周一发布 Chrome 更新，修复九个安全漏洞，其中 CVE-2026-125350 为 XML 组件的高危 use-after-free 漏洞，Google 确认已有在野利用。
The Hacker News另外 1 家也报道了Vates VMS 警告 Xen Orchestra 关键认证绕过漏洞正被活跃利用
Vates VMS 警告 Xen Orchestra 存在正在被活跃利用的认证绕过漏洞（VSA-2026-062，暂无 CVE 编号）：攻击者发送特制空对象 cookie 即可以 Admin 权限执行任意操作，进而可在受管资源池上执行代码并以 root 接管 XCP-ng 节点。
BleepingComputerBinance 警告 iOS worse_query 漏洞可泄露加密钱包种子短语，Apple 已发布修复更新
Binance 警告 iOS 26.7.1、27.0.1 和 27.2 存在名为 worse_query 的沙箱逃逸漏洞，恶意应用可跨安全边界读取其他应用本地文件，危及加密种子短语、私钥和登录凭据，目前尚无加密资产损失确认。
评测与选型
Tom’s HardwareTom's Hardware 实测 AMD Zen 6 EPYC 'Venice'：EPYC 9996 双路 SPEC intrate 领先上代 93%，EPYC 9686F 多项测试胜 Nvidia Vera
Tom's Hardware 对首批 Zen 6 架构的 EPYC 'Venice' 处理器进行深度拆解与基准测试，涵盖 EPYC 9996 与 9686F 两款 SP7 平台芯片及 100 余项测试。
组织与行业
The Verge另外 3 家也报道了Anthropic 确认 IPO 目标估值约 1.4 万亿美元，拟下周挂牌
Anthropic 周二确认其 IPO 或为史上规模最大之一，但低于此前最高 2 万亿美元的预期。发行价预计为每股 70 至 78 美元，据《华尔街日报》消息，股票目标于下周四或周五开始交易。其 A 类普通股已申请在纳斯达克 Global Select Market 挂牌，代码为“ANT”；上周 OpenAI 估值为 1.25 万亿美元。
TechCrunchAnthropic 七位联合创始人将在 IPO 中各套现约 2.5 亿美元
Anthropic 在 S-1 文件中披露，七位联合创始人将在 IPO 中各自出售 3,378,378 股，按每股 70–78 美元的初始价格区间中值计算，每人可套现约 2.5 亿美元。
技术研究与历史
Go Blog一手Go 开源发布 17 周年：团队回顾年度进展与未来计划
Go 团队在 11 月 10 日发布 17 周年回顾文章，总结 Go 1.26 与 Go 1.27 的语言与标准库改进，包括 encoding/json/v2 正式可用（反序列化最高提速 10 倍）、goroutine 泄漏分析器、Green Tea 垃圾回收器成为默认（降低 10–40% GC 开销）及实验性 SIMD 包。
JetBrains Blog一手JetBrains 发布 State of Developer Ecosystem 2026 报告：Python 首次超越 JavaScript
JetBrains 发布第十版 State of Developer Ecosystem 报告，基于 198 个国家和地区 28,945 名开发者的问卷，调查于 2026 年 5 月至 7 月进行。