乌克兰表示，其无人机在 9 天内在亚速海损坏或瘫痪了 116 艘与俄罗斯有关的船只——该说法尚未得到独立证实。这次行动的目标是后勤，而不是军舰：廉价的无人系统摧毁了价值数百万美元的资产，迫使俄罗斯在它曾经认为安全的港口上分散防御。
Show Me Examples: Inferring Visual Concepts from Image Sets
视觉语言模型 (VLM) 可以遵循复杂的文本指令，但它们很难从纯粹的视觉上下文中进行推理。特别是，当前的模型无法从示例图像集中推断出共享概念并将其应用于新的输入。我们引入了集合视觉概念推理（VICIS），这是一项评估这种能力的任务。给定共享概念和查询图像的一小部分上下文图像，模型必须生成新图像，以保留上下文定义的概念，同时与查询保持一致。我们证明最先进的 VLM 在这项任务上表现不佳......
Doubly Sub-linear Interactive Proofs of Proximity
我们研究双次线性交互式邻近证明（dsIPP）：生成速度超快的证明，可用于证明有关巨大输入的近似断言。证明生成速度超快，因为它只需要读取输入的一小部分（亚线性）。证明的近似验证甚至更快（读取输入的更小部分）。与属性测试文献类似，近似验证意味着亚线性时间诚实证明者可以使验证者接受属性中的每个输入，但没有证明者可以欺骗验证者......
OSIRIS-REx 飞行了数亿英里，去做 NASA 从未做过的事情：将小行星的碎片带回家。目标是贝努 (Bennu)，这是一颗富含碳的近地小行星，保存着 45 亿年前太阳系诞生时的物质。触摸本身只持续了几秒钟——机械臂，一阵氮气，瞬间撤退。然后令人惊讶的是：收集器抓住了太多的岩石，碎片堵塞了盖子，样本开始泄漏到太空中。工程师们提前将其收起，并于 2023 年 9 月 24 日，载着 121.6 克的太空舱降落在犹他州。现在只研究一小部分；大部分都被锁定用于尚未发明的乐器。
Aero-News: Quote of the Day (07.15.26)
“所以...两个大家伙，机上 35 加仑，93 度+...和 1700fpm+，从一开始就在 800 英尺的地面滚滚之后，处理是纯粹甜蜜的塞米诺尔（吉姆曾经教过这些鸟...很多...并且对它们太了解了，包括一个大雾的早晨，一只狼龙在起飞后咬了灰尘）但真正令人印象深刻的是这个装置是多么平滑......而且还很早在其测试计划中。”资料来源：节选 ANN 老板吉姆·坎贝尔 (Jim Campbell) 提供的叙述的一小部分，当时他带着多年来最受关注的鸟类之一去试飞......由 DeltaHawk 驱动的 Piper Seminole DX...
Building a Foundation Stack for General-Purpose Robots
本文由 X Square Robot 为您带来。大型语言模型为人工智能提供了可行的方案。在广泛的数据上预训练大型模型，一般能力随之而来。机器人技术没有这样的秘诀。机器人系统长期以来都是由单独的感知、规划和控制部件组装而成，这些部件很少能增加机器人可以从一项任务转移到另一项任务，或从一台机器转移到另一台机器的智能。实体人工智能的核心问题是找到等效的配方，而该领域尚未就它是什么达成一致。X Square Robot，一家中国实体人工智能公司，下了一个异常明确的赌注。它认为，配方是一个集成堆栈，涵盖机器人学习的数据、预测物理世界变化的世界模型，以及将感知、规划、推理和决策结合在一起以生成可执行机器人
Hidden Family Gene May Explain Why Some Men Develop Deadly Prostate Cancer at a Young Age
大多数癌症是在多年后随着细胞内损伤慢慢累积而形成的。只有一小部分是由家族遗传基因变化引起的。发现这些遗传突变很重要，因为健康的亲属可以在癌症发生之前很久就进行测试。这使得医生能够提供更早的筛查，并在某些情况下，预防危及生命的情况[...]隐藏的家族基因可能解释为什么有些男性在年轻时患上致命的前列腺癌，该文章首先出现在 Knowridge Science Report 上。
Does Costco Follow The Efficiency Wage Theory?
看他作为 Costco 收银员时薪 33 美元，现在他是百万富翁：像收银员托尼·巴尔扎尔 (Tony Barzar) 这样的长期工作人员可靠、经验丰富，能够加快购物者的结账速度——Costco 愿意花钱留住他们，作者是《华尔街日报》的 Sarah Nassauer。我在文章摘录后解释了效率工资理论：“长期以来，Costco 一直比大多数美国零售商支付更多的费用，以帮助保持较低的营业额，该公司的创始人认为，这一策略将降低与培训新员工相关的成本，并带来更好的客户服务。在 Costco 工作一年后的营业额约为 7%，只是行业平均水平的一小部分。”“它还将每小时工人的最高工资从 31.90 美元提高到
Just Two Hours of This Simple Exercise Habit a Week May Help You Live Longer
每周举重约一到两个小时可以延长寿命，尤其是与有氧运动相结合时。几组负重训练可能看起来只是每周例行公事的一小部分，但其效果可能远远超出了增强手臂或塑造更清晰体格的范围。越来越多的证据表明力量 [...]
Path-Constrained Mixture-of-Experts
稀疏专家混合 (MoE) 架构通过每层的专家子集独立路由每个令牌。我们建议通过专家路径的视角来看待 MoE 计算——令牌在所有层上进行的专家选择序列。这种观点表明，尽管 N 个专家跨 L 层有 N^L 条可能的路径，但实践中的标记会聚集成一小部分与语言功能一致的路径，但绝大多数路径仍未被探索，这代表了统计上的低效率。这激发了限制有效路径空间的架构……
Cato Expert: Pung Decision Elevates Foreclosure System Over Constitutional Property Rights
在最高法院对 Pung 诉伊莎贝拉县一案做出裁决后，卡托大学宪法研究 B. Kenneth Simon 主席、本案中 Cato 之友陈述的合著者 Ilya Somin 发表了以下声明：修正。第五修正案所要求的“公正赔偿”是指对所有人所遭受的损失进行全额赔偿，而不是像Pung案那样只赔偿一小部分。正如我和卡托研究所提交的法庭之友简报中所解释的那样，止赎拍卖中获得的价格往往远远低于这个价格。今天的决定可能会使滥用止赎权的拍卖长期存在，特别是老年人、残疾人、少数族裔和法律上不成熟的业主。”，要与索明进一步讨论今天在 Pung 诉伊莎贝拉县一案中的决定，请联系 Christopher Tarvardi
No, NATO Is Not Starting a New Arms Race
北约正在公开讨论是否扩大其在欧洲的核武库——芬兰议会刚刚投票允许在其领土上拥有核武器，波兰正在推动部署美国弹头，并且提议将部署的武器数量增加近一倍。批评者称这是一场危险的新军备竞赛的开始。但这里列出的案例却恰恰相反：俄罗斯在战场核武器方面拥有 10 比 1 的优势，中国的扩张速度比以往任何时候都快，而北约所衡量的只是冷战时期水平的一小部分——这是一个谨慎的答案，而不是鲁莽的答案。
These Five Armies Are by Far the World’s Largest
按穿军装的全职部队的原始数量对世界军队进行排名，这个顺序看起来一点也不像按火力或预算排名。中国领先，印度位居第二，而美国这个地球上最有能力、资金最充足的军队，仅排在第三位，仅领先于朝鲜，而朝鲜在人口只占一小部分的情况下拥有几乎同样多的武装部队。这是看规模，而不是看谁会赢得战争。
What a ‘mansion tax’ did to Los Angeles — and more UCLA media
加州大学洛杉矶分校 (UCLA) 的迈克尔·曼维尔 (Michael Manville) 撰写的《华盛顿邮报》评论文章探讨了洛杉矶的 ULA 措施（绰号为“豪宅税”）的错误所在。加州大学洛杉矶分校拉斯金公共事务学院教授兼城市规划系主任曼维尔认为，该措施的任何潜在收入都过度依赖于一小部分人，他们通过选择不出售来避税。该地区超级富豪的这种行为改变的后果是，通过压低支持学校和其他服务的当地财产税收入来建立、“蚕食”基金的努力，并且未能解决住房危机的真正根源：稀缺。在今天的美联社、CNN 和其他媒体上阅读有关加州大学洛杉矶分校的更多信息。
大多数人根本不知道意大利拥有一艘航空母舰。加富尔号是意大利海军的旗舰，其尺寸只有美国超级航母的一小部分，但经过重大现代化改造后，它成为美国境外为数不多的能够发射 F-35B 隐形战斗机的舰艇之一。意大利不需要核超级航母，也买不起。它需要的是一艘能够在地中海投射力量的平顶飞机，而加富尔号正是做到了这一点。 后意大利悄悄运营着一艘航空母舰，它是美国以外少数几艘可以驾驶 F-35 的舰艇之一，首先出现在 19FortyFive 上。
Best Buy is selling this 77-inch LG OLED TV for over 50% off - and I highly recommend it
LG B5 是一款更实惠的 OLED 选项，它能提供与其旗舰产品类似的标志性图像质量，而价格仅为其旗舰产品的一小部分。
