Cato Legal Fellow: Judge’s Order Guts Trump Settlement Immunity Deal
今天，美国地区法官凯瑟琳·威廉姆斯 (Kathleen Williams) 谴责了特朗普总统的和解协议，该和解协议为特朗普总统及其家人带来了豁免权，并拨款 18 亿美元作为赔偿基金。在该命令发布后，卡托研究所罗伯特·A·利维宪法研究中心的高级法律研究员丹·格林伯格发表声明：“法律禁止自我交易；威廉姆斯法官的命令解释了特朗普总统及其律师如何违反了该法律。特别是，威廉姆斯法官发现，18亿美元的特朗普和解协议是‘恶意且出于不正当目的’进行的，因此违反了律师行为的核心要求。正如命令所说，‘这是试图利用法院应为一项协议提供一定的合法性，以赋予与总统有联系的个人和实体豁免权，并从美国纳税人中拨出数十亿美元
Resuming ICE Traffic Stops Will Put Agents and the Public at Risk, Cato Expert Says
在缅因州和得克萨斯州发生两起 ICE 枪击驾驶者死亡事件后，ICE 短暂暂停了大部分车辆停靠点以重新培训其特工，随后特朗普总统下令该机构恢复停靠。我想分享卡托研究所 (Cato Institute) 的戴维·比尔 (David Bier) 的新评论，他认为永久结束拦截将更好地保护 ICE 人员、他们的目标和公众，同时又不影响执法。比尔指出，白宫边境沙皇汤姆·霍曼承认，特工可以在目标进入车辆之前或等到他们到达目的地之前逮捕他们。他认为，ICE 日益投机取巧的逮捕方式造成了危险和混乱的遭遇，却没有提供有意义的执法利益。正如比尔所写，“ICE 一直在危害其官员和其他人，却没有任何执法利益。结束车辆拦
Cato Expert: Meta’s AI Image Tool Pullback Shows the Market — Not Government — Should Police AI
最近，Meta 推出并迅速下架了一款 AI 图像生成器，该生成器使用 Instagram 上的公开个人资料生成图像。在 Meta 做出这一逆转之后，卡托研究所的言论自由和技术研究员 David Inserra 发表了一份声明：“Meta 最近推出了一款名为 Muse Image 的人工智能工具，但很快就撤下了该工具，原因是该工具允许用户修改任何公共 Instagram 帐户中的图像。虽然用户可以选择退出，但许多用户认为他们没有同意使用他们的图像，如果他们的图像被其他人使用，他们不会收到通知，这让他们感到沮丧，并担心他们的图像被滥用以造成不安全。” “需要明确的是，用户可以决定他们希望使用哪些平
House Reconciliation Plan Would Add More Than $100 Billion to Deficits, Cato Budget Expert Says
众议院预算委员会今天发布了 2027 财年预算决议，为第三项预算协调法案铺平了道路，该法案将通过授权增加国防和农业补贴支出，在不抵消支出削减的情况下产生超过 1000 亿美元的赤字。以下是卡托研究所预算和权利政策主任罗米娜·博恰 (Romina Boccia) 的一份声明：“国会正在浪费另一个机会，利用和解来完成它应该做的事情：通过减少联邦支出中的浪费、欺诈和滥用来减少赤字。立法者们没有通过改革臃肿的福利和医疗保健计划来让生活变得更加负担得起，而是利用这一强大的预算工具为农场游说团体提供另一轮特殊利益赠品并扩大国防机构，这一切都在和解应该是为了恢复财政纪律，而不是寻找新的方式来花借来的钱。”今
Cato’s Greenberg Rebuts Case for Supreme Court Packing
最近，安迪·克雷格 (Andy Craig) 在《非民粹主义者》(The Unpopulist) 上发表了一篇题为“为阻止美国威权主义漂移而不幸需要通过法庭挤塞”的文章，并附有一篇社论，开头写道：“绝望的时代需要绝望的措施。”卡托研究所罗伯特·A·利维宪法研究中心的高级法律研究员丹·格林伯格在一篇新博客文章中详细说明了为什么这是一个被误导和危险的论点，其中部分写道：“最终，像‘绝望的时代需要绝望的措施’这样的理由是站不住脚的。这样的语言不仅是一种让步，而且是一种坦白。它提出了一种与起源于它的治疗行业的观点不一致的观点。这一格言的现代运用传达了一种完全非医疗的情绪，例如：那些违反规范的人因此有权
Embarrassingly Simple Self-Distillation Improves Code Generation
大型语言模型 (LLM) 能否在没有验证器、教师模型或强化学习的情况下仅使用其自己的原始输出来改进代码生成？我们通过简单自蒸馏（SSD）给出肯定的答案：从具有特定温度和截断配置的模型中抽取样本解决方案，然后使用标准监督微调对这些样本进行微调。 SSD 在 LiveCodeBench v6 上将 Qwen3-30B-Instruct 从 42.4% 提高到 55.3% pass@1，收益主要集中在更难的问题上，并且它在 4B、8B 和 30B 规模的 Qwen 和 Llama 模型上进行了推广，包括......
Interactive Proofs for General Distribution Properties
假设 Alice 从未知分布中收集了少量样本，并且想了解该分布。鲍勃是一位不受信任的数据分析师，他声称已经对分布进行了复杂的数据分析，并对其属性做出了断言。 Alice 何时以及如何有效地验证 Bob 的声明（使用比自己运行分析所需的资源更少的资源）？我们为可以由有界深度电路决定的一般分布属性构建了交互式证明系统。取 N 为分布的上限...
Doubly Sub-linear Interactive Proofs of Proximity
我们研究双次线性交互式邻近证明（dsIPP）：生成速度超快的证明，可用于证明有关巨大输入的近似断言。证明生成速度超快，因为它只需要读取输入的一小部分（亚线性）。证明的近似验证甚至更快（读取输入的更小部分）。与属性测试文献类似，近似验证意味着亚线性时间诚实证明者可以使验证者接受属性中的每个输入，但没有证明者可以欺骗验证者......
如果函数的属性可以用函数中每个值出现的频率来表征，而不管每个值出现的位置如何，则该属性称为位置不变（或对称）。众所周知，测试函数位置不变属性的（查询）复杂性与测试相应分布（的相应属性）的（样本）复杂性密切相关。当前工作的主要信息是，这种密切关系并没有在验证的背景下维持。当考虑到......时这两者都成立
Минобороны Польши: Варшава пока не имеет возможности принять участие в «антибаллистической коалиции»
波兰目前还没有机会参加所谓的“反弹道联盟”。据俄新社报道，这是共和国国防部长弗拉迪斯拉夫·科辛尼亚克-卡米什的说法。
Россия поставит Белоруссии 100 автономных грузовиков для запуска первого беспилотного автопарка
俄罗斯将向白俄罗斯供应由 EvoCargo 开发的自动驾驶电动卡车 Evocargo N1。该项目将是俄罗斯解决方案在欧亚经济联盟国家自主物流领域的首批出口实施之一，并预计随后将这种做法扩展到国外市场。
6 月 2 日，科学与社会团队出席了由美国国家科学院院长 Marcia McNutt 在华盛顿特区发表的第三届年度科学状况演讲。她谈到了美国科学研究生态系统的现状，随后举行了由立法者、研究人员、慈善家和行业领袖参加的小组讨论。她的建议为展望科学的发展方向和检查阿斯彭研究所科学与社会项目综合平台的工作提供了有用的视角。在接下来的章节中，我们将重点介绍我们的工作如何为推进 McNutt 发现的许多机会做出贡献。《迎接 McNutt 2026 年愿景的挑战：科学与社会如何加强研究生态系统》一文首先出现在阿斯彭研究所。
GAO 发现美国联邦航空管理局 (FAA) 和运输安全管理局 (TSA) 共同努力确保国家空域系统 (NAS) 中运行的互连系统的网络安全。美国联邦航空局定义了负责实现该机构相关目标的实体的角色和职责。相比之下，TSA 却没有。 TSA 在其 2018 年网络安全路线图中定义了优先考虑机构内部和运输系统部门网络安全的目的和目标。然而，该路线图已经过时，不再与最新的国土安全部网络安全战略保持一致。该路线图也没有确定负责实施该路线图的办公室，也没有定义该机构在监督机场和飞机运营商安全计划方面与网络安全相关的角色和职责。在 TSA 更新其网络安全路线图以明确其航空网络安全角色和职责之前，该机构无法完
GAO 的发现 根据《高效利用空间和改进技术 (USE IT) 法案》60% 利用率的基准，交通运输部 (DOT) 及其下属机构的办公空间利用率不足。具体而言，GAO 发现，根据 USE IT 基准，2025 年 8 月和 9 月，交通部 189 栋办公楼（包括交通部和联邦航空管理局 (FAA) 总部大楼）中 89% 的利用率不足。这与 DOT 2026 年 3 月的《信息技术使用法案》报告基本一致。DOT 未充分利用的办公空间每年的租赁、运营和维护成本高达数亿美元。2025 年 8 月，DOT 宣布打算整合华盛顿特区 FAA 办公空间，包括在 2027 年夏季之前完全腾出 FAA 总部大楼。
How Aircraft Brakes Are Cooled
有没有想过飞机制动器是如何冷却的？与汽车制动器一样，飞机制动器也依靠摩擦来实现较低的行驶速度。然而，摩擦会产生热量，过多的热量会损坏或毁坏飞机的制动部件。飞机概述……继续阅读 →
Cyber Workforce: Agencies Did Not Widely Adopt Rotational Program
GAO 的发现 一支富有弹性且技术精湛的网络安全队伍对于保护联邦信息技术 (IT) 系统和支持政府的日常职能至关重要。联邦轮换网络劳动力计划由人事管理办公室 (OPM) 管理，为联邦网络劳动力成员提供获得 IT、网络安全和其他网络相关职位经验的机会。各机构可以通过发布职位广告或让员工在外部机构任职的方式参与该计划。 截至 2026 年 5 月，已有 13 家机构参与了该计划，至少发布了 106 个职位广告，有 634 名员工申请了轮换职位。八名员工被批准进行轮换。 OPM 已有效暂停该计划。它没有在 2025 年发布任何职位广告，官员们表示，由于参与率较低，该机构不打算在 2026 年发布职位
Science & Tech Spotlight: AI for Medical Notes and Coding
为什么这很重要美国临床医生平均每周工作 57 小时，其中包括 7 小时的行政工作。花在起草患者就诊记录或审查账单文件等任务上的时间可能会导致临床医生倦怠。新的人工智能工具可以提高效率并减少患者就诊期间和之后的管理负担。要点一些医疗保健提供者正在采用人工智能工具来协助做笔记和医疗编码，这可能会节省时间并减少倦怠。这些工具的准确性可能难以验证，对医疗保健支出的总体影响也不确定。政策制定者需要更多有关这些工具性能的信息，以确定所需的适当监督级别，以帮助最大限度地减少错误并确保正确计费。该技术是什么？准确的文档和计费是医疗保健中至关重要的管理任务。医疗保健提供者正在采用人工智能工具来自动化这些任务。人
GAO 的发现2024 年 7 月，国家核安全局 (NNSA) 发布了一份内部综合科学、技术和工程 (ST&E) 计划，记录了未来 20 年 ST&E 能力所需的投资。国家核安全局的计划确定了整个核安全企业的 46 个科技与电子设施投资并确定了优先顺序，这些投资支持核武器库存的管理和国家核安全局的其他任务。这些投资根据任务重要性和任务需要时间框架确定优先顺序。其中包括现有设施的维持和增强以及新设施的建设。国家核安全局还从核安全企业场所收集了 20 年期间相关 ST&E 劳动力和计划投资需求（例如所需的设备和材料）的初步估计。然而，国家核安全局并未充分评估这些资金需求，也没有计划这样做。国家核安
