US’s JetBlue Airways explores potential sale - report
知情人士告诉新闻网站 Semafor，捷蓝航空（B6，纽约肯尼迪机场）已聘请顾问来评估该航空公司出售给竞争对手航空公司的可行性。该航空公司表示，仍将重点放在正在进行的转型计划上。 “作为政策问题，捷蓝航空不会对市场猜测或谣言发表评论。我们在多年的 JetForward 战略上取得了有意义的进展，并专注于执行该计划。我们相信 JetForward 是恢复盈利能力的正确战略......
Russia denies sending modified Shahed drones to Iran
据报道，根据西方情报机构的说法，俄罗斯即将完成向伊朗运送改良型沙赫德型无人机……俄罗斯否认向伊朗发送改良型沙赫德型无人机的帖子首先出现在 AeroTime 上。
Entropy-Preserving Reinforcement Learning
策略梯度算法推动了语言模型推理的许多最新进展。他们的一个吸引人的特性是他们能够从自己的轨迹探索中学习，这一过程对于培育多样化和创造性的解决方案至关重要。正如我们在本文中所示，作为训练的一部分，许多策略梯度算法自然会减少熵，从而减少探索轨迹的多样性，从而产生越来越限制其探索能力的策略。在本文中，我们认为应该在整个训练过程中积极监测和控制熵。我们正式分析...
ProText: A Benchmark Dataset for Measuring (Mis)gendering in Long-Form Texts
我们引入了 ProText，这是一个用于测量风格多样的长篇英语文本中的性别和性别错误的数据集。 ProText 跨越三个维度：主题名词（姓名、职业、头衔、亲属称谓）、主题类别（典型男性、典型女性、中性/非性别）和代词类别（男性、女性、中性、无）。该数据集旨在探索文本转换中的（错误）性别，例如使用最先进的大型语言模型进行摘要和重写，超越传统的代词解析基准并超越......
Athena: Intermediate Representations for Iterative Scaffolded App Generation with an LLM
使用大型语言模型 (LLM) 生成完整用户界面的代码具有挑战性。用户界面很复杂，它们的实现通常由多个相互关联的文件组成，这些文件共同指定每个屏幕的内容、屏幕之间的导航流以及整个应用程序中使用的数据模型。为 LLM 制作包含足够详细信息以生成完整用户界面的单个提示具有挑战性，即使如此，结果通常是一个大且难以理解的文件，其中包含所有生成的...
MIT researchers use AI to uncover atomic defects in materials
一种新模型可以测量可用来提高材料机械强度、传热和能量转换效率的缺陷。
在 2025 年 3 月的一份工作文件中，Mark Warshawsky 与 John Mantus 和 Gaubo Pang (WMP) 一起更新并解释了他们对美国经济、医疗保健支出和联邦预算的宏观经济预测模型的结果。重新审视宏观经济预算和医疗保健预测仪表板：你能让美国回到可持续发展的道路吗？首先出现在美国企业研究所 - AEI 上。
Nyx Bets Casino: Uw Definitieve Gids voor Online Gokken
Inhoudsopgave Spelportfolio en Software leveranciers Welkomstacties en Aanbiedingen Betalingsmogelijkheden en Overschrijvingen Veiligheid en Licenties Support voor Spelers Gamecollectie en SoftwareProviders Via NyxBets Presenteren wij een zorgvuldig Samengesteldecollectie van boven dan 2,500 gokspel
ЦЦТ Новосибирской области: космический мониторинг на страже природных ресурсов
新西伯利亚地区数字化转型中心再造和数字化转型部门负责人Vitaly Vygonny谈论利用空间监控工具打击非法采伐、违规使用地下资源和非法垃圾填埋场。
Resource Roundup: The Head and Heart of Economic Policy
按经济产出计算，美国是世界上最富有的国家。美国人的平均年薪位居全球最高之列。尽管如此，近年来很少有人会给我们的经济打高分，而且长期的不安全感已经决定了许多人的经济经历。经济模型和指标是独一无二的[…]资源综述：经济政策的核心和核心首先出现在阿斯彭研究所。
Advanced air mobility infrastructure: Considerations for state policymakers
先进空中交通服务旨在将小型航空引入目前由汽车主导的当地和区域运输市场。《先进空中交通基础设施：国家政策制定者的考虑因素》一文首先出现在 Reason Foundation 上。
Asset recycling could produce significant private sector funding to modernize US infrastructure
有几个美国大型交通设施被回收的优秀例子，其前期收益用于有价值的公共目的。资产回收后可以产生大量的私营部门资金来实现美国基础设施的现代化，这首先出现在 Reason 基金会上。
3D Printing powerhouse opens at Picatinny’s Armaments Center, boosting innovation
新泽西州皮卡汀尼兵工厂 - 随着 Ad... 的盛大开幕，美国陆军在增材制造和快速原型制造方面向前迈出了重要一步。
Why we’re testing multiple pathways for defense innovation, from concept to combat
赞助内容：就在贝尔沃堡外，博思艾伦工程师团队正在制作下一代作战技术的原型以供部署。
Cyber Workforce: Evidence-Based Decision Needed for the Future of OPM’s Dashboard
GAO 的发现人事管理办公室 (OPM) 于 2023 年推出了网络劳动力仪表板，作为管理网络安全劳动力的政府范围内的应用程序。仪表板的预期目的是提供政府范围内联邦网络劳动力数据的全面视图，并允许各机构将其劳动力数据与其他机构进行基准比较。但是，六个选定机构中的五个以及仪表板管理员 OPM 报告说，他们没有使用仪表板。美国总务管理局是唯一使用它的机构，主要用于劳动力规划。所有六个选定的机构都报告了仪表板的局限性，包括与 OPM 的通信、访问、功能和数据的使用。 OPM 报告了管理工作方面的许多相同类型的限制。 六个选定机构所经历的人事管理办公室网络劳动力仪表板限制的数量 由于缺乏使用，仪表板无
Homeowners Insurance: Premiums Generally Tracked Inflation but Rose More in Disaster-Prone Areas
GAO 发现近年来，虽然全国范围内的房屋保险保费略有增长，但该国某些地区的保费增长更快。保费占 2023 年家庭收入中位数的百分比最高的是佛罗里达州、路易斯安那州和俄克拉荷马州。经通胀调整后，2019 年至 2024 年美国平均房主保险费上涨了 3%。但某些州的部分地区，特别是遭受风灾高风险的南部沿海地区，保险费增加了 25% 或更多。 2019-2024 年通货膨胀后房主保险费的总体变化估计 不同类型自然灾害的风险可能会不同程度地影响保险费。例如，GAO 发现，风灾风险高的地区的房屋保费比风灾风险中等的地区的类似房屋的保费高出约 58%。野火风险从中度转变为高度与保费增加 8% 相关。自然灾
