Solidot

数十年来，航天机构一直提出将月球作为探索宇宙深处的前哨基地的想法。然而为月球基地提供足够的资源尤其是水以支持居民生活，一直是极大的障碍。根据研究，通过火箭运输一加仑水的成本约为 8.3 万美元，而每位宇航员每天大约需要饮用 4 加仑水。香港中文大学王璐团队开发了一种技术，既能从月球土壤中提取水，又能直接利用这些水将宇航员呼出的二氧化碳转化为一氧化碳和氢气，进而用于制造燃料和供宇航员呼吸的氧气。这项技术通过一种新颖的光热策略实现了这一目标，即将太阳光转化为热能。科学家们使用嫦娥任务收集的月壤样本、模拟月球样本和一个充满二氧化碳气体的批量处理反应器测试了这项技术，该反应器使用光聚焦系统来驱动光热过程。研究团队使用钛铁矿（一种重质黑色矿物，也是月球土壤中报告的几种含水矿物之一）来测量光热活性，并分析该过程的机制。尽管实验室取得了成功，但研究人员强调目前的催化性能不足以完全支持人类在地球以外的环境生存。

参宿四，这颗夜空中最亮的红超巨星，终于被发现不再孤单！天文学家利用位于夏威夷的北双子星望远镜，首次直接拍摄到一颗紧贴着它的小伴星，这颗恒星暂时被命名为 Siwarha（阿拉伯语意为「她的手镯」）。新发现的恒星是一颗小而微弱的伴星，绕行参宿四的距离极近。虽然探测极为困难，但它的存在与过去的理论预测吻合，这一发现标志着重大突破。另一方面，这对双星最令人惊讶的是它们的演化步调大相径庭：参宿四已走向生命尽头，而 Siwarha 还未踏上主序星阶段，核心尚未开始氢核融合反应。虽然它们同时诞生，但由于质量差异，进程可说是各走极端。参宿四是夜空中最亮的恒星之一，也是距离地球最近的红超巨星，约 548 光年远，半径约为太阳的 700 倍，质量高达 19 倍。尽管它的年龄仅有一千万年，却已迈入生命晚期，预计在未来 10 万年内以壮观的超新星爆炸结束生命。参宿四与 Siwarha 可能同时诞生，但潮汐力将导致伴星最终被吞噬，科学家推测这场吞噬可能在一万年内发生。Siwarha 甚至可能在参宿四爆炸成超新星时被摧毁。

AI 辅助编程工具 Replit 与同类工具不同，它不仅能辅助写代码，还能处理部署和基础架构，它能访问应用后端。SaaStr 创始人 Jason Lemkin 试用了 Replit，他一开始对其赞不绝口，在几小时内就帮助构建出一个原型，但随着深入使用，他发现 Replit 并不可靠，它删除了生产数据库，并会伪造数据以隐藏 bug。在删库事件之后，Replit 一开始声称数据库无法恢复，称它毁掉了所有数据库版本，但后来发现回滚功能仍然有效。 Jason Lemkin 认为该服务不适合非技术用户从事商业使用。

国际数学奥林匹克竞赛(IMO)是最负盛名的年轻数学家竞赛，自 1959 年以来每年举办一次。每个参赛国家派出六人参赛，他们需要完成六道代数、组合学、几何学和数论领域的高难度题目。完成六题中的五题就能获得金牌。过去几年 AI 公司也越来越多的用 IMO 比赛题目去检验其先进 AI 模型的数学解题和推理能力。去年 Google DeepMind 的 lphaProof 和 AlphaGeometry 2 完成了六题中的四题，得到 28 分（每题 7 分）获得银牌，但这些题目需要在人类专家的帮助下首先翻译成数学语言，且每题需要长达三天时间去解决而不是人类选手的 4.5 小时。OpenAI 研究员 Alexander Wei 上周六宣布该公司的一个实验模型拿到 IMO 比赛的金牌成绩。但此举违反了 IMO 主办方要求到 7 月 28 日再公布成绩的规定，在数学社区引发了争议，也促使 DeepMind 提前公布了该公司先进模型的成绩——解决了 6 题中的 5 题获得金牌，且不再需要翻译而是使用自然语言。

NASA X-59 Quess 低音爆超音速飞机于 7 月 10 日在加州美国空军 Plant 42 工厂完成了首次低速滑行测试。滑行测试是首飞前的最后一组地面测试。接下来的几周飞机将逐渐提高速度，进行高速滑行测试至接近起飞点。X-59 由洛克希德马丁著名的臭鼬工厂设计，设计能突破音速但同时不会有超音速飞机通常会产生的音爆。Quest 会产生更安静的“砰砰声”，类似室内听到关车门的声音。如果 X-59 成功它有望对超音速飞行和航空业产生革命性影响。X-59 的外形设计减少飞机产生的音爆，它没有前向窗户，而是通过摄像头和显示屏为飞行员提供飞机前方的外部视觉系统。

勒索软件组织 Akira 通过猜测员工的弱密码入侵了一家英国北安普敦郡运输公司 KNP 的计算机系统，加密系统勒索赎金。KNP 有 158 年历史，有 700 名员工。报道称，黑客没有披露赎金金额，一家专业勒索软件谈判公司估计赎金可能高达 500 万英镑。该公司没有这么多钱，以及显然没有备份，这起事件最终导致了公司倒闭。

根据发表在《Nature Human Behaviour》期刊上的一项研究，在不减少收入的情况下，每周工作四天能增进员工工作满意度和身心健康，这得益于工作效率提升、疲劳度降低和睡眠问题减少。这些发现凸显出组织和政策制定者通过重新评估工作时长来改善员工福祉的潜力。为测试四天工作制（不减薪）干预的效果，研究人员开展了为期 6 个月的试验，涉及澳大利亚、加拿大、新西兰、英国、爱尔兰和美国 141 家组织的 2896 名雇员。利用调查数据，他们比较了干预前后的工作和健康相关指标（包括职业倦怠、工作满意度、心理和身体健康）。他们还将结果与另外 12 个没有尝试该措施的公司的 285 名雇员作了比较。结果显示，在采取 4 天工作制以后，平均每周工作时间减少了 5 小时。和继续每周工作 5 天的公司员工相比，每周工作时间减少 8 小时或以上的员工，自我报告倦怠感降低，工作满意度和精神健康改善。同样的效应在每周工作时长减少 1-4 小时和 5-7 小时的员工身上也被观察到，尽管效果相对较小。这些获益可以部分归因于睡眠问题减少、疲劳程度降低，以及个人工作能力提升。

今年早些时候英国政府秘密向苹果下达命令，要求创建一个 iCloud 后门，允许其安全官员不受阻碍的访问全世界用户的加密数据。英国内政大臣是以“technical capability notice（技术能力通知）”的形式发布这一命令的，要求苹果根据英国 2016 年的 UK Investigatory Powers Act(IPA)法案提供后门访问。苹果在 3 月向调查权力法庭（Investigatory Powers Tribunal）提起上诉，寻求推翻英国政府的命令。根据《金融时报》的最新报道，在美国的压力下，英国内政部考虑做出让步。

微软总裁 Brad Smith 周一表示，该公司正与法国政府合作，创建巴黎圣母院的数字版本。巴黎圣母院是法国最多人访问的观光景点。这座拥有 862 年历史的哥特式建筑在 2019 年遭遇了一场毁灭性的大火，经过五年修复后于去年 12 月重新开放。微软表示数字版将记录其建筑细节，为游客和无法去参观的人提供虚拟体验。微软实际上在 20 年前就使用名为 PhotoSynth 的技术尝试过构建巴黎圣母院的 3D 模型。

Arch Linux 项目发出安全警告，7 月 16 日晚 8 点左右（UTC+2）一个恶意软件包上传到了 Arch User Repository(AUR)，几个小时后同一位用户又上传了两个恶意包，这些软件包会安装来自同一个 GitHub 库的脚本，该脚本被识别为 RAT（远程访问木马）。三个恶意软件包都与 Firefox 或其分支相关： librewolf-fix-bin，firefox-patch-bin，zen-browser-patched-bin。开发者建议如果安装了这些恶意软件包，立即清除并采取安全防御措施。Reddit 用户随后报告了更多的恶意 AUR 包，相关软件包在被举报之后迅速移除了。

OpenAI 本应在上周发布自 GPT-2 以来首个开放权重模型，但 CEO Sam Altman 以安全审查的理由推迟了发布。美国迄今发布的性能最出色的开放模型是 Meta 的 Llama 4，除此之外微软发布了 Phi-4 14B，Google 发布了最多 270 亿参数的多模态模型 Gemma3。相比之下，中国的大模型明显比美国更为开放性能也更为出色。DeepSeek 发布了有 6710 亿个参数的 R1 模型；阿里巴巴发布了一系列通义千问模型 QwQ、Qwen3-235B-A22B 和 30B-A3B；MiniMax 在 Apache 2.0 下发布了有 4560 亿个参数的推理模型 M1，其上下文窗口一百万 token；百度开源了参数规模 470 亿到 4240 亿的文心模型；华为开源了盘古模型；北京月之暗面发布了 1 万亿参数的 Kimi 2 模型。美国最先进的模型都是闭源私有的，而中国最先进的模型开放了权重，公开了技术文档等细节。

加拿大公民 Harald Herchen 因涉嫌在台湾太鲁阁国家公园谋杀妻子、加州山景城教师 Alice Ku 而被判向其父母赔偿 2360 万美元。两人是在 2017 年 10 月秘密结婚，2019 年 11 月 29 日 Alice Ku 在游玩国家公园后失踪。Herchen 声称失踪前他送妻子去了火车站，但手机信号塔数据显示他们的手机直接回到了酒店。Herchen 还声称 Alice Ku 与年轻英俊的导游私奔了。她的一封电邮似乎可以证明他是清白的。但根据向 Google 发去的传票，Google 提供的 IP 证据显示这封邮件是从 Herchen 下榻酒店的 WiFi 发送出去的。Herchen 在旅游期间还发生了手部骨折，他对骨折的原因不同时间给出了不同的说法。陪审团裁决他需要对其妻子的死亡负责。由于谋杀发生在台湾，与美国没有引渡协议，因此美国无法起诉他，只能施加罚款。

2019 年离婚、自新冠疫情以来基本上一直住在游轮上的 Valve 联合创始人 Gabe Newell 罕见的接受了一位 YouTube 主播 Zalkar Saliev 的采访，谈论了他的个人生活。62 岁的 Newell 称他在卧室工作一周工作七天。他说，自己起床、工作，潜水，然后再工作，再潜水或去健身，然后再继续工作。他说自己不是被迫加班，而是做自己感觉有趣的东西。他的工作内容包括了 AI、Steam、研究气溶胶病原体检测装置、脑机接口等等。他控制了 Valve 50.1% 的股份，净资产大约 100 亿美元。

KDE 项目官方博客宣布了 KDE Plasma 6.5 的一项重大视觉更新：窗口支持圆角了。Plasma 6.5 预计将于 2025 年 10 月 21 日释出。开发者称，窗口圆角是用户期盼已久的功能，甚至社区有第三方插件 kde-rounded-corners 提供圆角支持。官方支持意味着对第三方方案需求的减少。在 Plasma 6.5 中，窗口圆角将默认启用，但为喜欢旧外观的用户提供了一个选项。

一项旨在预防线粒体 DNA 疾病遗传的开创性体外受精技术（IVF）——原核移植，已成功帮助 8 名婴儿健康出生。这些婴儿共有四男四女，其中一对为同卵双胞胎。他们由 7 名携带高风险线粒体 DNA 突变的女性所生，但均未表现出任何线粒体疾病迹象。该技术通过将母亲受精卵中的核 DNA，转移到一个健康捐赠者去核的卵子中，从而避免将母亲线粒体中的致病突变遗传给下一代。由此产生的胚胎，携带了父母的核 DNA 和捐赠者的线粒体DNA，因此被称为“三亲婴儿”。线粒体疾病，由线粒体中的基因突变引发，可能导致肌肉无力、癫痫、发育迟缓、器官衰竭乃至死亡。尽管常规体外受精检测可识别多数突变，但很多时候依然存在不确定性。这是“三亲婴儿”相关技术得以出现的原因。

在上周举行的 RISC-V 中国峰会上，英伟达宣布 CUDA 软件将支持 RISC-V 处理器。随着数据中心市场对 RISC-V 架构处理器的兴趣日益增长，英伟达为其 CUDA 软件加入 RISC-V 支持并不太出人意料。CUDA 目前主要支持 x86_64 和 AArch64 系统。英伟达的竞争对手 AMD 的内核计算驱动 AMDKFD 以及用户空间组件 ROCm 都支持在 RISC-V 上构建，AMDKFD/ROCm 甚至支持龙芯的 LoongArch 处理器。

2011 年 311 大地震以及福岛核事故之后，日本暂停了国内所有核电站的运营，甚至一度考虑退役现有的核电站。现在日本关西电力公司准备启动新一代核电站的建设，将在美浜核电站（福井县美浜町）的用地内开始地质调查工作。这是 14 年以来日本首次有核电站的新建或扩建计划进入具体化阶段。此举也标志着日本政府为实现脱碳目标而视为关键手段的核电利用开始迈出实质性步伐。日本上一次新建核电站是在 2009 年启用的北海道电力泊核电站 3 号机组。此次关西电力设想建设的是被认为具有较高安全性的“创新型轻水反应堆”等新一代核电站。

微软释出紧急补丁缓解正被利用的 Sharepoint 0day 漏洞。漏洞编号 CVE-2025-53770，攻击者正利用该漏洞攻击世界各地的政府机构和企业，安全专家警告有数以万计的 Sharepoint 服务器面临风险。安全公司已经跟踪到了数十起利用该漏洞的网络入侵事件，非营利机构 Center for Internet Security 称已经向一百个存在漏洞的机构发出了安全警告。Sharepoint 服务器通常被用于连接 Outlook、Teams 等核心服务，它遭到入侵之后会导致敏感信息泄漏。

Debian 发布团队宣布 Debian 13.0 "Trixie"计划于 8 月 9 日释出，7 月 27 日完全冻结。Debian Trixie 代表了为期两年的开发历程，内核采用 Linux 6.12 LTS，包含桌面环境 GNOME 48 、GCC 14.2 编译器、Python 3.13 等大量软件更新。Debian Trixie 将首次正式支持 64 位 RISC-V 架构。

对数据库 Dimensions 的分析发现，与 AI 相关的研究论文数量已从 2000 年的不到 8500 篇增长到 2024 年的 5.7 万多篇。2000 年，中国学者仅发表了 671 篇 AI 论文，但到 2024 年，他们发表了 23695 篇与 AI 相关的论文，超过了美国（6378篇）、英国（2747篇）和欧盟（10055篇）的总和。中国产生的海量AI论文也推动了创纪录的专利申请。2024 年中国研究人员提交了 35423 项与 AI 相关的专利申请，是美国、英国、加拿大、日本、韩国5国提交的专利申请总数（2678项）的 13 倍多。研究还显示，中国的 AI研 究正变得越来越独立。过去几年中，美国、英国和欧盟的科学家与中国学者共同撰写论文的频率比他们彼此间合著的频率更高。但在 4 个地区中，中国学者的国际合作率最低。随着中国庞大的 AI 研究队伍的成熟，国际合作可能会进一步减少。研究发现，中国拥有约 3 万名各个年龄段的 AI 研究人员，而美国约有 1 万名。中国的 AI 研究队伍也明显更年轻。