Solidot

天文学家通过夏威夷昴望远镜的观测，发现一颗极为遥远的太阳系天体 2023 KQ14，昵称菊石（Ammonite）。这颗天体近日点距离太阳约 66 天文单位，属于极罕见的「类赛德娜天体」（Sednoid），其轨道远离海王星的引力范围，揭示外太阳系未知区域的重要线索。目前已知的类赛德娜天体仅有三颗，分别为 Sedna、2012 VP₁₁₃ 和 Leleakuhonua，它们轨道方向大致相同，曾被认为可能受到某颗尚未发现的「第九行星」的引力牵引。然而新发现的菊石，其轨道方向却与这三者相反，显示外太阳系的动力架构比先前想像更加复杂，也让第九行星假说受到挑战。模拟结果显示，菊石的轨道数十亿年来相当稳定，未受太阳系内部行星明显扰动，可视为一枚「轨道化石」，保留着太阳系早期形成的动力痕迹。

日本软银集团董事长兼社长孙正义在东京都出席该公司面向法人的活动，表示“将建立能让人工智能（AI）自我复制的机制”。为在公司内部利用“AI智能体”代替人类开展复杂业务，考虑使生成式 AI 开发出众多的 AI 智能体。孙正义提出了由公司内的 AI 智能体日夜运行，开展战略起草、程序设计、谈判等工作的构想。他强调，为让集团员工学习 AI 相关知识，年内将在公司内建立约 10 亿个 AI 智能体。

随着又一个炎热夏季的到来，脱水的威胁始终挥之不去。虽然脱水的程度轻则不便，重则危及生命，但追踪起来却并非易事。德克萨斯大学奥斯汀分校的研究人员正致力于改变这一现状，他们发明了一种新型非侵入式可穿戴传感器，可以实时持续测量用户的水分含量。它利用生物阻抗技术（一种测量电信号在体内传输方式的技术）来追踪身体的水分含量。传感器利用精心布置的电极，向手臂发送微小但安全的电流。 电流如何流经身体取决于组织中的水分含量。水是良好的电导体，因此水分充足的组织更容易让电流通过，而脱水的组织则会阻碍电流流动。传感器收集的数据通过无线方式传输到智能手机，使用户能够监测自己的水分含量。

云服务商 Cloudflare 解释了 7 月 14 日的网络故障：它的 1.1.1.1 公共 DNS 服务从 21:52 UTC 到 22:54 UTC 期间不可用，对于依赖 1.1.1.1 解析域名的用户而言，这意味着几乎所有服务都不可用。Cloudflare 称事故是内部配置错误导致的，不是网络攻击或 BGP 劫持。错误配置是在 6 月 6 日引入的，但当时相关服务尚未投入到生产环境，因此没有立即产生影响。

基于 Debian 的安全发行版 Parrot 释出了 v6.4 版本。Parrot 6.4 是基于 Debian 12，可能是 6.x 系列的最后的一个版本，下个大版本 Parrot 7.0 将是基于 Debian 13。其它变化包括：Kernel 6.12.12、Metasploit、Sliver、Caido 和 Empire 等工具都更新到新版本；Firefox 最新 LTS 版本，等等。

Blender 项目释出了 v4.5，这是一个长期支持版本（LTS），将提供两年的更新和 bug 修正。主要新特性包括：Vulkan 后端取代 OpenGL，UI 更流畅；自适应细分使用多线程速度提升最多 14 倍；新几何节点 Camera Info 和 Instance Bounds；GPU 加速合成器节点；新布尔求解器 Manifold；Grease Pencil 渲染通道（render pass）和几何节点整合；改进 PLY、OBJ、STL、CSV、VDB 等文件格式的导入；停止支持 Intel Mac 等。

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% 的美团股份，美团是最大的外卖公司。