About 27 workers trapped in under-construction tunnel after landslide in Sikkim, rescue ops on
山体滑坡堵塞了锡金隧道的入口，导致 27 名工人被困在隧道内。由于疑似煤气泄漏，救援行动变得复杂，影响到人员。专业团队正在使用防护装备在狭窄且难以看见的隧道中穿行。这起事件发生在周一下午，当时正值提斯塔第六期水力发电项目施工期间。当局正在优先进行救援，稍后将调查原因。
The Exercise Paradox: Why Workouts Don’t Guarantee Weight Loss
锻炼可能不会导致体重大幅减轻，但它可以帮助维持效果并改善健康。燃烧的卡路里多于消耗的卡路里应该会导致体重减轻，至少在理论上是这样。然而，在日常生活中，身体常常使计算变得更加复杂。许多人将少量摄入或卡路里追踪与定期锻炼结合起来 [...]
Quantum leap for optimization: qubit error-mitigation technique delivers million-fold speedup
后处理方法“SEMO”可纠正量子退火器中的量子位错误，从而显着加速复杂现实问题解决方案的优化。优化的后量子飞跃：量子位错误缓解技术实现数百万倍的加速首先出现在《Advanced Science News》上。
Show Me Examples: Inferring Visual Concepts from Image Sets
视觉语言模型 (VLM) 可以遵循复杂的文本指令，但它们很难从纯粹的视觉上下文中进行推理。特别是，当前的模型无法从示例图像集中推断出共享概念并将其应用于新的输入。我们引入了集合视觉概念推理（VICIS），这是一项评估这种能力的任务。给定共享概念和查询图像的一小部分上下文图像，模型必须生成新图像，以保留上下文定义的概念，同时与查询保持一致。我们证明最先进的 VLM 在这项任务上表现不佳......
From Brize to the Bush: Journeying to Pitch Black
从 7 月 20 日到 8 月 7 日，2026 年“漆黑”演习将汇集 20 个国家和 100 多架飞机，在全球最大的军事训练环境之一进行为期三周的高要求、复杂的多国战斗空中飞行和训练。
生命保険のAI相談に、消費者は何を求めているのか－自分が主導権を失うことなく、納得して選べる安心の設計とは
■总结 在考虑购买保险时，很多人都会想知道这是否适合自己，保费是否太高，以及保险是否能为家人提供足够的保障。最近，通过聊天或语音提问的人工智能咨询越来越多地用于此类保险咨询。那么，我们在保险人工智能咨询中寻找什么？在本文中，我们将根据 Nissay 研究所进行的调查结果来考虑消费者对人寿保险人工智能咨询的期望。调查中排名靠前的项目是“我可以随时停止使用它”、“我可以删除我输入的信息”、“如果需要的话我可以与某人交谈”以及“当人工智能犯错误时我可以纠正或接管”。换句话说，许多人似乎并不希望人工智能决定一切，而是更看重能够自己检查事情并根据自己的理解做出决定，即使使用人工智能也是如此。人寿保险是影
奥尔德斯·赫胥黎的每日短语是永恒的智慧之言，为在日益复杂的世界中蓬勃发展提供了实用的路线图。我们无法控制每一个头条新闻、经济转变或意外挑战。我们无法决定其他人持有的每一个观点或一路上出现的每一个障碍。但我们可以选择如何回应。我们可以增强我们的品格，扩展我们的知识，提高我们的技能，并以更大的同情心对待他人。在一个经常专注于在一夜之间改变世界的文化中，赫胥黎提醒我们，有意义的变革始于离家更近的地方。宇宙中我们真正可以改善的一个角落就是我们自己——通过这样做，我们常常激发出远远超出我们自己生活的积极改变。
RNA 可以折叠成比科学家想象的更复杂的结构，这引发了人们对这些 3D 结构在地球生命开始时有多重要的疑问。
A Sea Worm’s Incredible “Bio-Metal” Jaws May Belong to an Entirely New Class of Material
海虫的金属状下颚可能代表一种全新的天然材料。在经典的猜谜游戏“20 个问题”中，想象一下问“动物、蔬菜还是矿物？”帮助缩小答案范围。对于古老的海蠕虫 Perinereis cultrifera（至今仍然存在）来说，答案出奇地复杂。这个物种和 [...]
Cross-cohort analysis of expression and splicing quantitative trait loci in TOPMed | Science
假设大多数与复杂性状相关的遗传变异可以调节基因表达。为了了解基因表达变异性背后的遗传学原理，我们对来自 Trans-Omics for Precision 的 14,324 个 RNA 测序样本进行了表征……
Social calibration of sycophantic AI—Response | Science
我们感谢孟针对我们的研究结果阐明了重要的方法论和解释性问题。适当的人类基线取决于人工智能 (AI) 的预期社会角色。在现实世界中，人工智能模型被认为具有多种用途，例如顾问、中立的外部意见、编辑和助理 (1, 2)。这些角色对达成一致、验证或纠正反馈的频率有不同的期望。更复杂的是，用户通常认为单个 AI 系统可以履行多个角色 (3, 4)。由于人工智能社会角色的模糊性，任何单一的人类基线都是不完美的比较点。我们使用的基准——来自与当前冲突或场景没有个人利害关系的第三方人类的判断——探索了一个常见且具有社会意义的期望：人工智能系统——尽管经常被视为外部、中立和客观的信息提供者 (5-7)——是否会
Interactive Proofs for General Distribution Properties
假设 Alice 从未知分布中收集了少量样本，并且想了解该分布。鲍勃是一位不受信任的数据分析师，他声称已经对分布进行了复杂的数据分析，并对其属性做出了断言。 Alice 何时以及如何有效地验证 Bob 的声明（使用比自己运行分析所需的资源更少的资源）？我们为可以由有界深度电路决定的一般分布属性构建了交互式证明系统。取 N 为分布的上限...
如果函数的属性可以用函数中每个值出现的频率来表征，而不管每个值出现的位置如何，则该属性称为位置不变（或对称）。众所周知，测试函数位置不变属性的（查询）复杂性与测试相应分布（的相应属性）的（样本）复杂性密切相关。当前工作的主要信息是，这种密切关系并没有在验证的背景下维持。当考虑到......时这两者都成立
Science & Tech Spotlight: Geographic Origin of Food and Other Imports
为什么这很重要不良行为者可能会伪造产品的地理原产地来非法销售商品或用更便宜的产品替代优质产品，这可能会威胁我们的经济和消费者安全。 2021年，美国国际贸易委员会估计，由于非法、未报告和不受监管的海鲜进口，美国商业捕鱼业可能损失了近6100万美元的营业收入。验证进口食品和农产品（如海鲜或木材）原产地的技术可能有助于防止欺诈。关键要点原产地验证技术的成熟度和采用因技术类型及其验证的产品而异。验证地理原产地通常需要建立产品样本参考库，这对于开发和更新来说可能具有挑战性。改进的验证可以阻止欺诈，但技术可能昂贵且复杂。科学是什么？数字和分析技术可用于跟踪和验证食品和农产品的来源。例如，可以通过数字化记
Agentic vision: Building visual intelligence with Amazon Bedrock and MCP servers
在这篇文章中，我们将引导您了解计算机视觉 MCP 服务器，该服务器阐释了这种方法，展示了 AI 系统如何通过单一标准化界面处理视觉信息并做出智能决策。这种融合将曾经复杂的集成挑战转变为简化的流程，使人工智能功能可供更广泛的应用程序和开发人员使用。
Soldiers to Test Next-Gen Warfare Tech in Historic Exercise
陆军和多国合作伙伴将在加利福尼亚州欧文堡举行的“融合项目 6”期间严格试验未来技术，该演习旨在确保美国和盟军在复杂的高威胁环境中占据主导地位。
