Solidot

经过十年探索，NASA 火星大气与挥发物演化任务(MAVEN)首次报告直接观察到一种难以捉摸的大气逃逸过程，称为溅射，这可能有助于科学家解答有关火星水分流失的问题。过去大量的证据显示数十亿年前火星表面存在水，但科学家们一直不知道「水到底去了哪里？为什么会消失？」因此，NASA 在 2014 年将 MAVEN 卫星投入绕火星轨道，目的是研究火星大气，以及是什么原因让火星大气变得如此稀薄与干燥。经过十年的观测统计，MAVEN任务团队认为水气从火星大气逃逸的过程，和一种称为溅射(sputtering)的过程有关。溅射指得是高层的大气粒子受到高能的带电粒子撞击之后，被撞出火星的过程，就好像撞球一样。由于火星缺乏自身磁场的保护，来自太阳发出的太阳风便不断透过溅射，侵蚀着火星的高层大气。一旦火星的大气减少，地面的大气压力下降，地表的液态水也无法维持稳定的液态，遂逐渐蒸发，并与高层大气一起被溅射出火星。

过去几十年，既得利益集团的气候否认宣传经历了一系列变化，从宣称“气候变化不存在”，到承认“气候变化存在但属于自然现象”，到承认“气候变化不是自然现象但不是什么大问题”、“气候变化是大问题但我们无能为力”、“可以采取措施但排放量大的国家应首先采取行动”、“改变的成本太高了”。主持今年联合国气候变化峰会——Cop30——的巴西资深外交官 Andre Correa do Lago 认为气候变化相关的经济否认是目前面临的一大威胁。

中国游戏公司以免费网游闻名，如《原神》和《鸣潮》在全世界都有数百万玩家。但随着《黑神话：悟空》的成功，越来越多的中国游戏工作室开始转向开发单机游戏。以前中国游戏公司不愿意开发单机游戏，因为免费网游的商业模式更成熟，更容易收回开发成本。即将发布的单机游戏《明末：渊虚之羽》总监夏思源说，单机游戏的风险更大，其命运在上市当天就注定了，而网游如果上线第一天出现问题还是有可能补救的。前腾讯游戏 CTO 现 Epic Games 中国 CTO 沈黎（Li Shen）说，中国游戏公司一直对单机游戏感兴趣，但直到《黑神话：悟空》在全世界售出数百万份拷贝之后，游戏发行商才愿意投资单机游戏。新单机游戏如 S-Game 的《影之刃零》和《明末：渊虚之羽》都希望借助《黑神话：悟空》成功的东风。游戏行业的专业人士表示，因网游的经验中国游戏公司在商业设计和运营方面全球领先，但游戏设计和整体质量尤其是叙事和剧本创作存在不足。类似其它中国公司，中国游戏工作室的加班文化也颇受争议，很多游戏公司都使用 996 工作制，夏思源称他的公司不鼓励加班，认为加班效率低下。他说中国有句俗话叫众人拾柴火焰高，希望其团队的努力能鼓励更多公司开发单机游戏。

天文学家发现了一个以 44 分钟周期发射无线电波和 X 射线的神秘天体 ASKAP J1832-0911。这一行为与已知天体都截然不同，能周期性发射高能辐射的天体如脉冲星，其周期已知最长为百秒。44 分钟长周期是首次观察到。此类天体被称为 LPT（long-period transient），天文学家对其信号如何产生尚不清楚。研究团队认为 ASKAP J1832-0911 是一颗死亡恒星，但死亡恒星的形态未知，可能是磁星（拥有强磁场的中子星）；可能是白矮星；也可能属于双星系统，其中之一有强磁场的白矮星。研究人员表示现有理论无法解释他们观测到的现象。

印度面临一个矛盾的选择。过去十年是印度有记录以来最热的十年，但它每十年平均气温只上升 0.09C，相比下全球是 0.30C。原因是印度严重的空气污染无意中起到了降温作用，污染空气阻挡了太阳辐射，增加了云层的反射率。如果加大措施清洁空气，将会加大气温上升幅度，而热浪在日益加剧。印度至今只有十分之一的家庭安装有空调，相比下中国和马来西亚的空调比例分别为三分之二和五分之四。与此同时，印度的制冷系统在热浪期间占电力总需求的五分之一，大部分电力由燃煤火电厂提供，这又加剧了印度的污染问题。

白宫“Make America Healthy Again”委员会上周发布了一份报告，声称为一系列儿童健康问题提供了“清晰的、基于证据的基础”。然而报告被发现援引了一系列不存在研究，显而易见是大模型生成的。本周四白宫更新了报告修正了内容。Retraction Watch 联合创始人 Ivan Oransky 博士表示，假的参考文献并不意味着报告中的基本事实是不正确的，但此事表明在报告发布之前，缺乏对报告及其参考文献的严格审查和核实。美国现任卫生部长是反疫苗者，而白宫的这份报告也声称部分儿童疫苗可能是有害的——医生对此观点表达了异议。

美国政府要求本国公司停止向中国出售半导体设计软件。此举旨在加大中国开发先进芯片的难度。美国商务部工业和安全局致函包括 Cadence、Synopsys 和 Siemens EDA 在内的电子设计自动化（EDA）公司，要求停止向中国供应其技术。目前尚不清楚是否所有美国 EDA 公司都收到了信函。Synopsys CEO Sassine Ghazi 在周三的二季度财报电话会议上回应称该公司没有收到商务部的通知。Cadence、Synopsys 和 Siemens EDA 占到了中国 EDA 市场约八成的份额，其中 Synopsys 2024 财年中国市场销售额近 10 亿美元，约占其总收入的 16%。Cadence 的中国市场销售额为 5.5 亿美元，占其收入的 12%。更新：Synopsys 通知中国员工停止在华服务和销售，停止接受新订单，以遵守美国新的出口限制。

自 2020 年 4 月以来，著名编程问答社区 Stack Overflow 上的问答量下降了九成以上。为了在生成式 AI 时代生存下来，Stack Overflow 计划采取激进的措施，其中包括：恢复聊天功能，加强社区成员之间的联系；个性化网站，可能将整合视频、博客、问答等内容；对讨论更为开放；授权 Stack Overflow 内容给 AI 公司训练模型；测试付费给专家回答问题。

美国证券交易委员会（SEC）周四主动撤销了对全球最大加密货币交易所币安的诉讼。与此同时，特朗普政府正在全面拥抱加密货币，特朗普家族也发行了多种模因币，而币安是其合作伙伴。SEC 是在 2023 年指控币安人为夸大交易量、挪用客户资金、未能限制美国客户使用币安平台、在市场监管方面误导投资者。

2024 年是第一个突破 1.5℃ 全球变暖阈值的单一年份。现在顶尖气候学家首次发出警告，到 2029 年全球升温可能首次超过 2℃。英国国家气象局的科学家每年都会利用世界各地研究机构的气候观测数据和模型，预测未来5年的全球气候。最新预测结果表明，到 2029 年，单一年份的平均温度可能比工业化前水平高出 2℃。根据为世界气象组织（WMO）编制的《全球年际至年代际气候更新》，未来 5 年中至少有一年突破相同阈值（1.5℃ ）的可能性为 86%。与此同时研究人员预测，2025-2029 年间，平均升温超过 1.5℃ 的可能性为 70%。单一年份全球升温超过 2℃ 的可能性仍然非常小，WMO/英国国家气象局的团队估计其概率为 1%。

流行的 AI 大模型都开始提供“推理过程”——给出最终答案前生成一系列冗长的中间文本，看起来类似人类的推理草稿。亚利桑那州立大学的研究人员在预印本平台 arxiv 上发表论文，建议不要将大模型的这一行为描述为“推理”或“思考”，认为这种拟人化的描述会对大模型的实际工作过程造成有害的误解。尽管推理模型如 DeepSeek R1 表现出了更高的性能，但它们实际上既不会思考也不会推理，研究人员没有发现任何代表真正推理过程的证据。大模型的所谓思考其实就是寻找相关性，而众所周知相关并不等于因果。研究人员警告，将大模型的中间输入视为推理会令用户对大模型的问题解决机制产生虚假的信心。

在二季度利润受到美国关税政策冲击之后，惠普表示将停止在中国制造销往北美的产品。HP 总裁兼 CEO Enrique Lores 在二季度财报电话会议上告诉投资者，一个季度前惠普的目标是到 9 月将中国制造的销往北美产品的比例降至 10% 以内，现在由于美国的关税政策惠普正在加速这一进程，预计到 6 月销往北美的产品将几乎没有来自中国制造。惠普加快了将工厂从中国转移到东南亚和墨西哥的进程。

糖被认为是2型糖尿病发病率上升的罪魁祸首，但 BYU 大学的研究人员发现，不是所有糖都是平等的。研究人员发现：相比通过食物摄入糖，通过饮料——如苏打和果汁——摄入糖有着更大的健康风险。每天每增加 12 盎司含糖饮料（如软饮料、能量饮料和运动饮料），患2型糖尿病的风险会增加25%。每天每增加8盎司果汁（如100%纯果汁、果汁饮料和果汁饮料），患2型糖尿病的风险会增加5%。相比之下，每日摄入20克总蔗糖（食用糖）和总糖（饮食中所有天然糖和添加糖的总和）与2型糖尿病呈负相关。为什么通过饮料摄入糖会有更大的健康风险？原因是含糖饮料和果汁提供的是分离的糖，会产生更大的血糖影响，抑制和扰乱肝脏代谢，增加肝脂肪和胰岛素抵抗。研究人员指出，果汁无法代替水果，其蕴含的糖分高且浓缩。

中国于 5 月 29 日在西昌卫星发射中心用长征三号乙Y110运载火箭成功发射了行星探测工程天问二号探测器。天问二号任务长达十年，主要有两大目标：对小行星 2016HO3 进行伴飞、取样并返回地球；对主带彗星311P开展科学探测。小行星 2016HO3 在 2016 年由夏威夷望远镜首次发现，直径 40-100 米左右，被认为保留着太阳系诞生之初的原始信息。如果成功取样并送回地球，中国将继美国和日本之后成为完成小行星取样的第三个国家。天问二号预计在 2026 年 7 月飞到小行星附近，取样目标是收集至少 100 克岩石和尘埃，任务预计在 2027 年末完成，然后开始将样本送回地球分析。天问二号将尝试多种方式收集样本，其中一种方法是探测器靠近小行星表面，配合小行星自转，伸出机械臂采集样本。主带彗星311P 位于火星和木星轨道之间的小行星带，它既像小行星般沿固定轨道行进，又像彗星一样喷发尘埃，被称为“活跃的小行星”。

组合使用两种抗衰老药物延长小鼠寿命三成，而且小鼠也更健康，慢性炎症变少，癌症出现也推迟了。这两种药物是 rapamycin 和 trametinib，分别用于治疗不同类型的癌症，它们在动物实验中都表现出延寿的潜力。在最新研究中，德国马普的研究人员调查了单独使用和组合使用两种药物对小鼠寿命的影响。结果显示，单独使用 rapamycin 可使小鼠的寿命延长 17%-18%，trametinib 有助于将寿命延长了 7%-16%。组合使用下小鼠寿命延长了 26%-35%。除此之外，小鼠肝脏和脾脏肿瘤生长延缓了，大脑、肾脏、脾脏和肌肉中与年龄相关的炎症减少了。相比对照组，实验组小鼠在年长时健康状况更好。实验中雌鼠的效果好于雄鼠。

微软周二宣布允许部分开发商和产品团队接入 Windows 11 更新框架。该系统本身不会推送更新，但允许应用通过 WinRT API 和 PowerShell 注册其更新逻辑，实现集中式调度(Centralized Scheduling)、日志记录和策略执行。微软产品经理 Angie Chen 表示，该公司正致力于解决 Windows 生态系统支离破碎的更新体验，构建一个统一的智能更新编排平台，支持应用、驱动等任何程序的更新。该平台目前处于封闭式预览阶段，开发商需要通过邮箱 [email protected] 申请访问权限。

日本邮政推出了数字地址系统，使用七位数字字母组合如 @ABC12D6 去关联物理地址。用户在购物网站上输入数字地址，会自动显示实际地址。日本居民可使用日本邮政的 Yu ID 获取数字地址。数字地址将不会改变，如果居民的住址发生了变化，他们可以递交住址变更通知，数字地址将会关联新住址。

甲骨文工程师发布了 VirtualBox 7.2 首个 Beta 版本，支持 Windows、Linux、macOS 和 Solaris 操作系统，其中包括 Arm 架构的 Windows 11 on Arm。甲骨文同时宣布 VirtualBox 源代码托管在 GitHub 上，用户将能通过 GitHub 获取所有 VirtualBox 项目的开源代码。

安全公司 GreyNoise 的研究人员报告，数千台华硕制造的家用和小型办公路由器感染了一种隐蔽的后门，该后门能在设备重启和固件更新后仍然存在。研究人员猜测攻击者可能有国家背景。研究人员目前跟踪到有约 9,000 台被植入了后门，感染数量还在继续增长，不过攻击者尚未利用这些被感染的设备。攻击者利用的一个漏洞是 CVE-2023-39780，华硕已在最近释出的固件更新中修复。感染设备会显示能通过端口 53282 使用 SSH 登陆。

彭博社报道，下一代苹果操作系统将用年份标识版本号，此举旨在保持品牌的一致性，因为现有苹果产品的操作系统所采用的版本号可能会让客户以及开发者感到困惑。举例来说，苹果现有的操作系统包括了 iOS 18、watchOS 12、macOS 15 和 visionOS 2，它们的版本号不同，因为不是在同一时间推出的。用年份标识版本号意味着 iOS 19 可能将是 iOS 26、iPadOS 26、macOS 26、watchOS 26、tvOS 26 和 visionOS 26。