Solidot

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 研究队伍也明显更年轻。

国际研究团队首次确定了太阳以外的恒星周围开始形成行星的时刻，这是人类首次观察到行星系统形成的早期阶段，并为我们探索自身太阳系的起源提供全新视角。这颗诞生中的行星系统围绕着一颗名为 HOPS 315 的原恒星运转，HOPS 315 距离我们约 1,300 光年，与新生的太阳类似。在太阳系中，最早在地球目前绕太阳位置附近凝结的固体物质被发现藏在古老的陨石中。天文学家对这些原始岩石进行年代测定，以确定太阳系形成的起始时间。这些陨石富含一氧化硅(SiO) 的晶体矿物，可以在年轻行星盘的极高温度下凝结。随着时间的推移，这些新凝结的固体会结合在一起，随着它们的体积和质量的增加，为行星的形成播下了种子。太阳系中第一批几千米大小的行星，最终发展成像地球或木星核心这样的行星，正是在这些晶体矿物凝结后形成的。天文学家在新的发现中，找到了这些热矿物在 HOPS-315 周围的圆盘中开始凝结的证据。研究结果显示，SiO 以气态存在于这颗宝宝恒星周围，也存在于这些结晶矿物中，这表示它才刚开始凝固。研究人员表示这个过程从未在原行星盘，甚至在我们太阳系以外的任何地方出现过。

在被发现使用中国工程师为五角大楼的云计算系统提供技术支持之后，微软周五表示已经调整了安排，确保不会有中国的工程师团队为国防部的政府云以及相关服务提供技术支持。在这之前，国防部长 Pete Hegseth 表示将对此展开调查。中国工程师的技术支持受到了持有安全许可的美国公民的监督，但调查发现执行监督任务的美国公民缺乏专业能力去理解外国工程师的工作。