世界最大的先进芯片代工厂台积电为其最先进光刻机——来自荷兰 ASML 公司的极紫外光刻机——安装了远程自毁功能，以防万一紧急情况下使用。据彭博社报道，此举是为了缓解美国的担忧。

你是不是还没有安装微软电脑管家（PC Manager）？下一个月微软将为你主动安装上。根据微软上周释出的 Windows 11 预览版补丁，其中一项变化是“This update adds PC Manager to devices in China”。微软电脑管家由微软中国团队开发，其功能包括清理系统碎片，深度清理系统存储空间，减少广告及应用弹窗，快速检测电脑异常，等等。对很多 Windows 用户而言，如今微软本身就是弹窗的主要来源。

Meta AI 首席科学家 Yann LeCun 认为现有的大模型永远也达不到人类水平的智能。他说，大模型对逻辑理解有限，不理解物理世界，没有持久记忆，无法对术语任何合理的定义进行推理，无法分层制定计划。他反对在追寻人类水平智能的过程中依靠先进的大模型，因为大模型只有在正确的训练数据训练后才能正确回答提示，它“本质上是不安全的”。他正致力于开发新一代 AI 系统去实现人类水平的智能，这个过程可能需要十年时间。LeCun 在 Meta 的 Fundamental AI Research (Fair) 实验室有一支 500 人的团队，使用“世界建模（world modelling）”的方法开发新一代 AI，它能发展出常识，以类似人类的方式了解世界如何运作。

加州可更新能源的发电量已经连续 45 天超过主电网需求。跟踪加州可更新能源的斯坦福土木与环境工程教授 Mark Z. Jacobson 称，加州的风能、太阳能和水力发电量过去 75 天有 69 天超过主电网需求，连续 45 天超过需求。加州计划到 2045 年实现电力生产净零排放。Jacobson 教授预测该计划有望提前 10 年到 2035 年实现。

美国司法部上周逮捕了 42 岁的软件工程师 Steven Anderegg，他受到了四项指控，其中之一是向未成年人发送色情图像。这起诉讼是首例与 AI 生成色情图像相关的案件，但制作 AI 色情并非是本案的核心。Anderegg 被指使用了开源文本图像模型 Stable Diffusion 1.5 生成了 CSAM 材料（child sexual abuse material），他在网上与一名 15 岁男孩交流，试图引诱对方与其发生性关系。他向男孩介绍了如何用 AI 模型生成图像，直接通过 Instagram 向其发送了 CSAM 材料，其中包括未成年人展示性器官的 AI 图像。Instagram 向 NCMEC（National Center for Missing and Exploited Children）举报了这些图像，后者随后报告给了警方。如果四项罪名都成立，他将面临 5-70 年徒刑。

在 Build 开发者大会上，微软称它正为文件资源管理器加入版本控制，集成 Git 等流行版本控制系统，让用户或开发者直接通过文件资源管理器应用浏览代码库的新变化和评论。软件巨人同时表示，文件资源管理器还将原生支持 7-zip 和 TAR 压缩文件，而目前它只支持 ZIP 压缩。

英国统计数据显示，电动汽车和混动汽车更容易撞到行人。对英国交通事故的分析发现，电动和混动汽车撞到行人的可能性是燃油汽车的两倍，在城市地区会进一步上升到三倍。造成这一现象的原因尚不清楚，研究人员怀疑是多种因素的结果，其中包括司机更年轻，缺乏经验，电动和混动汽车更安静，更难被行人听到，尤其是在城市地区。伦敦大学学院交通安全教授 Nicola Christie 表示，人们依靠声音去判断汽车的存在、速度和位置。缺少这些线索时，对于忙碌的城市居民而言，这可能会成为问题；对于视力不佳的人或难以判断车辆速度和距离的儿童而言，问题会更严重。电动汽车其它问题还有加速更快，比燃油汽车更重。

The Regeneron International Science and Engineering Fair(ISEF)是世界规模最大最负盛名的科学博览会，ISEF 2024 于上周在洛杉矶会展中心举行。Krish Pai 赢得了环境工程类别的头奖，赢得了 Regeneron Young Scientist Award 和 5.5 万美元奖金。但 17 岁的 Pai 被发现存在大量造假行为。他使用的图像是从网上盗来的，但做成了镜像，可能是为了避免被人识别。他的其它行为还包括盗窃数据、夸大新颖性、剽窃、引用欺骗等等。

中国上市公司员工人数的统计显示，电动汽车相关企业大幅增加了员工数量。根据截至 4 月 30 日的约 5400 家内地上市企业的 2023 年度报告，2023 年年底的员工总数达到 3057 万人，比 2019 年年底增加 352 万人。按行业来看，汽车、电子产品、半导体和新能源起拉动作用。其中在电动汽车领域与特斯拉争夺世界第一宝座的比亚迪(BYD)，2023 年年底的员工人数比 2019 年增加 47 万人，达到了 70 万人的规模。比亚迪除了扩充从宿舍到工厂的通勤巴士、改善员工食堂提供的餐饮之外，还与深圳中学合作，成立了附设幼儿园、小学和初中的“深圳亚迪学校”。最大车载电池企业宁德时代新能源科技也将员工人数增加了近 9 万人。

现代人类携带了尼安德特人的基因，这是现代人类和尼安德特人有过跨种族交配的证据。但这种跨种交配发生在什么时候什么地点，科学家一直对此有争议。根据发表在 bioRxiv 上的一篇预印本，对古代和现代基因组的分析显示，现代人类的尼安德特人 DNA 来自于约 4.7 万年前。尼安德特人和现代人类约在 50 万年前分开，尼安德特人主要生活在欧亚大陆，而现代人类则生活在非洲。现代人类祖先大约 7 万年前离开了非洲进入欧亚大陆，可能在今天的中东或欧洲遭遇了尼安德特人。加州伯克利的科学家分析了已测序的 59 名古代智人基因组，他们生活在距今 4.5 万到 2200 年前。研究人员随后在古代智人基因组和全球 275 个现代人基因组中识别出尼安德特人 DNA 区域，跟踪尼安德特人基因随时间在古代和现代人群中的演变。他们估计尼安德特人基因是在大约 4.7 万年前进入到现代人类祖先基因组中的。

记者调查发现，在多个电商、社交平台上，都有论文代写的身影。中介发帖宣传、拉客谈价，写手接单，俨然形成一条完整的灰色产业链，而中介宣称的“老师代写”，毕业生眼里的“专业写手”，不过是深谙降重之道的论文剽窃者，或使用 AI 写作的外行人。一位有经验的写手告诉记者，可以用 AI 写。论文中的数据统计，可以先让AI合理地编一些数据，再让 AI 根据编好的数据，一章节一章节地分析，“一下午就搞定了”，“写一篇论文才挣三五百元，你还真去帮他查数据、找资料，认认真真地写啊。”一位初中学历的写手介绍，他进入代写行业已经 7 年了。刚开始就是找已发表的论文拼凑，然后再使用一些软件或手动改语序、词语进行降重，AI 出现后，主要靠 AI 辅助完成论文。

25 年前，一位用户报告了一个 Netscape Navigator 的 bug，问题是在“始终显示滚动条”下，textarea 的行高显示不正确，指定为 ROWS=5 COLS=30 的 TEXTAREA 字段显示的行高会增加大约 1。这个 bug 的历史比 Firefox 还要古老，Netscape Navigator 是 Firefox 的前身，过去 25 年相同的 bug 用户重复报告了数百次。几天前它终于被修复了。

计算机架构师 Gordon Bell 于 5 月 17 日在家中去世，享年 89 岁。他出生于 1934 年，在 MIT 获得电机工程学士和硕士学位，是 DEC 公司雇佣的第二名计算机工程师，开发了 PDP-1 系统的多个组件，发明了第一个通用异步收发报机（UART），是 PDP-4 和 PDP-6 的架构师，是 DEC 最成功的计算机 VAX 的负责人。他于 1983 年因心脏病从 DEC 退休，之后开始积极参与公共政策，帮助成立了 NSF 的计算机和信息科学与工程局，设立了 ACM Gordon Bell 奖，1995 年加入了微软研究院，研究“远程呈现”相关技术。

AI 研究员 Chris Olah 过去十年沉迷于研究人工神经网络。他先后任职于 Google Brain 和 OpenAI，目前在他联合创办的 AI 创业公司 Anthropic 工作。他一直对 AI 内部如何工作十分感兴趣。随着生成式 AI 无处不在，AI 黑箱问题日益引人关注。大模型会随意捏造信息，如果我们能了解其内部如何工作，那么将有助于让它变得更安全。Olah 相信我们正实现这一目标。他的团队正通过对大模型逆向工程去了解它们为什么会产生特定输出。根据今天发表的论文，他们已经取得了显著进展。研究人员称，他们的做法是将人工神经元视为字母，字母本身没什么意义，只有按顺序组合起来才有意义。C 没有意义，但 Car 有。他们使用了被称为字典学习的技术去解释神经网络。