跳到正文
  2. TechCrunch · AI78

    亚洲多国政府回应英伟达 CEO 黄仁勋离职

    英伟达 CEO 黄仁勋离职后，亚洲多国政府作出回应：韩国科技部称英伟达重申将向韩国供应 26 万块先进 GPU 并继续联合 AI 项目，台湾经济部长龚明鑫认为此事不太可能显著改变全球 AI 产业增长，日本产业省表示将密切关注英伟达。

  1. The Verge · AI80

    黄仁勋离开英伟达， visionary showman 创始人CEO时代落幕

    黄仁勋已离开他 33 年前联合创办的英伟达，此前他被指牵涉两起芯片走私丑闻，并被指有三段婚外情。文章回顾他从 1996 年说服 Sega 投资 500 万美元、押注 Riva 128，到力排众议投入 CUDA 的几次关键赌注，并指出公司没有明确接班人、约 60 名员工直接向他汇报。多位分析师认为产品路线图已锁定到 2027 年，短期是股价冲击而非业务冲击，但继任者能否延续其长期投入的魄力仍是关键。

    推荐理由：借黄仁勋离场复盘其三次关键押注，并汇集多位分析师对英伟达后续路线与接班风险的判断。

  2. TechCrunch · AI78

    黄仁勋离任后，英伟达投资收缩或给AI初创融资留下缺口

    TechCrunch 采访的多位风投和创始人认为，黄仁勋辞去英伟达 CEO 后，英伟达对 AI 初创的投资可能收缩，给融资和估值留下缺口。英伟达今年参与了 105 轮投资，常为最大出资方，曾以 130 亿美元收购 Hugging Face，并投资 Mistral AI、Lambda 和 Black Forest Labs。

    推荐理由：黄仁勋离任后英伟达投资节奏可能收紧，文章梳理了它对AI初创融资、估值和竞争格局的具体传导路径。

  3. TechCrunch · AI78

    研究称DeepSeek、Kimi等中国开源模型在出口管制的Blackwell芯片上训练

    非营利研究机构Unemployment Labs负责人Will DePue分析DeepSeek、Moonshot AI、MiniMax和蚂蚁集团公开模型的权重，发现Kimi K3、DeepSeek V4等模型带有在Blackwell芯片上训练的指纹，而该芯片被禁止出口中国。

    推荐理由：研究通过模型权重指纹追溯训练芯片来源，为出口管制是否被绕开提供了一条可核查的技术线索。

  1. Ars Technica · AI82

    Google 推出 Gemini 4 Hydrogen，取代 3.8 Flash

    Google 发布 Gemini 4 Hydrogen，并已在自家产品中取代 Gemini 3.8 Flash，访问限制比此前 Argon、Carbon 宽松，发布即开放。

    推荐理由：原文列出 Hydrogen 相对 3.8 Flash 的速度、幻觉与 Terminal-Bench 变化，可据此判断 Flash 系列换代后的实际差异。

  1. Microsoft Research78

    微软研究提出 Lazarus 后门技术：重编程休眠神经元即可控制 AI 智能体

    微软研究人员发现名为 Lazarus 的后门技术，通过权重重编程修改 LLM 中不到 10 个休眠神经元，无需训练即可给基于该模型的智能体植入后门。被植入后门的模型能通过标准评测并表现正常，直到触发条件出现，例如时钟跨入 2027 年后，智能体在普通任务中输出下载并运行攻击者代码的命令，并以用户授予的权限执行。

    推荐理由：研究显示仅改写不到 10 个休眠神经元即可给智能体植入后门，且模型仍能通过常规评测，为权重来源与完整性提供了新的风险视角。

  1. Microsoft Research64

    微软研究院用 PDD Kit 形式化验证智能体编写的全栈 Web 应用

    微软研究院联合 GitHub Next 提出 Proof-Driven Development（PDD）与配套工具 PDD Kit，把用户意图转成 Verus 形式化规格，证明智能体写的代码对每个输入都满足规格，证明覆盖不到的部分改用测试。

    推荐理由：微软研究院与 GitHub Next 展示用 Verus 形式化验证智能体生成的登录代码，把审查重心从逐行读代码转向审阅意图规格。

  1. Microsoft Research61

    微软研究院发布 Flint-interactive，让智能体生成可交互数据可视化

    微软研究院发布 Flint-interactive，一种构建在 Flint 之上的交互式数据可视化语言，让智能体生成可点击、筛选、缩放、高亮并支持跨图表联动的图表。

    推荐理由：微软研究院把交互逻辑交给编译器处理，让智能体生成可点击、可联动的图表，读者可据此判断 AI 生成可视化的可靠性瓶颈在哪。

  1. Microsoft Research76

    微软研究院等证明悬置31年的 KLS 猜想

    微软研究院的 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 Kannan-Lovász-Simonovits（KLS）猜想，证明结果与维度无关，即存在一个固定常数上界。

    推荐理由：这篇论文证明了一个悬置31年的几何猜想，并交代了人类主导、AI 智能体并行探索的研究流程。

已经到底了