Rust 语言成为微软的一级支持语言

微软 Rust 工具团队首席工程师 Victor Ciura 在本周举行的 RustConf 大会宣布，微软已将 Rust 语言指定为“一级（Tier One）”支持语言，与 C++、C# 和 TypeScript 处于同一位置。Ciura 表示，微软构建了一套完善的工具和流程体系，为 Rust 语言在整个软件开发生命周期中的本地开发提供支持。Rust 语言是一种内存安全的高性能语言，已被微软逾百个项目库使用。为减少内存相关 bug，Rust 语言正被用于重构从数据库到包管理器等各种软件项目。 via Solidot

儿童因经常将笔记本电脑放在腹部而出现烤肤症

《BMJ Case Reports》报告了一起奇特的病例，一名儿童因腹部皮肤出现奇怪斑痕而送去急症。医生查找许久未发现病因，因此开了抗生素让他回家，叮嘱父母如果病情变化立即来复诊。两周后，这名儿童再次入院，他的病情出现恶化。皮肤斑块变大，颜色变深，且有触痛。这名儿童透露了一个情况，他是在家上学，经常使用笔记本电脑，他习惯将笔电放在腹部，有时一用就是八个小时，还经常在电脑充电时使用。医生终于明白了他的病因，诊断他患有 Erythema ab igne（EAI），也被称为烤肤综合征（toasted skin syndrome），一种因反复、长时间接触低强度热源而引发的皮肤病，多见于成年人，常见诱因包括因慢性疼痛使用电热垫或热水袋，以及长时间近距离靠近取暖器。EAI 发病机制不完全清楚，研究人员推测，长期受热会导致浅表血管受损及红细胞渗出，从而形成典型的红色网状斑纹。好消息是 EAI 是良性且可逆的，只要移除热源即可。其父母几个月后反馈称皮肤斑块消失了。 via Solidot

中国科学家提议利用废弃煤矿展开农业试验

中国各地分布着逾 12,000 座废弃煤矿，这些煤矿拥有巨大的地下空间和完善的基础设施，具备改造利用的潜力。太原理工大学、山西省煤基资源绿色高效开发工程中心等机构的研究人员在《中国矿业》期刊上发表论文，提议利用废弃煤矿展开农业试验。废弃煤矿的一个显而易见的缺陷是缺乏农作物所必须的阳光和降雨，但优点是地下环境能精确调控，不受天气波动、气候变化及自然灾害的影响。研究人员称，“在全球气候变化加剧及极端与封闭环境农业需求不断增长的背景下，探索煤矿地下空间农业实验模式具有重要科学意义与工程价值。”研究团队进行了一番评估，认为部分煤矿能提供足够稳定的环境可用于农业种植。研究人员称，“结果表明：在围岩稳定性满足工程要求、通风与排水系统完善及安全监测体系健全的条件下，煤矿地下空间具备构建农业实验单元的工程基础；地下空间可通过人工光源与环境调控系统，实现光、热、水、气及碳等关键要素的独立供给与精准调控，从而支撑高度可控农业实验的开展。”研究人员还指出，地热能可作为一种可持续的农作物热源，且产生的温室气体排放量远低于传统能源。 via Solidot

科学家利用高压和逾 2000 高温制造超离子冰

水是人类文明中最常见也最不可或缺的物质，但如果单纯以理化的视角来看，它其实是太阳系中最怪异的液体之一。结冰时体积膨胀密度变小、高得离奇的表面张力和沸点，若仅按分子量计算，它在室温下甚至本该是气态。而当我们离开地球，将环境调至极端的高温与高压时，水分子的行为还会变得更加离奇。一个法国的研究团队，近期在实验室中成功打造出极端环境下的新型态冰结晶——六方密堆积超离子冰(hexagonal close-packed superionic ice)。当水受到数百万大气压的强烈挤压时，高温下的气体膨胀会被强制抑制，进而转化为一种名为超离子冰的奇特物质状态。在这种状态下，水分子不再完整存在，氧原子会被死死锁定在固态晶格中，而氢原子核则像液体中的粒子一样，在晶格间自由穿梭扩散，形成一种既非纯固态、亦非纯液态的异相态。为了模拟天王星与海王星等冰巨行星内部的极端世界，研究团队将微量的水放置于两端钻石尖端之间，施加高达 230 万个大气压（与其对比，地球核心的压力为360万个大气压）的压力，并利用激光加热至 2,630K（约2,357℃）。透过高能同步辐射 X 射线的精细扫描，科学家首度捕捉到了氧原子呈六方密堆积（hcp）排列的超离子冰结晶。实验显示，随着压力与温度不断攀升，原本常见的面心立方（fcc）结构会逐渐发生层间滑移，最终完全转变为结构更为稳定的 hcp 超离子冰。  via Solidot

远程办公增加了睡眠时间但减少了身体活动

根据 Turku 大学的一项研究，远程办公增加了睡眠时间但减少了身体活动。研究人员分析了混合办公者在远程办公和去办公室办公之间的睡眠、久坐行为及身体活动差异。结果显示，相比去办公室办公，远程办公日的平均睡眠时间多了 15分钟，但坐姿或卧姿时间增加了 45 分钟。站立、轻度身体活动以及中高强度身体活动的时间都有所减少。研究还显示，办公室办公日的步行和骑行活动，在远程办公日部分被坐姿、卧姿和睡眠所取代，因为远程办公不需要通勤。 via Solidot

尼泊尔用大疆无人机运送遗体和食物

在毁灭性的泥石流之后，尼泊尔正利用大疆无人机运送遇难者遗体，向幸存者运送食物。尼泊尔军方正使用中国捐赠的四架大疆 FlyCart 100 无人机，每天执行 10-16 次物资运送任务。FlyCart 100 配备了约 30 米长的绳索和绞盘系统，可用于吊装和投放重物。根据电池配置的不同，无人机载重能力在 85-100 公斤之间。尼泊尔军方使用无人机每趟运送约 60 公斤的物资，它也能将遇难者遗体从部分受灾严重的地区运送出来。截至 9 月 9 日，尼泊尔官方确认的死亡人数升至 1369 人，仍有逾 5000 人失踪，其中包括 587 名外国公民。协助珠峰登山者的夏尔巴人从 2024 年起就开始使用 Flycart 100 及较小型号的 Flycart 30 无人机向登山营地运送氧气瓶等物资，将排泄物袋等垃圾运送下山。 via Solidot

因 NASA 削减预算 ESA 将独立完成金星探索项目

因特朗普政府削减了 NASA 预算，难以兑现提供合成孔径雷达的承诺，欧洲 ESA 将独立推进金星探索项目 Envision。Envision 轨道探测器任务旨在对金星表面进行测绘，由于金星表面被厚厚的硫酸云层笼罩，需要使用雷达穿透云层。NASA 与 ESA 于 2024 年签署了一份谅解备忘录，NASA 提供美制合成孔径雷达，通过其深空网络提供跟踪与通信支持。作为交换，ESA 将把美国研究人员纳入其团队。然而 2026 年和 2027 年的 NASA 预算被特朗普政府提议大幅削减，虽然国会否决了大部分预算削减方案，但 NASA 的科学预算仍然减少了数亿美元。NASA 的国际合作任务是主要削减对象。 via Solidot

25 名菲尔茨奖得主发表公开信批评 AI 公司

包括陶哲轩、新晋得主邓煜在内的 25 名菲尔茨奖得主发表公开信《A Severe Misalignment of AI in Mathematics》，批评 AI 公司最近的所作所为。公开信称，“过去几个月 LLM 的数学能力有飞跃式提升，甚至达到了能解决数学领域重大悬而未决问题的地步。但各大 AI 公司仅仅将解决数学问题作为基准测试（Benchmark）推动的技术竞赛，却对数学这门科学以及整个数学界构成了伤害。AI 公司的目标与数学界的本质目标之间存在着严重错位（Misalignment）。”这是 AI 影响科学与创意行业乃至整个社会的对齐（alignment）危机的一个缩影。“最近几个月 AI 在解决重大数学难题上取得的突破甚至冲出数学界，登上了大众媒体的头条。然而解决问题仅仅是达成概念理解与深刻洞察这一核心目标的工具和替代指标。在 AI 浪潮中忽略这一点，无异于异化了工具，使其走向核心目标的对立面。事实上，以越来越快的节奏批量生产‘真/假’断言，非但无法为新思想注入生命力，反而可能毁掉孕育创新的沃土。AI 的解答往往发布得过于仓促，甚至没有留出足够时间去编写一份严谨且规范的论文，无法去提炼其中蕴含的新方法与新思想，也无法合理引用前人的相关工作。正如在所有创意行业中发生的一样，这引发了严重的归属权认定与学术剽窃问题。此外，如果没有心怀热忱的数学家去负责对其进行后续开发并融入数学规范体系，AI 所孕育的思想就永远无法真正获得生命，数学家之间至关重要的人际传递纽带也将断裂。” via Solidot

克雷数学研究所就 Navier-Stokes 问题发表公开声明

OpenAI 本周早些时候宣布通过动用约 1 万个 AI 智能体进行长达 88 小时的攻坚，于 9 月 5 日发现了一个 Navier-Stokes 方程失效的特例。Navier-Stokes 问题是克雷数学研究所列出的七大千禧年数学问题之一，它为每道题的解决提供了一百万美元奖金。目前七大问题只有庞加莱猜想确认解决，但解决该问题的俄罗斯数学家格里戈里·佩雷尔曼拒绝接受该奖。克雷数学研究所就此公开声明，表示将根据其评奖流程确认成果。根据克雷数学研究所的规则，OpenAI 首先需要在同行评审的期刊上发表解题结果，需要至少发表两年并且获得数学界的普遍认可。OpenAI 至今没有给出 Navier-Stokes 问题的证明，因此确认该问题被解决至少需要到 2029 年。 via Solidot

Waymo 举报了两名携带幽灵枪的青少年乘客

Waymo 举报了两名携带幽灵枪的年轻乘客。事件发生在 9 月 3 日凌晨 4 点前，地点是旧金山的 Richmond 区。Waymo 发言人称，它在检测到乘客携带枪支之后，停下了无人出租车，通知了执法部门。旧金山警方拘留了两名未成年青少年，一名男孩和一名女孩，搜查汽车后发现了一支已上膛的 AR 风格突击步枪。两名乘客已被送往少年拘留中心。这不是 Waymo 第一次举报乘客，它在今年 7 月曾举报了玩玩具枪的两名青少年乘客。 via Solidot

墨西哥毒贩涉足加密货币挖矿

墨西哥贩毒集团涉足了加密货币挖矿业务。墨西哥警方在 Puebla 州的 Sierra Norte 地区发现了一个用电量远超周边村庄的矿场，查获了 300 个 GPU、80 个中压终端设备以及 8 个卫星天线。虽然就国际商业规模而言，该矿场的规模相当较小，但这已是自去年年初以来该地区发现的第四个加密货币矿场。根据区块链分析公司 Chainalysis 对流向非法钱包地址的交易量进行的分析，全球范围内非法加密货币交易在 2025 年增长一倍以上，与犯罪活动相关的地址接收的资金总额达到 1540 亿美元，而前一年仅为 590 亿美元。拉美的贩毒集团也愈来愈频繁利用加密货币转账和挖矿洗钱。电力是加密货币挖矿的最主要成本，挖一枚比特币的成本接近 4.5 万美元。按当前约 7.8 万美元的市场价出售，矿场仍能有可观的利润。如果矿场还能偷电，那么利润会更高。 via Solidot

暴雪宣布 FPS 版《星际争霸》

暴雪宣布了 FPS 版《星际争霸》，游戏仍然处于早期开发阶段，目标发售时间是在 2030 年。暴雪称，新作是一款开放世界、剧情驱动的科幻射击游戏，故事背景设定在《星际争霸 II》事件发生后数十年，是《星际争霸》宇宙中的一款全新作品。RTS 版《星际争霸》于 1998 年发布，2015 年发布了《星际争霸II》三部曲中的第三部《虚空之遗》，时隔 11 年之后宣布的正统续作不再属于 RTS。FPS 版《星际争霸》游戏设定在 Koprulu 星区（Koprulu Sector），时间位于《虚空之遗》剧情结束后的 70 年。 via Solidot