Solidot

英国高等法院法官裁决，惠普在 2011 年收购英国软件公司 Autonomy 时被诱骗支付了过高的收购价，判决公司创始人 Mike Lynch 的遗产及其商业伙伴欠惠普 9.44 亿美元。Mike Lynch 曾被誉为是英国的比尔盖茨，他在去年的游艇事故中去世。惠普在 2011 年以 110 亿美元收购了 Autonomy，第二年就减记 88 亿美元，惠普随后指控 Autonomy 存在严重会计违规操作行为。公司创始人 Mike Lynch 以及财务副总裁 Steve Chamberlain 都受到欺诈指控。然而悲剧的是，去年 8 月短短三天内两位被告先后死亡。Chamberlain 在位于剑桥郡 Stretham 的家附近跑步时被汽车撞死。Lynch 的超级游艇贝叶斯号(Bayesian)随后因风暴在西西里海岸沉没，有 6 人死亡，其中包括 Lynch 本人及其 18 岁女儿 Hanna，他的妻子 Angela Bacares 获救。这次旅行是为了庆祝他无罪释放。Lynch 的遗产估计价值 6.74 亿美元，如果支付其欠款份额那么它可能会破产。

阿里巴巴发布了其辅助编程工具 Qwen3-Coder。Qwen3-Coder 拥有多个尺寸，最先发布的是最强大的版本 Qwen3-Coder-480B-A35B-Instruct。这是一个总参数量 480B，激活 35B 的 MoE 模型，原生支持 256K token 的上下文并可通过 YaRN 扩展到 1M token，拥有卓越的代码和 Agent 能力。Qwen3-Coder-480B-A35B-Instruct 在 Agentic Coding、Agentic Browser-Use 和 Agentic Tool-Use 上取得了开源模型的 SOTA 效果，可以与 Cluade Sonnet4 媲美。

列夫·托尔斯泰（Leo Tolstoy）在《安娜·卡列尼娜》的开场白中写道：“幸福的家庭都是相似的，不幸的家庭各有各的不幸。”研究乐观主义和悲观主义的神经学家发现了一个类似的现象：在想象未来事件时，乐观主义者大脑一个关键区域的活动模式都是相似的；而悲观主义者的大脑活动模式各有各的不同。研究报告发表在 PNAS 期刊上。研究人员让参与者想象未来发生在自己或配偶身上的特定事件，同时使用 fMRI 对他们的大脑进行扫描。想象的事件部分是积极的，部分中性或消极。研究团队之后让参与者填写问卷以确定其乐观或悲观程度。他们进行了两次研究，一次参与者有 37 人，另一次 50 人。研究人员针对了一个在想象未来事件时特别活跃的区域：前额叶内侧皮质。对于结果，研究人员认为一个人可能有很多不同的方式变得悲观，而乐观者倾向于对充满希望的未来共享心智模式(Shared mental models)。

Mozilla 释出了 Firefox 141.0。主要新特性包括：自动管理标签页，本地 AI 模型能识别相似的标签页自动组织成组，甚至能为名称提供建议，这些信息都保存在本地不会泄漏到网上；垂直标签用户可以调整侧边栏底部工具区域的大小；Linux 版本减少了内存占用，通过包管理器更新后不会强制重新启动；向巴西、西班牙和日本用户启用地址自动填充功能；地址栏可用作单位转换器，支持长度、温度、质量、力和角度测量单位以及时区；Windows 版本启用 WebGPU API，等等。

数十年来，航天机构一直提出将月球作为探索宇宙深处的前哨基地的想法。然而为月球基地提供足够的资源尤其是水以支持居民生活，一直是极大的障碍。根据研究，通过火箭运输一加仑水的成本约为 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 处理器。