Solidot

日程安排平台 Cal.com 上月宣布从开源转为闭源，理由是 AI 工具更容易从开源代码中发现漏洞，而安全性依赖于模糊，因此闭源有助于提高安全。现在英国国家医疗服务体系（NHS）以相同的理由准备关闭它几乎所有的开源库，这一决定引发了广泛争议和批评。批评者指出 NHS 公布的大部分开源库是数据集、内部工具、指南、研究工具、前端设计等，它们不会因为安全扫描技术的进步而受到影响。此外是否开源对于 Anthropic Mythos 之类的 AI 工具并无区别，因为它们也能分析二进制程序并寻找漏洞。批评者发表了公开信，呼吁 NHS 保持其代码公开。

杭州市中级人民法院公布了一起有关“AI 接替人类员工”的判例，判决公司因“AI 成本比人工低”而辞退员工系违法行为，涉事企业需要支付赔偿金 26 万元人民币。在本案中，现年 35 岁的小周(化名) 2022 年入职杭州某家科技公司担任 AI 大模型“质检员”，负责对 AI 大模型与用户交互形成的答案进行正确性判定。2025 年，该公司以“AI 大模型技术升级，原来需要人工完成的质检工作，现在 AI 自己就能做了”为由，试图对小周进行调岗降薪：从主管降为普通员工、月薪从 2.5 万元人民币降到 1.5 万元。小周拒绝如此安排，随后就被公司解除劳动合同。小周申请劳动仲裁，仲裁庭判定公司应当支付违法解除劳动合同赔偿金 26 万余元。该公司不服，因此诉诸法庭。杭州市中级人民法院审理后认定，该公司解约非因裁撤业务、经营不善、减少亏损等消极因素，而是以 AI 的成本优势为由，不属于劳动合同无法履行的“客观情况重大变化”。而且该公司之前为小周提供的调岗降薪方案，实际上导致待遇大幅下降，并非合理协商方案。因此法庭认定该公司构成违法解除，支持仲裁结果，判决其按 2N 标准支付小周赔偿金。杭州市中级人民法院民事第五庭庭长丁晔对媒体表示，在企业视角下，应用 AI 提效降本是市场竞争的必然选择；而在劳动者视角下，因技术变革而失去岗位或被降薪，实质是公司将正常的技术迭代风险转嫁给劳动者。

很多人都有过在睡梦中获得灵感的经历。这种现象促使科学家研究睡眠学习。在 1954 年 Charles W. Simon 和 William H. Emmons 认为大多数睡眠学习研究的参与者其实都是清醒的，因此此类研究都毫无意义。他们将睡眠研究归类为科幻和伪科学，之后几十年很少有人再对此展开研究。但最近几年，科学家再次尝试展开研究。新研究主要针对清醒梦者，即在睡眠中保持意识清醒，并意识到自己正在做梦的人。根据发表在《Neuroscience of Consciousness》期刊上的一项研究，20 名清醒梦者在实验室里尝试睡梦中解谜。每个谜题都与特定的声音配对，旨在促使他们恢复处理相应的谜题。在实验室里，参与者解开了梦中出现的谜题的 42%，对于没有出现在梦中的谜题，他们只解开了 17%。大多数人不会做清醒梦，所以研究对象并不具有代表性。研究人员认为一种解释是：我们在睡着时，更可能将不相关的刺激联系起来。研究人员并不建议为了睡眠中学习而干扰睡眠，因为睡眠是重要的生理过程，干扰这一过程可能得不偿失。

有 30 年历史的搜索引擎 Ask.com 于 2026 年 5 月 1 日关闭。Ask.com 创办于 1996 年 6 月，最初的名字叫 AskJeeves.com，2006 年弃用了名字 Jeeves 变成了 Ask.com，成为了搜索引擎，有自己的爬虫和算法。2010 年面对大型搜索引擎的竞争它将网络搜索技术外包，恢复了问答网站的功能。Ask.com 虽然关闭了，但 AskJeeves.com 仍继续运营。Jeeves 的意思是贴身侍从，名字来自于英国作家 P. G. Wodehouse 作品《Jeeves》系列，Jeeves 是绅士 Bertie Wooster 的贴身男仆。

OpenAI Codex CLI 系统提示词专门加入了一条对地精（Goblins）等词的限制：“never talk about goblins, gremlins, raccoons, trolls, ogres, pigeons, or other animals or creatures unless it is absolutely and unambiguously relevant to the user's query”。官方解释称，从 GPT-5.1 开始该公司的模型在比喻中提及 goblin 等词的频率大增，ChatGPT 中 goblin 的使用量增加了 175%，gremlin 使用量增加了 52%。它为此展开了调查，发现是因为 Nerdy 个性无意中奖励了此类比喻，导致高频使用 goblin 的行为扩散。为解决该问题，OpenAI 淘汰了 Nerdy 个性，移除了对 goblin 友好的奖励信号，从训练数据过滤掉相关示例，防止其再次不恰当的出现。

瑞士将于 6 月 14 日举行全民公投，决定是否在 2050 年前将全国常住人口限制在一千万以内。瑞士的人口出生率为每名妇女生育 1.29 个孩子，远低于 2.1 的人口替代率，它的人口增长主要归因于外来移民。目前瑞士人口已超过 900 万，官方数据显示，2024 年外国公民占到了瑞士总人口的 27% 以上。右翼的瑞士人民党（Swiss People's Party）支持的提案要求“2050 年前瑞士常住人口不得超过 1000 万，且瑞士应放弃与欧盟的自由流动协议”。对瑞士 16176 名受访者的最新民调显示，52%的人支持或倾向于支持该提案，46% 的人反对，其余未表明立场。

Xint Code 团队报告了被称为 Copy Fail 的内核 root 提权漏洞。该漏洞非常容易利用，影响 2017 年以来的几乎所有内核版本。在漏洞披露前内核安全团队没有提前通知发行版也引发了争议。内核不将损坏的页面标记为可写回，因此磁盘上的文件内容不变，但内存中的页面缓存已被篡改。访问文件时，系统读取的是页面缓存，因此损坏的数据会立即影响整个系统。本地非特权用户可通过损坏 setuid 二进制文件的页面缓存获取 root 权限。由于页面缓存在主机和容器之间共享，攻击者可以跨容器边界利用此漏洞。该漏洞影响几乎所有发行版，主要发行版都已经释出或准备释出补丁。

Google Chrome 在 2025 年提出了 Prompt API，也就是为浏览器集成的本地模型——使用前需要下载——提供统一的 JavaScript API。Google 还有意让该 API 成为一个 W3C 标准。Chrome 桌面版集成的大模型是 Gemini Nano，使用该模型需要本地设备至少有 4GB 显存、16GB 内存和至少 22GB 可用空间（浏览器所在硬盘）。Mozilla 开发者发表声明反对 Chrome 的 Prompt API。开发者认为该 API 存在巨大的互操作性问题，因为不同的模型都有各种独特的特性，因此系统提示词需要对模型进行针对性调整，然而对一个模型进行的调整对另一个模型就可能是过度修正。为了实现互操作性，Mozilla 和 Apple 可能不得不获得 Google 模型的授权，或者发布一个与 Google 模型特性兼容的模型。另一个大问题是模型的中立性缺乏。

在其设施遭袭受损之后，数据中心开发商 Pure Data 暂停所有中东项目投资。Pure Data 在欧洲、亚洲和中东运营或开发逾 1GW 的数据中心。数据中心作为基础设施成为了战争中的一个重要目标。亚马逊 AWS 在中东有三座数据中心遭到袭击，导致中东客户的服务出现大规模中断，迫使亚马逊宣布免除其中东云区域客户所有费用，导致其损失了约 1.5 亿美元。Pure Data 位于阿布扎比 Yas Island 的数据中心园区遭到了弹片的袭击。该公司没有披露发生的时间以及受损情况。

德国联邦统计局的初步数据显示，2025 年新生儿数量降至 1946 年以来最低水平。2025 年德国新生儿数约 65.5 万，远低于 1964 年婴儿潮高峰时的 136 万，2024 年的新生儿数据是 68 万。与此同时德国死亡人数接近 101 万，使得 2025 年死亡人数与出生人数之差超过 35.2 万，创战后历史新高。德国出生率连续第四年下降，目前每名妇女平均生育 1.35 个孩子，创历史新低，远低于维持人口稳定所需的 2.1 个孩子。汉堡是唯一一个生育率上升的德国州，2025 年增长了 0.5%。

OpenAI Codex CLI 系统提示词专门加入了一条对地精（Goblins）等词的限制：“never talk about goblins, gremlins, raccoons, trolls, ogres, pigeons, or other animals or creatures unless it is absolutely and unambiguously relevant to the user's query”。官方解释称，从 GPT-5.1 开始该公司的模型在比喻中提及 goblin 等词的频率大增，ChatGPT 中 goblin 的使用量增加了 175%，gremlin 使用量增加了 52%。它为此展开了调查，发现是因为 Nerdy 个性无意中奖励了此类比喻，导致高频使用 goblin 的行为扩散。为解决该问题，OpenAI 淘汰了 Nerdy 个性，移除了对 goblin 友好的奖励信号，从训练数据过滤掉相关示例，防止其再次不恰当的出现。

瑞士将于 6 月 14 日举行全民公投，决定是否在 2050 年前将全国常住人口限制在一千万以内。瑞士的人口出生率为每名妇女生育 1.29 个孩子，远低于 2.1 的人口替代率，它的人口增长主要归因于外来移民。目前瑞士人口已超过 900 万，官方数据显示，2024 年外国公民占到了瑞士总人口的 27% 以上。右翼的瑞士人民党（Swiss People's Party）支持的提案要求“2050 年前瑞士常住人口不得超过 1000 万，且瑞士应放弃与欧盟的自由流动协议”。对瑞士 16176 名受访者的最新民调显示，52%的人支持或倾向于支持该提案，46% 的人反对，其余未表明立场。

Xint Code 团队报告了被称为 Copy Fail 的内核 root 提权漏洞。该漏洞非常容易利用，影响 2017 年以来的几乎所有内核版本。在漏洞披露前内核安全团队没有提前通知发行版也引发了争议。内核不将损坏的页面标记为可写回，因此磁盘上的文件内容不变，但内存中的页面缓存已被篡改。访问文件时，系统读取的是页面缓存，因此损坏的数据会立即影响整个系统。本地非特权用户可通过损坏 setuid 二进制文件的页面缓存获取 root 权限。由于页面缓存在主机和容器之间共享，攻击者可以跨容器边界利用此漏洞。该漏洞影响几乎所有发行版，主要发行版都已经释出或准备释出补丁。

Google Chrome 在 2025 年提出了 Prompt API，也就是为浏览器集成的本地模型——使用前需要下载——提供统一的 JavaScript API。Google 还有意让该 API 成为一个 W3C 标准。Chrome 桌面版集成的大模型是 Gemini Nano，使用该模型需要本地设备至少有 4GB 显存、16GB 内存和至少 22GB 可用空间（浏览器所在硬盘）。Mozilla 开发者发表声明反对 Chrome 的 Prompt API。开发者认为该 API 存在巨大的互操作性问题，因为不同的模型都有各种独特的特性，因此系统提示词需要对模型进行针对性调整，然而对一个模型进行的调整对另一个模型就可能是过度修正。为了实现互操作性，Mozilla 和 Apple 可能不得不获得 Google 模型的授权，或者发布一个与 Google 模型特性兼容的模型。另一个大问题是模型的中立性缺乏。

在其设施遭袭受损之后，数据中心开发商 Pure Data 暂停所有中东项目投资。Pure Data 在欧洲、亚洲和中东运营或开发逾 1GW 的数据中心。数据中心作为基础设施成为了战争中的一个重要目标。亚马逊 AWS 在中东有三座数据中心遭到袭击，导致中东客户的服务出现大规模中断，迫使亚马逊宣布免除其中东云区域客户所有费用，导致其损失了约 1.5 亿美元。Pure Data 位于阿布扎比 Yas Island 的数据中心园区遭到了弹片的袭击。该公司没有披露发生的时间以及受损情况。

德国联邦统计局的初步数据显示，2025 年新生儿数量降至 1946 年以来最低水平。2025 年德国新生儿数约 65.5 万，远低于 1964 年婴儿潮高峰时的 136 万，2024 年的新生儿数据是 68 万。与此同时德国死亡人数接近 101 万，使得 2025 年死亡人数与出生人数之差超过 35.2 万，创战后历史新高。德国出生率连续第四年下降，目前每名妇女平均生育 1.35 个孩子，创历史新低，远低于维持人口稳定所需的 2.1 个孩子。汉堡是唯一一个生育率上升的德国州，2025 年增长了 0.5%。

瑞士邮件服务商 Proton 利用 2025 年广告竞价数据，分析了逾 54,000 个人口画像，估算广告商为触达不同类美国人所支付的价格。结果显示不同人之间的价格差距远超想象。美国人平均每年产生的广告价值约 1,605 美元；一名居住在蒙大拿州 Bozeman 市、年龄 35-44 岁之间、无子女、用台式机进行高价值企业搜索的男性，其广告价值估计为 17,929.30 美元；一位居住在阿肯色州 Fort Smith 市、年龄在 18-24 岁之间、用 Android 手机进行低价值搜索的父亲，其广告价值仅为 31.05 美元。1,605 美元的平均值与 760 美元的中位数显示，少数高价值用户拉高了平均值，而此类商业模式依赖于高价值用户。分析显示，无子女用户的广告价值比有子女用户平均高出约 17%，一旦某个用户被标记为有子女，针对他们的广告投放会从每次点击 6 美元的财富管理广告转向每次点击 2 美元的面包车和幼儿园广告。台式机用户的价值是 Android 用户的 4.9 倍，苹果 iPhone 用户的价值是 Android 用户的 2.7 倍。用户年龄在 35-44 岁之间时广告价值最高，65 岁后广告价值下降——虽然老年用户价值下降，但针对他们的广告则属于高消费类别如医保补充保险、药品和金融产品。老年人的总体价值降低，但广告商的投放力度更精准。为什么蒙大拿州 Bozeman 市居民的广告价值高？因为大量远程科技工作者的涌入和户外休闲消费使其成为全美竞争最激烈的本地广告市场之一。

最新的中东能源危机促使亚洲国家加大燃煤发电，而煤炭是高污染排放来源，如果这一趋势继续，全球气候变化问题将会愈发严峻。印度宣布推迟对国内燃煤电厂的维护检查。国际能源署（IEA）的数据显示，截至 2023 年，印度发电中煤炭占 74%。石油和天然气合计约占 3%，来自中东的采购存在制约，印度通过增加煤炭火力来避免停电风险。泰国电力公司重启原计划停用的 2 座燃煤机组。韩国暂时解除了以发电能力 80% 为上限的煤炭火电站的运行限制，推迟原定于 6 月关闭的两座火电站的关闭时间。日本也将提高煤炭火力发电站的开工率。孟加拉国则增加煤炭的供应来源。全球最大的发电用煤炭出口国印尼计划上调原定为 6 亿吨的 2026 年煤炭生产计划。第二大出口国澳大利亚政府也计划扩大煤炭生产。

从底层的 GPU 开发，到长上下文的大模型推理，再到能够自主规划的 Agentic AI，AI 技术的演进正全方位重塑软件开发的范式。为了帮助开发者更好地应对日益复杂的全栈挑战，NVIDIA 企业开发者社区诚邀您参加即将在苏州举办的 NVIDIA 开发者见面会。本次见面会将汇集来自 NVIDIA 全球及本地的技术专家，为您带来从基础设施优化到前沿智能体应用的全链路干货分享。  查看全文

发表在《Frontiers of Agricultural Science and Engineering》期刊上的一项研究发现，水产养殖的温室气体排放主要来自四个环节：饲料生产、养殖过程中的能源消耗、池塘或水体中的生物化学过程（如甲烷和氧化亚氮的释放），以及土地利用变化和基础设施建设。其中饲料生产是大多数投饵型养殖系统中最大的排放源，在我国的研究中占比达到 52%。而在我国等以淡水池塘养殖为主的地区，甲烷排放尤为突出，贡献了约 90% 的养殖系统温室气体排放。不同水产养殖物种之间的排放差异显著。例如不依赖投饵的双壳贝类（如牡蛎、蛤蜊）和海藻养殖，排放极低甚至为负值，反而能通过碳固定起到“碳汇”作用。而草食性或杂食性鱼类（如鲤鱼、罗非鱼）在适度养殖强度下排放也相对较低。相比之下，集约化养殖的肉食性鱼类（如鲑鱼、鳟鱼）和虾类由于饲料和能源需求高，碳排放强度显著上升，部分甚至与陆地畜牧业相当。

在其设施遭袭受损之后，数据中心开发商 Pure Data 暂停所有中东项目投资。Pure Data 在欧洲、亚洲和中东运营或开发逾 1GW 的数据中心。数据中心作为基础设施成为了战争中的一个重要目标。亚马逊 AWS 在中东有三座数据中心遭到袭击，导致中东客户的服务出现大规模中断，迫使亚马逊宣布免除其中东云区域客户所有费用，导致其损失了约 1.5 亿美元。Pure Data 位于阿布扎比 Yas Island 的数据中心园区遭到了弹片的袭击。该公司没有披露发生的时间以及受损情况。

德国联邦统计局的初步数据显示，2025 年新生儿数量降至 1946 年以来最低水平。2025 年德国新生儿数约 65.5 万，远低于 1964 年婴儿潮高峰时的 136 万，2024 年的新生儿数据是 68 万。与此同时德国死亡人数接近 101 万，使得 2025 年死亡人数与出生人数之差超过 35.2 万，创战后历史新高。德国出生率连续第四年下降，目前每名妇女平均生育 1.35 个孩子，创历史新低，远低于维持人口稳定所需的 2.1 个孩子。汉堡是唯一一个生育率上升的德国州，2025 年增长了 0.5%。

瑞士邮件服务商 Proton 利用 2025 年广告竞价数据，分析了逾 54,000 个人口画像，估算广告商为触达不同类美国人所支付的价格。结果显示不同人之间的价格差距远超想象。美国人平均每年产生的广告价值约 1,605 美元；一名居住在蒙大拿州 Bozeman 市、年龄 35-44 岁之间、无子女、用台式机进行高价值企业搜索的男性，其广告价值估计为 17,929.30 美元；一位居住在阿肯色州 Fort Smith 市、年龄在 18-24 岁之间、用 Android 手机进行低价值搜索的父亲，其广告价值仅为 31.05 美元。1,605 美元的平均值与 760 美元的中位数显示，少数高价值用户拉高了平均值，而此类商业模式依赖于高价值用户。分析显示，无子女用户的广告价值比有子女用户平均高出约 17%，一旦某个用户被标记为有子女，针对他们的广告投放会从每次点击 6 美元的财富管理广告转向每次点击 2 美元的面包车和幼儿园广告。台式机用户的价值是 Android 用户的 4.9 倍，苹果 iPhone 用户的价值是 Android 用户的 2.7 倍。用户年龄在 35-44 岁之间时广告价值最高，65 岁后广告价值下降——虽然老年用户价值下降，但针对他们的广告则属于高消费类别如医保补充保险、药品和金融产品。老年人的总体价值降低，但广告商的投放力度更精准。为什么蒙大拿州 Bozeman 市居民的广告价值高？因为大量远程科技工作者的涌入和户外休闲消费使其成为全美竞争最激烈的本地广告市场之一。

最新的中东能源危机促使亚洲国家加大燃煤发电，而煤炭是高污染排放来源，如果这一趋势继续，全球气候变化问题将会愈发严峻。印度宣布推迟对国内燃煤电厂的维护检查。国际能源署（IEA）的数据显示，截至 2023 年，印度发电中煤炭占 74%。石油和天然气合计约占 3%，来自中东的采购存在制约，印度通过增加煤炭火力来避免停电风险。泰国电力公司重启原计划停用的 2 座燃煤机组。韩国暂时解除了以发电能力 80% 为上限的煤炭火电站的运行限制，推迟原定于 6 月关闭的两座火电站的关闭时间。日本也将提高煤炭火力发电站的开工率。孟加拉国则增加煤炭的供应来源。全球最大的发电用煤炭出口国印尼计划上调原定为 6 亿吨的 2026 年煤炭生产计划。第二大出口国澳大利亚政府也计划扩大煤炭生产。

从底层的 GPU 开发，到长上下文的大模型推理，再到能够自主规划的 Agentic AI，AI 技术的演进正全方位重塑软件开发的范式。为了帮助开发者更好地应对日益复杂的全栈挑战，NVIDIA 企业开发者社区诚邀您参加即将在苏州举办的 NVIDIA 开发者见面会。本次见面会将汇集来自 NVIDIA 全球及本地的技术专家，为您带来从基础设施优化到前沿智能体应用的全链路干货分享。  查看全文

发表在《Frontiers of Agricultural Science and Engineering》期刊上的一项研究发现，水产养殖的温室气体排放主要来自四个环节：饲料生产、养殖过程中的能源消耗、池塘或水体中的生物化学过程（如甲烷和氧化亚氮的释放），以及土地利用变化和基础设施建设。其中饲料生产是大多数投饵型养殖系统中最大的排放源，在我国的研究中占比达到 52%。而在我国等以淡水池塘养殖为主的地区，甲烷排放尤为突出，贡献了约 90% 的养殖系统温室气体排放。不同水产养殖物种之间的排放差异显著。例如不依赖投饵的双壳贝类（如牡蛎、蛤蜊）和海藻养殖，排放极低甚至为负值，反而能通过碳固定起到“碳汇”作用。而草食性或杂食性鱼类（如鲤鱼、罗非鱼）在适度养殖强度下排放也相对较低。相比之下，集约化养殖的肉食性鱼类（如鲑鱼、鳟鱼）和虾类由于饲料和能源需求高，碳排放强度显著上升，部分甚至与陆地畜牧业相当。

2018 年微软公开了 MS-DOS 1.25 和 2.11 源代码，2024 年公开了 MS-DOS 4.0 源代码，2026 年 4 月在 86-DOS 1.00 发布 45 周年之际它延续传统公开了 86-DOS 1.00 源代码。86-DOS 的作者是 Tim Paterson，它后来成为 MS-DOS 的基础。发布在 GitHub 上的内容包括了 86-DOS 1.00 内核源代码、内核的多个快照，以及知名工具 CHKDSK 等。

基因组学先驱 Craig Venter 去世，享年 79 岁。他因在 1990 年代末与人类基因组计划竞争建立一个基因组数据库而闻名，但他的数据库是设想要付费才能访问，因此在科学界并不受欢迎，促使其他科研团队加速公开发布基因组测序结果。2000 年由美国总统克林顿牵手，人类基因组计划和 Venter 创办的 Celera Genomics 公司同意所有人类基因组数据为人类共同财富，不允许专利保护，且对所有研究者公开。

GCC 编译器项目合并了支持海光 C86-4G CPU 的补丁。海光最早是与 AMD 合作的半导体企业，授权提供 AMD Zen 1 CPU的本地化版本，其产品仅供国内市场使用。海光去年五月宣布与中科曙光合并，但年底宣布合并计划终止。 C86-4G 为 16 核/32 线程处理器，其性能接近英特尔的 Raptor Lake CPU，支持 DDR5 和 PCIe Gen 5。海光声称 C86-4G 利用了自主研发的新微架构，但仅从 GCC 补丁看它仍然与 AMD Zen 有许多相似之处。C86-4G 包括了 C86-4G-M4 / C86-4G-M6 / C86-4G-M7 系列，其中 C86-4G-M7 支持 AVX-512 指令集。

用 Rust 开发的文本编辑器项目 Zed 宣布发布 1.0 版本。开发者表示 1.0 版本并不意味着“完成”或“完美”，而是意味着到达了一个关键点。开发者还宣称 Zed 编辑器是一个 AI 原生编辑器，能并行运行多个 AI 智能体，包括 Claude Agent、Codex、OpenCode，以及 Cursor。AI 构建在编辑器的基础架构之中，而不是附加组件。