Cato Statement on Trump’s Greenland Tariff Threat
唐纳德·特朗普总统表示，美国将对多个反对美国控制格陵兰岛的欧洲国家征收 10% 的关税。卡托学者斯科特·林西科姆在一份新声明中表示：“特朗普的关税宣布证实了贸易政策专家长期以来的警告：首先，由于特朗普的贸易协议是单边的、不具约束力的，它们可以很容易地随心所欲地改变，不太可能限制他日常的关税冲动——而外国政府安抚总统的努力很可能助长了这种冲动。其次，今天的威胁凸显了特朗普的关税政策的空洞理由。然而，即使最高法院宣布特朗普的紧急关税无效，国会仍然需要修改其他几项赋予总统类似关税权力的美国关税法，并在此过程中收回其对贸易政策的宪法权力。最后，对于那些预测抑制投资的关税不确定性将在 2026 年消退的
SCOTUS Ruling Against Emergency Use of Tariffs
在最高法院做出反对特朗普总统使用关税的决定后，我想引用卡托研究所两位法律学者关于该决定的声明。卡托研究所宪法研究主席伊利亚·索明 (Ilya Somin) 和肯尼思·西蒙 (B. Kenneth Simon) 表示：“今天，最高法院正确地裁定，《国际紧急经济权力法》没有赋予总统‘对来自任何国家、任何产品、以任何价格、在任何时间内征收关税的权力。’这是宪法权力分立、自由贸易的重大胜利，也是数百万美国消费者和企业作为一个国家而承受更高税收和更高价格的重大胜利。”卡托研究所罗伯特·利维宪法研究中心法律研究员布伦特·斯科鲁普 (Brent Skorup) 表示：“最高法院今天就本学期最重要的案件之一做
本报告是基于以下个人的意见和分析的协作成果。 Laura Silver，全球态度研究副总监Laura Clancy，研究分析师Maria Smerkovich，研究助理Sneha Gubbala，研究分析师William Miner，研究分析师Julia Armeli，研究助理Andrew Prozorovsky，研究助理John Carlo Mandapat，信息图形设计师Janakee Chavda，副数字制作人Dorene Asare-Marfo，高级小组经理Peter […]该帖子致谢首先出现在皮尤研究中心。
Trump official: Deep-sea mining just years away
Noble 和来自联邦政府的许多其他高级联邦监管机构出席了 ACCF 主办的峰会，ACCF 是一个商业倡导组织，现在由乔治·戴维·班克斯 (George David Banks) 领导，他在特朗普第一届政府期间担任白宫能源和气候问题高级顾问。
Better Emissions Data is Smart Industrial Strategy
更好的排放数据是明智的工业战略 作者：乔治·大卫·班克斯 特朗普政府正确地审查了超出法定限度的联邦法规。遏制过度扩张和降低过高的合规成本早就应该了——特别是对于与监管程度少得多的外国竞争对手竞争的美国制造商和能源生产商而言。 [...] 提出的核心问题
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 多任务平台有一个安装在机翼支柱上的 [...]
Flight Pro International announces latest expansion with new office at Farnborough Airport
新闻稿 light Pro International (FPI) 很高兴地宣布最近在范堡罗机场 (EGLF/FAB) 开设了位于英国的新办事处，该机场是世界上通用航空最繁忙的地区之一。自 Flight Pro 于 2020 年推出以来，范堡罗机场已被证明是 FPI 在该地区业务发展的核心 - [...]
AI in Aviation: Transforming Modern Flight
航空领域的人工智能正在彻底改变我们的飞行方式。这项技术正在改变从飞机维护到乘客体验的一切，使航空旅行比以往更安全、更快捷、更高效。该实施代表了飞行史上最重大的技术变革之一。航空业每天都会产生大量数据。 ... 阅读更多
Scientists found the key to controlling AI behavior
研究人员发现了一种简单的数学方法，可以通过直接操纵内部概念向量来“引导”人工智能模型——提高性能，同时揭示隐藏的风险。现在，人工智能的行为可以比以往更精确地控制，但也引发了人们对安全措施很容易被绕过的担忧。
Exposing biases, moods, personalities, and abstract concepts hidden in large language models
麻省理工学院开发的一种新方法可以根除漏洞并提高法学硕士的安全性和性能。
Концерн «Уралвагонзавод» отправил в войска партию модернизированных БРЭМ-80
这些车辆配备了机械化耦合装置，并具有更高水平的乘员保护
«Росэл» разработал новое оборудование для непрерывного обеззараживания стоков больниц
该解决方案将允许替代进口类似物并提高具有特殊卫生要求的场所的生物安全水平
