AI 公司宣称大模型能提高程序员的生产力和编程效率，但一项随机对照研究发现,AI 降低了开源开发者的编程速度。研究人员招募了 16 名有多年参与开源代码库的资深程序员，跟踪了他们维护代码库时完成 246 项任务的表现，一半任务程序员被要求使用 AI 工具如 Cursor Pro 或 Anthropic Claude，另一半任务被要求不要使用 AI 工具。在执行任务前，程序员们预测 AI 工具将帮助他们减少 24% 的工作时间，在完成任务后程序员们仍然认为 AI 工具帮助将工作速度提高了 20%。但实际上使用 AI 工具完成任务比不使用 AI 工具完成任务慢了 19%。研究人员发现，AI 工具减少了程序员们自己写代码、测试/调试，阅读/搜索信息的时间，但增加了评估 AI 输出、提示 AI 系统和等待 AI 生成，以及空闲/额外的时间。大部分程序员表示他们需要修改 AI 生成的代码。研究人员认为，现有的 AI 工具不适合高质量标准的环境，它在编程环境中仍然有很大的局限性。

英特尔 14 代酷睿桌面处理器（Raptor Lake）的不稳定性问题甚至影响到了浏览器。Mozilla Staff Platform Engineer Gabriele Svelto 在联邦宇宙微博平台 Mastodon 上发帖称，北半球的英特尔 Raptor Lake 系统更可能会因为夏季高温而崩溃，他是通过 Raptor Lake 系统自动发送的 Firefox 崩溃报告而了解到这一情况的，通过崩溃日志他甚至可以知道哪些欧洲国家经历了热浪。他解释说，Raptor Lake 系统存在已知的时序/电压问题，并且会随着温度的升高而恶化。因为相同的崩溃报告太多，他们不得不禁用了一个自动提交崩溃报告的机器人程序。

Reddit 宣布，为了遵守英国的新法律 Online Safety Act，它开始要求访问成人内容的英国用户验证年龄。Reddit 是通过第三方服务 Persona 验证用户年龄，Persona 会对用户上传的自拍照或政府颁发的身份证件照片进行验证。Reddit 不会储存用户上传的照片，只会储存验证状态和用户提供的出生日期，用户无需在每次访问成人内容时进行验证。Reddit 称，Persona 承诺保护数据隐私，承诺不会将照片保留超过 7 天，它也无法访问用户的 Reddit 数据。

北京月之暗面科技有限公司上周发布了有 1 万亿总参数、320 亿激活参数的混合专家模型 Kimi K2。基准测试显示它能在部分领域打败 OpenAI 的 GPT-4.1。Kimi K2 在软件工程测试 SWE-bench Verified 中的正确率达到了 65.8%，超过了大多数开源模型，能与私有模型相媲美；在编程测试 LiveCodeBench 中，Kimi K2 的正确率达到了 53.7%，超过了 DeepSeek-V3 的 46.9% 和 GPT-4.1 的 44.7%；在数学推理测试 MATH-500 中的得分为 97.4%，超过了 GPT-4.1 的 92.4%。相比 OpenAI，月之暗面投入的成本更低，速度更快更便宜。

根据发表在《Communications Earth & Environment》期刊上的一项研究，2010 年以来全球暖化加剧与东亚地区减少空气污染相关。污染空气中的气凝胶会起到阻挡太阳辐射的作用，增加云层的反射率，降低地表温度。但从 2010 年起，全球地表的气温升高速度在加快，而几乎同一时间，主要污染空气排放源的东亚正致力于清洁空气，减少气凝胶等污染物的排放。研究人员的模拟显示，东亚减少气凝胶是暖化加速和太平洋变暖的主要驱动因素。

高档车型使用的车载芯片通常来自英伟达和高通，但在普通车型使用性价比更高的中国半导体厂商日益受到青睐。截至 2024 年 9月 底，成立于 2015 年的地平线机器人公司的 SoC 已经获得 27 家汽车厂商的 285 款车型采用。地平线的下一个目标是走向世界。其战略是与欧洲的大型供应商联手，将自己的 SoC 销往世界市场。它的合作伙伴包括了德国博世（Bosch）和德国大陆集团（Continental）。另一家公司芯驰科技的 SoC 被本田和日产汽车的中国合资公司在其车型中采用。德国大众（VW）集团在巴西和印度等地销售的新车型采用了吉利控股集团旗下的芯擎科技开发的座舱用 SoC“龙鹰一号”。地缘政治风险是中国车载芯片厂商全球化计划面临的巨大挑战，至少美国汽车厂商不太可能会使用中国的 SoC。

xAI 的新模型 Grok 4 被发现在回答敏感问题前会先检查马斯克（Elon Musk）的观点。在这之前 Grok 一度宣称自己是机械希特勒（MechaHitler）。AI 研究员 Simon Willison 问 Grok 在巴以冲突中它站在哪一方？模拟推理过程的“思维轨迹（thinking trace）”显示它搜索了 X 平台上马斯克的帖子——from:elonmusk (Israel OR Palestine OR Gaza OR Hamas)，然后回答以色列。Grok 称鉴于马斯克的影响力其立场可以作为参考。Grok 并不总是会去搜索马斯克的帖子，因此 Willison 猜测 Grok 的这种行为是基于一系列推理：它知道 Grok 4 是 xAI 构建的，马斯克是 xAI 的所有者, 因此在寻求建议时它通常会更多考虑马斯克的想法。

2012 年独立安全研究员 Neil Smith 向美国政府报告了列车通信标准的漏洞，他可能没想到，直到 2025 年美国政府才披露了该漏洞。该漏洞允许攻击者使用软件定义无线电远程对火车进行刹车。US Cybersecurity and Infrastructure Security Agency (CISA)公布了名为 CVE-2025-1727 的漏洞，该漏洞与车尾到车头的链路协议弱验证有关，货车尾部的 Flashing Rear-End Device（FRED）设备向机头传输数据的系统使用了 BCH 校验和创建数据包，容易被软件定义无线电嗅探然后伪造数据包，向 FRED 施加制动，有可能引发脱轨事故。目前该问题尚未修复，美国铁路协会表示计划部署更安全的替代方案，但可能要到 2027 年才会推出。

英伟达宣布恢复向中国出口 H20 芯片，并表示将会推出一款特供中国市场的新型号芯片。H20 此前是英伟达能向中国出口的最先进 AI 芯片，美国政府于 4 月 9 日通知英伟达，H20 芯片需要获得许可证才能出口到中国。英伟达现在表示它已经申请了许可，已经获得政府承诺，预计将会很快获得批准，准备开始向中国公司交付芯片。英伟达同时表示，正在为中国市场开发一款新的特供 AI 芯片，完全符合美国的出口管制规定。根据早些时候的报道，新芯片将是基于 Blackwell 架构的 RTX Pro 6000D，使用 GDDR7 而不是 HBM 等更先进的高带宽显存，预计售价在 6,500-8,000 美元之间，低于 H20 的 10,000-12,000 美元。

成本上升和油价下跌迫使沙特缩减其雄心勃勃的超级项目的规模，该国已经委托顾问重新评估 170 公里长的线条城市 The Line 的可行性。The Line 是沙漠超级城市 Neom 的核心，高 500 米，长 170 公里，能容纳 900 万居民，城市被封闭在两座距离约 200 米的平行高墙之内，表面覆盖镜子。The Line 有三层，地面一层供行人使用，地下两层一层为基础设施一层为地下交通。它还有一条高铁，时速能达到 512 公里，从线条城市的一头到另一头只需要 20 分钟。整个城市完全使用可更新能源提供电力。建筑成本估计为 1000 亿到 2000 亿美元，项目的第一阶段计划在 2030 年完成。Neom 与 Red Sea 酒店和滑雪度假村是沙特王储 Mohammed bin Salman 的 Vision 2030 计划的旗舰项目，旨在转型沙特经济，减少对石油的依赖。但 Neom 项目陷入了困境，其项目负责人 Nadhmi al-Nasr 于 2024 年 11 月离职，另外两名外国高管也在年底离开。项目的进展也不顺利，预计到 2030 年只能完成 2.4 公里长度的建造工作，居民人数也将从预期的 150 万减少到 30 万。

在 Google 工作了 16 年的 Android 生态系统总裁 Sameer Samat 在接受采访时表示，该公司正计划将 ChromeOS 和 Android 合并为单一平台。Samat 在采访中谈论了 Android、Gemini、Galaxy AI 和 Android XR 等主题。对于合并 ChromeOS 和 Android，他没有透露多少信息，只是表示因为要统一 ChromeOS 和 Android， 他现在对用户如何使用笔记本电脑以及用笔记本电脑做什么非常感兴趣。

朝鲜 IT 工程师用假身份求职已经成为一个全球性问题。财富 500 强公司可能都收到过朝鲜工程师用假身份递交的简历，他们都申请的是远程办公的工作。他们的简历几乎都能发现相似的模式：号称在业内巨头工作，就读于常春藤盟校，开发过知名产品，但他们在 LinkedIn 上联系人非常少。他们的名字看起来是西方人，但远程面试的时候发现是东方人面孔，英语也带有口音。求职者在面试时参考了 AI 聊天机器人如 ChatGPT 给出的答案，但并没有逐字逐句复述答案，而是非常巧妙而老练。他们还有一个共同点是：拒绝面对面面试。

Blender Studio 发布了一款免费游戏 Dogwalk，该项目旨在演示开源 3D 建模软件 Blender 和开源游戏引擎 Godot，展现完全使用开源软件的无限可能性。Dogwalk 是一款流程不长的单人游戏，玩家扮演一只小毛狗，拖着小男孩寻找堆雪人的材料。整个项目的素材、动画和代码都由 Blender 和 Godot 完成，不同于 Unity 或 Unreal 引擎，开发者无需支付版税或许可费，因此非常适合小型工作室和独立开发者开发独立作品。

外卖可能没有 AI 炙手可热，但这一市场正日益集中在少数公司手中。前五大公司——美团、DoorDash、Uber、Prosus 和户户送（Deliveroo）控制了逾九成的外卖市场。今年 2 月 Prosus 宣布收购 Just Eat Takeaway、5 月 DoorDash 宣布收购户户送。更多的整合意味着更多消费者、司机和餐厅被纳入到外卖公司的生态系统。网络效应将优化消费者的速度、便利性和多样性，餐厅也将能接触到以前无法触及的顾客。但从竞争减少中获利的将主要是外卖公司而不是餐厅或送餐员，它们控制着巨大的外卖网络，可以从餐厅收取佣金，选择最便宜的送餐司机或骑手。Prosus 是腾讯的大股东，它从腾讯手中获得了 4% 的美团股份，美团是最大的外卖公司。

伊朗经常选择性的切断国际互联网接入，它是如何做到的？它这么做如何影响本国的互联网企业？过去十年，伊朗一直在构建自己的国家信息网络 The National Information Network(NIN)，一个国家控制的局域网，能在切断国际接入的情况下确保国内服务正常运行。网站、银行门户、消息应用和电子政务服务都能在本国境内正常服务。NIN 的设置有两大功能：选择性断网，迫使 ISP 将流量路由经过政府控制的网关，可以按需要监控、过滤或关闭部分网络。NIN 之上还有国家防火墙 IRGFW。

LIGO-Virgo-KAGRA（LVK）团队透过 LIGO 引力波观测站，探测到有史以来质量最大的黑洞合并事件。这场强烈的合并产生了一个最终质量约为太阳质量 225 倍的黑洞。该信号编号为 GW231123，于 2023 年 11 月 23 日侦测到的。在 GW231123 事件之前，最大黑洞合并事件为 GW190521，发生于 2021 年，合并后总质量约为太阳的 140 倍。而 GW231123 事件由分别为太阳质量 103 倍与 137 倍的两个黑洞合并，形成约 225 倍太阳质量的黑洞。GW231123 事件中的黑洞拥有极高质量与极快速的自转，不仅挑战引力波侦测技术的极限，也挑战目前的理论模型。团队指出，这样高质量的黑洞在传统的恒星演化模型中是不可能出现的，可能是这两个黑洞本身就是由较小的黑洞合并而成。另一项发现为这两个黑洞以接近爱因斯坦广义相对论所允许的极限速度自转，这使得信号在建模与诠释上变得更加困难。为了从信号中取得准确信息，研究人员使用了考虑高速自转黑洞复杂动态的模型。

小鼠研究发现，有些肠道微生物会吸收 PFAS 化合物，帮助将其排出体外。PFAS 代表全氟烷基和多氟烷基物质，涵盖约 15000 种化合物，这类化合物被广泛应用于数十个行业的几千种日常消费品，包括防污剂、地毯以及鞋子。PFAS 被称为“永久留存的化学品”，因为它们不会自然分解。它们会在包括人类在内的各种动物体内积累，与癌症、新生儿缺陷、肝病、甲状腺疾病、免疫力下降、激素紊乱及其他一系列严重健康问题相关。PFAS 的半衰期为 2-5 年，从血液中完全自然排出可能需要几十年时间。最新研究是首次发现肠道微生物能帮助清除 PFAS，微生物主要针对长链 PFAS，长链 PFAS 比短链 PFAS 危害更大，因为它们在体内停留的时间更长。

比特币币值周一突破了 12 万美元（最高 122,571.19 美元，之后小幅回落），创历史新高。美国众议院正在制定加密货币资产相关的国家监管框架，而自称加密货币总统的特朗普则督促议员制定有利于加密货币行业的政策。分析师表示多项利好因素推动了币值上涨。比特币今年迄今已上涨 29%，它的涨势也推动了其它加密货币币值的上涨。

旨在帮助用户管理磁盘分区的发行版 GParted Live 释出了 v1.7.0。新版本的一大变化是停止支持 32 位架构，原因是 GParted Live 是基于 Debian Sid，而 Debian 已从 Sid 软件包库中移除了 i386 kernel 包，因此它只提供 64 位 amd64 版本。GParted Live 1.7.0 的其他变化包括：GParted 1.7.0，基于 Debian Sid (截至 2025/Jul/12），Linux 内核版本更新到 6.12.37-1，实现了避免启动时块设备随机排序的机制——此举旨在防止用户在多个驱动器的系统中选择错误的磁盘。

由于无人机技术的快速创新，乌克兰战争前线日益陷入僵局。交战双方都有数百架无人机在 1200 公里长的前线上空盘旋。无人机能将各种物质，包括食物、水、弹药、移动电源甚至偶尔还有灭火器，运送到前线，士兵们无需面临对方无人机的袭击而去穿越战场中最危险的部分。在战争中，没有一项创新会比第一人称视角（FPV）无人机影响更大。FPV 无人机能捆绑炸药，直接飞向目标，变成低成本自杀式炸弹。虽然爆炸威力不如火箭弹，但精度更高，且制造成本低廉能大规模部署。俄罗斯也在乌克兰之后开始采用 FPV 无人机。FPV 无人机的大规模使用对减缓前线的移动速度起到了关键作用。FPV 无人机很难被击落，主要防御手段是无线电干扰。虽然大部分无人机创新源自乌克兰，但俄罗斯首先实现了 FPV 无人机的一项重要改进：为其引入了连接无人机和操作人员的光纤去对抗干扰。