Solidot

FreeBSD 项目正式释出了 FreeBSD 14.4-RELEASE。主要特性包括：OpenSSH 升级至 v10.0p2，默认使用混合型后量子算法 mlkem768x25519-sha256；OpenZFS v2.2.9；显著提升 nuageinit 与 cloud-init 的兼容性；Bhyve 虚拟机可通过新的 p9fs(4) 与主机共享文件系统；等等。

开源项目如何处理开发者在 AI 工具帮助下贡献的代码？Debian 项目在今年二月对此展开了一番讨论，最后的结果是没有做出任何决定。项目开发者对该问题持有不同意见，鉴于问题的复杂性和难以达成一致意见，不做出决定可能是目前最好的、最小化干扰的结果。Debian 开发者对于 AI 这一术语的确切含义存在分歧，毕竟今天 的 AI 作为一个营销术语其内容已经包容万象，开发者认为应使用大模型（LLM）而不是 AI，而且应该区分大模型的具体用途如代码审查、生成原型或生成生产代码。曹子德（Ted Ts'o）不认为使用 AI 会削弱项目吸引有经验贡献者的能力。Matthew Vernon 认为使用生成式 AI 存在伦理问题，ChatGPT 和 Claude 的开发商通过自动化抓取和随意使用他人的知识产权系统的破坏了共享代码，他认为 Debian 应明确反对使用此类工具。大模型生成代码的版权问题也存在很大的争议。

数学家 Daniel Litt 去年三月打赌，他认为 AI 只有四分之一的概率到 2030 年能写出人类顶级数学家水平的论文。但一年之后他认为这个赌自己要输了。AI 解决问题和产生证明的能力进步之快令数学家倍感震惊。几年前它们甚至无法解决高中数学题，如今它们常常能解决数学家都感到棘手的难题。AI 开始挑战更复杂的数学问题，解决实际的研究问题，帮助自动验证前沿的数学证明——而验证这些证明通常需要数学家团队付出大量努力。AI 生成证明的速度比人类验证证明快得多，因此如果一个定理是由 AI 证明但没有人类去验证，那么它是否真的被证明了？AI 在这方面也能提供帮助。名为形式化的过程可以将自然语言证明翻译到计算机可验证格式。AI 公司 Math, Inc 最近宣布它的工具 Gauss 形式化了 2022 年菲尔茨奖得主 Maryna Viazovska 的得奖证明。证明代码大约有 20 万行。手工计算曾是数学家工作的重要组成部分，但如今这些都已自动化。AI 的进展也可能改变今天的数学。

大多数亚洲国家依赖进口石油，战争导致霍尔木兹海峡关闭，海湾国家石油出口中断，整个地区面临燃料短缺。亚洲部分国家的政府已采取措施节约燃料。泰国政府要求非一线服务人员在家办公，要求将空调温度设定为 26°C，鼓励员工使用楼梯而非电梯。菲律宾政府下令公员工每周只需到办公室工作四天，要求尽可能采用线上会议，将办公室空调温度设定为 24°C，以及在必要时选择最佳路线出行。巴基斯坦命令一半的政府部门员工在家办公，建议私营部门采取相同的做法，要求大学等教育机构切换到网课。越南促所有公民尽可能远程办公，骑自行车而不是驾驶机动车辆出行。

亚马逊电商业务召集大批工程师参加周二的会议，围绕一系列故障进行“深度剖析”，其中包括与使用 AI 编码工具相关的故障事件。根据会议简报，亚马逊表示，近几个月出现了“事件增多的趋势”，其特征包括“影响范围大”和“在生成式人工智能辅助下进行的变动”等因素。在“促成因素”一栏中，简报写道：“新型生成式人工智能的使用方式，其最佳实践与防护措施尚未完全确立。”电商业务高级副总裁 Dave Treadwell 现在要求初级和中级工程师的任何 AI 辅助代码变更都需要获得更高级别工程师的批准。

英国计算机科学家、图灵奖得主、快速排序算法和霍尔逻辑的开发者、并发和结构化编程理论的先驱 Tony Hoare 于 3 月 5 日去世，享年 92 岁。他出生于英属锡兰的科伦坡，在英国本土受教育，获得牛津的西洋古典学学士学位，大学毕业后在海军服兵役 18 个月，之后回牛津研读统计学取得学士后学位，他后在苏联莫斯科国立大学留学获得博士学位。Tony Hoare 是快速排序 Quicksort 和快速选择 Quickselect 的作者，1980 年获得图灵奖。

瑞典私募股权公司殷拓集团（EQT）考虑出售 SUSE。EQT 已聘请投行 Arma Partners 接洽一批私募股权投资者商讨出售 SUSE 的可能性。相关讨论处于早期阶段，EQT 是否会进行交易尚无定论。SUSE 是最早的 Linux 发行版之一，诞生于 1992 年，最初的名字 S.u.S.E 是德语 Software und System-Entwicklung 的首字母缩写，意思是“软件和系统开发”，之后改为 SuSE，最后又变成 SUSE。SUSE 在 2003 年被 Novell 收购，2010 年 Novell 被 The Attachmate Group 收购，2014 年它被 Micro Focus 收购。2018 年 EQT 以 25.35 亿美元收购了 SUSE。2021 年它在法兰克福证券交易所上市，2023 年 8 月再次被 EQT 私有化。

Ig 诺贝尔奖的颁奖典礼过去三十多年都是在美国波士顿的 MIT/哈佛/波士顿大学举行，但今年的颁奖典礼将在瑞士苏黎世举行，且在可预见的未来都会在欧洲举行。原因是国际旅客最近几年访问美国可能不太安全，国际旅客也不太愿意去美国参加活动。Ig 诺贝尔奖创办于1991 年，是对诺贝尔奖的善意戏仿，表彰那些令人发笑但又发人深思的研究，该奖的主办方是《The Annals of Improbable Research》杂志，颁奖活动主持人兼杂志编辑 Marc Abrahams 说，对嘉宾而言前往美国不再安全，他们无法昧着良心要求新获奖者或报道活动的国际记者今年前往美国。今年的颁奖典礼将与苏黎世联邦理工学院和苏黎世大学联合举办，未来几年瑞士将每隔一年举办一次，单数年将在一个欧洲不同城市举办。

研究显示在全球范围内每年有超过 500 万例死亡可归因于身体活动不足。尽管如此，三分之一的成人和八成的青少年未达到世界卫生组织指南推荐活动量——建议为成人每周 150 分钟中等强度的活动，儿童每天 60 分钟。研究人员分析了全球 68 个国家的身体活动数据，发现了活动性上持续存在的不平等：主动休闲活动(如娱乐性锻炼——唯一持续由选择驱动的活动类型)参与率，在社会优势群体(高收入国家富裕男性)中比弱势群体(低收入国家贫困女性)高 40%。相反，由经济需求驱动的活动(如体力劳动)在弱势群体中参与更普遍。研究发现的证据还表明，身体活动能支持免疫力、降低感染性疾病风险、降低抑郁症状，并与癌症结局改善有关。

创业公司 Reflect Orbital 计划发射数千颗安装有反射镜的卫星，在地球上的晚上通过反射阳光提供照明，比如让太阳能发电站在晚上继续发电，或者为救援人员提供照明和照亮城市街道。Reflect Orbital 的首颗原型卫星有冰箱大小，轨道高度大约 644 公里，将会展开一个直径 18 米的镜子，卫星会照亮一块直径约 4.8 公里的圆形区域。该公司已经向 FCC 递交了发射申请。如果 FCC 批准，卫星最早将在夏天发射送人轨道。该公司已筹集到 2800 万美元，计划未来一年再发射两颗原型卫星，到 2028 年底前发射 1000 颗比原型更大的卫星，2030 年前发射 5000 颗。它计划的最大的卫星发射镜直径约 55 米，反射的光量相当于 100 个满月。该公司的目标是在 2035 年前部署总共 5 万颗卫星的完整星座。如果客户签订一年长约，使用时长达到或超过逾千小时，该公司将按每小时约 5000 美元的价格收取单面镜子的照明费用。

当一只老鼠开始奔跑，某种变化便悄然发生。不是那些显而易见的变化——加速的心跳、升温的肌肉、爪子击打跑轮的节奏声——而是更为安静的某种事物。它起始于肠道盘旋的幽暗之处，借由血液与生化信号，一路传递至海马体。那是一片海马形状的薄薄组织，记忆在此成形，情绪在此扎根。发表《脑医学》的一项新研究，已开始绘制这段隐秘的旅程。研究者的发现表明，运动激活了肠道细菌与大脑之间的分子联系。研究考察了成年雄性 Sprague-Dawley 大鼠在自由使用跑轮八周后，其肠道微生物群、循环代谢物及海马基因表达所发生的变化。研究团队发现，运动降低了两种细菌属的相对丰度：Alistipes 与 Clostridium，二者均与色氨酸代谢相关。色氨酸是一种必需氨基酸，也是血清素的前体，在肠-脑信号传导中具有重要地位。

Penguin Random House、Elsevier 和 HarperCollins 等 13 家大型图书出版商联合起诉安娜的档案（Anna’s Archive），指控该影子图书馆助长图书盗版。出版商此举旨在获得法庭禁令，对安娜的档案的域名注册商施压。安娜的档案已经深陷了多起诉讼，去年底流媒体巨头 Spotify 和唱片公司起诉安娜的档案导致其失去了 .org 主域名。安娜的档案的运营者不太可能在法庭上回应诉讼，在域名被扣押之后，它在不断增加备用域名，上周新上线的备用域名包括了 .VG、.PK 和.GD，但 .VG 在短时间内就被停用。

数万游戏开发者和制作人本周将齐聚旧金山，参加为期一周的游戏开发者大会（GDC），这是 1988 年以来的传统，但今年的 GDC 将有许多国际游戏开发者缺席，原因是他们觉得美国不再安全，无论 GDC 对他们的工作和职业发展有多么重要，他们不想冒不必要的风险。Godot 基金会执行董事 Emilio Coppola 称他认识的非美国人中没有一个人计划参加 GDC。独立游戏工作室 Le Cabinet du Savoir 的创意总监 Nazih Fares 表示不愿意亲身经历被边检逮捕。去年参加 GDC 的游戏开发者采取了额外的多重安保措施，他们很多人表示为避免麻烦而不想参加今年的 GDC。

为训练大模型，社交巨人 Meta 从 Z-Library 和 LibGen 等影子图书馆平台通过 BitTorrent 下载了逾百 TB 的电子书。在正在进行的由图书作者提起的诉讼中，Meta 律师辩称，通过 BitTorrent 将盗版电子书上传给陌生人属于合理使用。Meta 还强调，这些数据帮助美国确立了其在全球 AI 领域的领先地位。法庭去年裁决，使用盗版电子书训练大模型属于合理使用，但 Meta 仍然需要为通过 BitTorrent 下载和分享电子书的行为承担责任。图书作者认为，Meta 参与了侵权行为。Meta 在上周递交的补充书面询问中表示，在下载 BT 文件过程中共享文件也属于合理使用，理由是这是 BT 协议的固有特性，上传不是选择而是技术本身的工作方式。Meta 还辩称，使用 BitTorrent 共享文件是获取这些宝贵（但盗版）数据的必要手段。以 Anna’s Archive 为例，这些数据集只能通过 BT 下载获取，因此 BitTorrent 是唯一的选择。

从高处坠落的猫总能四脚着地。科学家一直在争论背后的机制，他们提出了四种假说：收腿翻转（tuck and turn）模型认为猫收起一组爪子以便能旋转身体的不同部位；麦克斯韦（James Clerk Maxwell）提出的下落花样滑冰运动员（falling figure skate）模型认为猫通过收回或伸展爪子调整其角动量；弯曲扭转（bend and twist）模型认为猫在腰部弯曲使身体的两部分产生反向旋转；螺旋尾巴（propeller tail）模型认为猫通过像螺旋桨一样旋转尾巴去反转身体的旋转方向。根据发表在《The Anatomical Record》期刊上的最新研究，日本科学家从五具捐赠的猫尸上取出脊椎，保留韧带和椎间盘，将胸椎和腰椎部分分离，然后将其放入一具扭转装置，观察扭转它们所需的力以及各部分扭转的极限角度。他们还将两只活猫各自抛八次，拍摄了猫在自由落体下的高速照片。结果显示，上段脊椎的扭转角度大于下段脊椎，在扭转角度约 50 度时存在一个“最佳点”，在该点扭转时几乎没有阻力。下段脊椎则不存在这个点，这为“收腿翻转”假说提供了证据。高速摄影也观察到了猫的收腿翻转动作。研究人员还观察到猫总是倾向于右转，可能是内脏器官的不对称分布使其更容易向右转。

科技行业常把“云”说成是某种抽象且遥不可及的东西。但云运行在数据中心，而数据中心有地址，这个地址可能会遭到无人机袭击。上周亚马逊 AWS 运营的三个数据中心遭到袭击，其中两个位于阿联酋，一个位于巴林。袭击导致设施离线，引发了整个地区银行、支付、外卖应用和企业软件等服务的中断。此次袭击是数据中心首次成为攻击目标。专家认为这肯定不会是最后一次。数据中心正迅速成为重要战略资产，同时也成为易受攻击的目标。

瑞士选民以压倒性多数通过了一项宪法修正案，保障民众使用现金的权利。欧洲除了瑞士，匈牙利、斯洛伐克和斯洛文尼亚等国也都将保障现金使用权利写入宪法。官方统计结果显示，73.4% 的选民支持该宪法修正案。该修正案由政府提出，旨在反击“瑞士自由运动（Swiss Freedom Movement）”组织提出的类似倡议。瑞士自由运动发起了保护现金的倡议，收集了逾 10 万个签名，最终引发了全民公投。由于政府认为该组织提出的部分修正案过于激进，最终该倡议仅获得 46% 的投票支持。

美国相信末日来临的人并非少数。根据《Journal of Personality and Social Psychology》上发表的一篇报告，研究人员调查了 1409 名不同信仰的美国人，结果显示三分之一相信末日将在其有生之年来临。一部分人认为末日是人类引发的，还有部分人认为末日是由神或超自然力量引发的。相信末日临近且人类是罪魁祸首的人，感知到的风险更大，也更支持采取更极端的行动应对威胁。然而相信神控制世界末日的人则不太可能支持采取预防措施。

照片管理系统 DigiKam 释出了v9.0.0 版本。新版本改进了性能、易用性和工作流效率，对用户界面进行了现代化、增强了元数据管理以及扩展对新相机型号和文件格式的支持。其它变化包括：新工具 Survey 帮助摄影师更高效的查看工作流项目；更先进的搜索和排序选项；批量编辑地理位置坐标，等等。

SETI 研究所的最新研究发现，太空风暴让人类难以探测到 ET 发射的无线电信号。行星信号发射源附近的恒星活动和等离子体湍流会使原本极其窄带的信号展宽，致使信号功率分散到更多频率上，因此在传统的窄带搜索中更难探测到。SETI 实验过去几十年一直致力于探测天体物理自然过程不太可能存在的频率尖峰。这项发表在《Astrophysical Journal》期刊上的研究显示，即使最初发射的信号非常窄，但信号离开其行星系统之后会展宽，因此会低于探测阈值。假设 ET 存在，且可能正在试图联系我们，但不可预测的太空天气干扰了信号，人类根本无法接收到。