科幻小说的常见情景是：时间旅行者被冷冻保存，身体处于休眠状态，然后在十年或一个世纪后解冻苏醒，所有机能都完好。研究人员尝试过对人类等动物脑组织进行冷冻和解冻，结果显示神经组织能在细胞层面存活，在解冻后恢复一定程度的功能，但完全恢复功能仍然是不可能的。根据发表在 PNAS 期刊上的一项研究，德国研究团队演示了一种冷冻保存和解冻小鼠大脑的方法。大脑难以从冷冻状态完全恢复的主要原因是冰晶形成所造成的损伤。冰晶会破坏或刺穿组织脆弱的纳米结构，从而扰乱关键的细胞过程。为保存大脑功能，研究人员转向了名为玻璃化冷冻（vitrification）的无冰冷冻保存法。玻璃化冷冻能快速冷却液体，使分子在形成冰晶前就被捕获在无序的玻璃状状态。他们在厚度为 350 微米的小鼠脑切片上进行了测试。脑切片首先用含有冷冻保存物质的溶液进行预处理，然后用液氮快速冷却至 -196℃。脑片随后置于 -150℃ 的冷冻箱中，保持玻璃状，保存时间从 10 分钟到 7 天。在温液解冻脑片后，研究团队分析了组织，以观察其是否保留任何功能活性。显微镜观察显示，神经元膜和突触膜均完整无损，线粒体活性检测未发现代谢损伤。神经元电生理记录显示，尽管与对照组细胞相比存在一定程度偏差，但神经元对电刺激的反应接近正常。由于脑片会自然降解，观察时间仅限于几个小时。

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%。相反，由经济需求驱动的活动(如体力劳动)在弱势群体中参与更普遍。研究发现的证据还表明，身体活动能支持免疫力、降低感染性疾病风险、降低抑郁症状，并与癌症结局改善有关。