1. 英伟达以 130 亿美元收购 Hugging Face 综合
英伟达(Nvidia)宣布以 130 亿美元收购 Hugging Face,后者被称为”AI 界的 GitHub”,是 AI 模型托管与分发的重要平台。英伟达表示,Hugging Face 在被收购后将继续保持开放。Ars Technica 报道了这一交易。
2. Chromium 全版本曝出沙箱远程代码执行漏洞,已被积极利用 综合
美国国家漏洞数据库(NVD)发布 CVE-2026-85046 漏洞通告,所有 Chromium 版本均存在沙箱远程代码执行(RCE)漏洞,且已被积极利用。该漏洞影响范围覆盖所有基于 Chromium 的浏览器。漏洞通告在 Hacker News 引发广泛关注,获得 662 分和 374 条评论。
3. Anthropic 在形式化证明费马大定理上取得突破 综合
Anthropic 发布研究文章,宣布其 AI 系统在形式化证明费马大定理方面取得重大突破。形式化证明指将数学论证转化为计算机可验证的形式语言。该研究在 Hacker News 引发热议,获得 701 分和 439 条评论,数学社区 XenaProject 也发文讨论了这一进展。
4. 华为麒麟 2026 晶体管密度提升 55%,何庭波公布韬定律论文 综合
IT之家 9 月 4 日消息,华为工程师何庭波在 ChinaXiv 发表预印本论文《华为 τ(韬)芯片本该过热烧毁?》,披露 τ(韬)定律的底层原理,并公布麒麟 2026 芯片实测数据。论文显示,麒麟 2026 晶体管密度较前代提升 55%。论文称,行业普遍认为 3D 堆叠会带来严重发热问题,但麒麟 2026 的实测结果给出了不同答案。
传统摩尔定律依靠缩小晶体管几何尺寸实现性能迭代,华为则选择压缩信号在芯片内部传输的特征延迟 τ,其核心落地技术为逻辑折叠(LogicFolding)。该技术依托 3D 混合键合工艺,将原本平铺的电路拆分为多层垂直堆叠的硅片裸片,以微米级垂直互连桥接各层电路,把水平走线替换为距离极短的垂直跳转。麒麟 2026 实现 1.5μm 键合节距,拥有 5000 万根垂直互连;下一代麒麟 2027 已达成 1μm 键合节距。
5. 德国私人火箭从欧洲本土成功入轨 综合
德国私人航天公司 Isar Aerospace 的 Spectrum 火箭从挪威 Andøya 太空港发射升空,成功进入轨道,成为首枚从欧洲本土发射入轨的私人火箭。Space.com 对此进行了报道。该消息在 Hacker News 获得 345 分和 177 条评论。
6. IBM 发布新产品 Bob 综合
IBM 发布新产品 Bob,官方网站 bob.ibm.com 已上线。该产品在 Hacker News 引发讨论,获得 307 分和 314 条评论。
7. Mullvad 关闭公共加密 DNS 服务,转投 Quad9 综合
Mullvad 宣布关闭其公共加密 DNS 服务器,转而赞助 Quad9。官方博客说明了关闭决定的原因,涉及服务滥用与运营成本。该消息在 Hacker News 获得 405 分和 192 条评论。
8. Dan Luu 检验 AI 怀疑论者 Ed Zitron 的预测准确性 综合
Dan Luu 发布文章,逐一检验科技评论人 Ed Zitron 此前关于 AI 行业的怀疑论预测的准确程度。文章在 Hacker News 引发激烈讨论,获得 389 分和 460 条评论。
9. 坚守 Firefox 综合
Newsonaut 网站发布文章《Hang on to Your Firefox》,呼吁用户继续使用和支持 Firefox 浏览器。文章在 Hacker News 引发讨论,获得 387 分和 204 条评论。
10. 17,000 次运行测量:Claude、Codex、Cursor 如何选择工具 综合
Armature 发布研究报告,对 17,000 次 AI 编程代理运行进行测量,分析 Claude、Codex、Cursor 等工具在编程过程中会选择安装和调用哪些工具。该研究在 Hacker News 获得 280 分和 135 条评论。