GAO 的发现自 2015 年以来，军事设施的自然灾害造成了巨大的成本和损失，但国防部 (DOD) 尚未全面跟踪与这些成本相关的数据。 2024 年，国防部开始努力追踪极端天气对军事设施的影响。然而，政府问责局发现了国防部数据收集范围及其收集完整、准确的灾难恢复成本数据的能力方面的差距。具体来说，国防部的数据收集仅限于极端天气的影响，不包括自然灾害的全部范围，包括地震等地震事件。此外，国防部收集的有关设施极端天气成本的数据在某些情况下可能不准确或不完整，部分原因是设施预计报告信息的时间。扩大其数据收集范围以涵盖所有类型的自然灾害，并建立一个流程来确保成本数据完整和准确，可以提高国防部预测未来灾
The obstacles facing Trump’s next attempt at imposing tariffs
全世界都知道这一点——最高法院于 2 月 20 日上周五宣布，特朗普的大部分关税都是非法的。法院表示，特朗普使用的法规《国际紧急经济权力法》(IEEPA) 不包含关税权力。考虑一下为什么大多数人会采取行动。这是因为根据美国宪法，美国的全部关税权力属于国会，而不是总统。总统对他希望对任何国家和任何产品征收的关税不设任何限制，无论数量是他选择的——也就是说，赤裸裸的征税、征收权力……
Cato Statement on Trump’s Greenland Tariff Threat
唐纳德·特朗普总统表示，美国将对多个反对美国控制格陵兰岛的欧洲国家征收 10% 的关税。卡托学者斯科特·林西科姆在一份新声明中表示：“特朗普的关税宣布证实了贸易政策专家长期以来的警告：首先，由于特朗普的贸易协议是单边的、不具约束力的，它们可以很容易地随心所欲地改变，不太可能限制他日常的关税冲动——而外国政府安抚总统的努力很可能助长了这种冲动。其次，今天的威胁凸显了特朗普的关税政策的空洞理由。然而，即使最高法院宣布特朗普的紧急关税无效，国会仍然需要修改其他几项赋予总统类似关税权力的美国关税法，并在此过程中收回其对贸易政策的宪法权力。最后，对于那些预测抑制投资的关税不确定性将在 2026 年消退的
SCOTUS Ruling Against Emergency Use of Tariffs
在最高法院做出反对特朗普总统使用关税的决定后，我想引用卡托研究所两位法律学者关于该决定的声明。卡托研究所宪法研究主席伊利亚·索明 (Ilya Somin) 和肯尼思·西蒙 (B. Kenneth Simon) 表示：“今天，最高法院正确地裁定，《国际紧急经济权力法》没有赋予总统‘对来自任何国家、任何产品、以任何价格、在任何时间内征收关税的权力。’这是宪法权力分立、自由贸易的重大胜利，也是数百万美国消费者和企业作为一个国家而承受更高税收和更高价格的重大胜利。”卡托研究所罗伯特·利维宪法研究中心法律研究员布伦特·斯科鲁普 (Brent Skorup) 表示：“最高法院今天就本学期最重要的案件之一做
Expert Available: Why the DHS Shutdown Won’t Stop ICE
随着 2 月 13 日国土安全部关闭最后期限的临近，卡托研究所政策分析师多米尼克·莱特 (Dominik Lett) 揭示了一个大多数人都忽略的关键细节：ICE 运营本质上是无法关闭的。在他的新分析中，莱特解释了《美丽大法案》如何在正常拨款流程之外向 ICE 提供 750 亿美元。这意味着无论国会是否通过国土安全部拨款法案，ICE 和 CBP 都可以继续运作。 除了立即关闭的戏剧性事件之外，莱特还发现了一个令人不安的趋势：双方现在经常使用预算调节来绕过财政限制和国会监督。结果是制衡能力减弱，财政责任减弱。多米尼克·莱特接受采访，讨论国土安全部关闭、移民执法资金以及国会预算规范受到侵蚀等问题。请
What Makes People Proud of Their Country?
从印度尼西亚的多样性到法国的美食，25 个国家的人们用自己的语言分享了让他们感到自豪的事情。帖子“什么让人们为自己的国家感到自豪？”首先出现在皮尤研究中心。
An Onslaught of Climate Change Litigation
尊敬的编辑：您的社论“法庭上失败的气候政变”（《评论与展望》，2 月 9 日）强调了一个可能产生意想不到后果的重要问题。截至 2025 年中期，全球已提交超过 3,000 起气候变化案件，其中超过 60% 在美国提起诉讼。最近联合国环境规划署和 [...]
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），这是一个......的框架
Models That Prove Their Own Correctness
我们如何才能相信学习模型对特定感兴趣输入的正确性？模型精度通常是根据输入分布的平均值来衡量的，不保证任何固定输入。本文针对这个问题提出了一个有理论基础的解决方案：训练自我证明模型，通过交互式证明向验证算法 V 证明其输出的正确性。自证明模型满足以下条件：对于从给定分布采样的输入，模型以高概率生成正确的输出并成功证明其对 V 的正确性。...
查询自动完成 (QAC) 是现代搜索系统的一项重要功能，它通过在用户键入时建议完成来提高搜索效率。然而，现有的方法面临着根本性的挑战：传统的检索和排序管道的长尾覆盖率很差，需要大量的特征工程，而最近的生成方法则存在幻觉和安全风险。我们提出了一个统一的框架，通过检索增强生成（RAG）和多目标直接偏好优化（DPO）将 QAC 重新表述为端到端列表生成。我们的方法......
返回冬季嘉年华勇士 481 于 2026 年 2 月 15 日停泊在奥尔顿湾的冰面上。2026 年 2 月 15 日，我是 131 名飞行员之一，将一架飞机降落在美国联邦航空局 (FAA) 绘制的唯一一条位于 48 英里以下的冰跑道上。这是我在过去十年中第七次在奥尔顿湾的冰面上着陆，这是在一个美丽的、几乎完美的飞行日进行的。奥尔顿湾冬季嘉年华的节日气氛充满了我以前从未见过的活力。对我个人而言，这是一次无可否认的成功短途旅行，也是一次跨越州界的令人焕发活力的冬季飞行。而且，整个事情的发展完全与我最好的计划背道而驰。2025 年，成为纽约州奥尔顿湾威廉姆森飞行俱乐部成员。照片由乔的妈妈拍摄！202
新闻稿 aher Aircraft 将在年度 VERTICON 垂直飞行展上首次亮相，重点介绍该公司的 Kodiak 100 和 Kodiak 900 作为高性能固定翼飞机，可补充直升机机队，为执法、公共安全和政府运营商提供支持。 Daher Aircraft 的 Kodiak 900 多任务平台有一个安装在机翼支柱上的 [...]
Scientists found the key to controlling AI behavior
研究人员发现了一种简单的数学方法，可以通过直接操纵内部概念向量来“引导”人工智能模型——提高性能，同时揭示隐藏的风险。现在，人工智能的行为可以比以往更精确地控制，但也引发了人们对安全措施很容易被绕过的担忧。
Personalization features can make LLMs more agreeable
长期对话的背景可能会导致法学硕士开始反映用户的观点，可能会降低准确性或创建虚拟回声室。
Exposing biases, moods, personalities, and abstract concepts hidden in large language models
麻省理工学院开发的一种新方法可以根除漏洞并提高法学硕士的安全性和性能。
Пять стран Европы планируют запустить совместный проект по разработке перспективных БЛА
德国、法国、英国、意大利和波兰正计划发起一项倡议，在无人机开发方面进行密切合作。
