Cato Statement on Trump’s Greenland Tariff Threat
唐纳德·特朗普总统表示，美国将对多个反对美国控制格陵兰岛的欧洲国家征收 10% 的关税。卡托学者斯科特·林西科姆在一份新声明中表示：“特朗普的关税宣布证实了贸易政策专家长期以来的警告：首先，由于特朗普的贸易协议是单边的、不具约束力的，它们可以很容易地随心所欲地改变，不太可能限制他日常的关税冲动——而外国政府安抚总统的努力很可能助长了这种冲动。其次，今天的威胁凸显了特朗普的关税政策的空洞理由。然而，即使最高法院宣布特朗普的紧急关税无效，国会仍然需要修改其他几项赋予总统类似关税权力的美国关税法，并在此过程中收回其对贸易政策的宪法权力。最后，对于那些预测抑制投资的关税不确定性将在 2026 年消退的
Expert Available: Why the DHS Shutdown Won’t Stop ICE
随着 2 月 13 日国土安全部关闭最后期限的临近，卡托研究所政策分析师多米尼克·莱特 (Dominik Lett) 揭示了一个大多数人都忽略的关键细节：ICE 运营本质上是无法关闭的。在他的新分析中，莱特解释了《美丽大法案》如何在正常拨款流程之外向 ICE 提供 750 亿美元。这意味着无论国会是否通过国土安全部拨款法案，ICE 和 CBP 都可以继续运作。 除了立即关闭的戏剧性事件之外，莱特还发现了一个令人不安的趋势：双方现在经常使用预算调节来绕过财政限制和国会监督。结果是制衡能力减弱，财政责任减弱。多米尼克·莱特接受采访，讨论国土安全部关闭、移民执法资金以及国会预算规范受到侵蚀等问题。请
Appendix B: Coding methodology
这份皮尤研究中心关于民族自豪感来源的报告使用了在 25 个国家进行的具有全国代表性的调查数据。对于非美国数据，本分析借鉴了 2025 年 1 月 8 日至 4 月 26 日对 28,333 名成年人进行的全国代表性调查。调查是通过电话与加拿大、法国、德国、希腊、匈牙利的成年人进行的，[…]附录 B：编码方法论首先出现在皮尤研究中心。
美国趋势小组调查方法概述 本报告中的数据来自美国趋势小组 (ATP) 第 177 波，该小组是皮尤研究中心随机选择的美国成年人的全国代表性小组。该调查于 2025 年 8 月 18 日至 24 日进行。在 5,525 名样本中，共有 5,153 名小组成员做出了回应，因为 […]该方法论首先出现在皮尤研究中心。
What Makes People Proud of Their Country?
从印度尼西亚的多样性到法国的美食，25 个国家的人们用自己的语言分享了让他们感到自豪的事情。帖子“什么让人们为自己的国家感到自豪？”首先出现在皮尤研究中心。
Better Emissions Data is Smart Industrial Strategy
更好的排放数据是明智的工业战略 作者：乔治·大卫·班克斯 特朗普政府正确地审查了超出法定限度的联邦法规。遏制过度扩张和降低过高的合规成本早就应该了——特别是对于与监管程度少得多的外国竞争对手竞争的美国制造商和能源生产商而言。 [...] 提出的核心问题
Apple Workshop on Reasoning and Planning 2025
推理和规划是智能人工智能系统的基石，使它们能够规划、交互、适应并最终独立运行。在 Apple，理解和推进人工智能系统的推理能力长期以来一直是一个活跃的研究领域，并产生了大量出版物，这些出版物既探索推进推理前沿的新技术，又进一步加深了该领域对当前方法的能力（和局限性）的理解。去年，Apple 主办了推理和规划研讨会，汇集了 Apple 研究人员和……
Learning to Evict from Key-Value Cache
大型语言模型 (LLM) 规模的不断增长给高效推理带来了挑战，这主要是由于自回归键值 (KV) 缓存的内存需求。现有的逐出或压缩方法可以降低成本，但依赖于启发法，例如新近度或过去的注意力分数，它们只能作为代币未来效用的间接代理，并引入计算开销。我们将 KV 缓存驱逐重新定义为强化学习 (RL) 问题：学习根据令牌对未来解码的预测有用性对令牌进行排名。为此，我们引入了 KV 策略（KVP），这是一个......的框架
Ferret-UI Lite: Lessons from Building Small On-Device GUI Agents
开发与图形用户界面 (GUI) 有效交互的自主代理仍然是一个具有挑战性的开放问题，特别是对于小型设备上模型。在本文中，我们介绍了 Ferret-UI Lite，这是一种紧凑的端到端 GUI 代理，可以跨不同平台（包括移动、Web 和桌面）运行。利用为开发小型模型而优化的技术，我们通过从真实和合成来源中策划多样化的 GUI 数据混合物来构建我们的 3B Ferret-UI Lite 代理，通过思想链推理和可视化工具的使用来增强推理时性能，并且......
Asynchronous Verified Semantic Caching for Tiered LLM Architectures
大型语言模型 (LLM) 现在位于搜索、辅助和代理工作流程的关键路径中，使得语义缓存对于降低推理成本和延迟至关重要。生产部署通常使用分层的静态-动态设计：从日志中挖掘的经过策划、离线审查的响应的静态缓存，由在线填充的动态缓存提供支持。在实践中，这两层通常都由单个嵌入相似性阈值控制，这会导致一个艰难的权衡：保守的阈值会错过安全重用的机会，而激进的阈值则可能会导致语义上不正确的服务......
查询自动完成 (QAC) 是现代搜索系统的一项重要功能，它通过在用户键入时建议完成来提高搜索效率。然而，现有的方法面临着根本性的挑战：传统的检索和排序管道的长尾覆盖率很差，需要大量的特征工程，而最近的生成方法则存在幻觉和安全风险。我们提出了一个统一的框架，通过检索增强生成（RAG）和多目标直接偏好优化（DPO）将 QAC 重新表述为端到端列表生成。我们的方法......
新闻稿 aher Aircraft 将在年度 VERTICON 垂直飞行展上首次亮相，重点介绍该公司的 Kodiak 100 和 Kodiak 900 作为高性能固定翼飞机，可补充直升机机队，为执法、公共安全和政府运营商提供支持。 Daher Aircraft 的 Kodiak 900 多任务平台有一个安装在机翼支柱上的 [...]
Angle of Attack Explained: How Aircraft Generate Lift and Avoid Stall
了解迎角对于任何想要学习飞机如何飞行的人来说都是至关重要的。无论您是准备飞行训练、学习航空理论还是探索空气动力学基础知识，这个单一概念比任何其他原理都更清楚地解释升力产生、飞机性能和失速行为。许多航空事故的发生并不是因为发动机...阅读更多
Scientists found the key to controlling AI behavior
研究人员发现了一种简单的数学方法，可以通过直接操纵内部概念向量来“引导”人工智能模型——提高性能，同时揭示隐藏的风险。现在，人工智能的行为可以比以往更精确地控制，但也引发了人们对安全措施很容易被绕过的担忧。
Study: AI chatbots provide less-accurate information to vulnerable users
麻省理工学院建设性沟通中心的研究发现，对于英语水平较低、受教育程度较低和非美国血统的用户来说，领先的人工智能模型表现较差。
Береговая охрана Филиппин закупает в США самолеты «Кинг Эйр»
菲律宾海岸警卫队正着手从美国采购三架空中国王涡轮螺旋桨飞机，以加强海上态势感知和搜救行动。
ВМС Индонезии рассчитывают получить авианосец из состава итальянского флота
印度尼西亚海军司令部就从意大利海军交付轻型航空母舰（C551）朱塞佩·加里波第号的可能性发表了有争议的声明，尽管该购买尚未得到官方确认。
