手性关键词检索结果

更好的排放数据是明智的工业战略

Better Emissions Data is Smart Industrial Strategy

更好的排放数据是明智的工业战略 作者:乔治·大卫·班克斯 特朗普政府正确地审查了超出法定限度的联邦法规。遏制过度扩张和降低过高的合规成本早就应该了——特别是对于与监管程度少得多的外国竞争对手竞争的美国制造商和能源生产商而言。 [...] 提出的核心问题

Apple 推理与规划研讨会 2025

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:构建小型设备上 GUI 代理的经验教训

Ferret-UI Lite: Lessons from Building Small On-Device GUI Agents

开发与图形用户界面 (GUI) 有效交互的自主代理仍然是一个具有挑战性的开放问题,特别是对于小型设备上模型。在本文中,我们介绍了 Ferret-UI Lite,这是一种紧凑的端到端 GUI 代理,可以跨不同平台(包括移动、Web 和桌面)运行。利用为开发小型模型而优化的技术,我们通过从真实和合成来源中策划多样化的 GUI 数据混合物来构建我们的 3B Ferret-UI Lite 代理,通过思想链推理和可视化工具的使用来增强推理时性能,并且......

分层 LLM 架构的异步验证语义缓存

Asynchronous Verified Semantic Caching for Tiered LLM Architectures

大型语言模型 (LLM) 现在位于搜索、辅助和代理工作流程的关键路径中,使得语义缓存对于降低推理成本和延迟至关重要。生产部署通常使用分层的静态-动态设计:从日志中挖掘的经过策划、离线审查的响应的静态缓存,由在线填充的动态缓存提供支持。在实践中,这两层通常都由单个嵌入相似性阈值控制,这会导致一个艰难的权衡:保守的阈值会错过安全重用的机会,而激进的阈值则可能会导致语义上不正确的服务......

通过检索增强生成和多目标对齐统一查询自动完成中的排名和生成

Unifying Ranking and Generation in Query Auto-Completion via Retrieval-Augmented Generation and Multi-Objective Alignment

查询自动完成 (QAC) 是现代搜索系统的一项重要功能,它通过在用户键入时建议完成来提高搜索效率。然而,现有的方法面临着根本性的挑战:传统的检索和排序管道的长尾覆盖率很差,需要大量的特征工程,而最近的生成方法则存在幻觉和安全风险。我们提出了一个统一的框架,通过检索增强生成(RAG)和多目标直接偏好优化(DPO)将 QAC 重新表述为端到端列表生成。我们的方法......

加利福尼亚州的水质

Water Quality in California

加州人理应获得安全的供水,但该州却受到历史性、持续性和新兴水质威胁的复杂困扰。我们更新后的情况说明书重点介绍了正在取得的进展,并详细介绍了可能有所帮助的措施。

在 VERTICON 2026 上,Daher 将重点介绍 Kodiak 100 和 Kodiak 900 作为直升机机队的“力量倍增器”

At VERTICON 2026, Daher will spotlight the Kodiak 100 and Kodiak 900 as “force multipliers” for helicopter fleets

新闻稿 aher Aircraft 将在年度 VERTICON 垂直飞行展上首次亮相,重点介绍该公司的 Kodiak 100 和 Kodiak 900 作为高性能固定翼飞机,可补充直升机机队,为执法、公共安全和政府运营商提供支持。 Daher Aircraft 的 Kodiak 900 多任务平台有一个安装在机翼支柱上的 [...]

迎角解释:飞机如何产生升力并避免失速

Angle of Attack Explained: How Aircraft Generate Lift and Avoid Stall

了解迎角对于任何想要学习飞机如何飞行的人来说都是至关重要的。无论您是准备飞行训练、学习航空理论还是探索空气动力学基础知识,这个单一概念比任何其他原理都更清楚地解释升力产生、飞机性能和失速行为。许多航空事故的发生并不是因为发动机...阅读更多

科学家找到控制AI行为的关键

Scientists found the key to controlling AI behavior

研究人员发现了一种简单的数学方法,可以通过直接操纵内部概念向量来“引导”人工智能模型——提高性能,同时揭示隐藏的风险。现在,人工智能的行为可以比以往更精确地控制,但也引发了人们对安全措施很容易被绕过的担忧。

研究:人工智能聊天机器人向易受攻击的用户提供不太准确的信息

Study: AI chatbots provide less-accurate information to vulnerable users

麻省理工学院建设性沟通中心的研究发现,对于英语水平较低、受教育程度较低和非美国血统的用户来说,领先的人工智能模型表现较差。

菲律宾海岸警卫队从美国购买国王航空飞机

Береговая охрана Филиппин закупает в США самолеты «Кинг Эйр»

菲律宾海岸警卫队正着手从美国采购三架空中国王涡轮螺旋桨飞机,以加强海上态势感知和搜救行动。

印尼海军预计将从意大利舰队接收一艘航空母舰

ВМС Индонезии рассчитывают получить авианосец из состава итальянского флота

印度尼西亚海军司令部就从意大利海军交付轻型航空母舰(C551)朱塞佩·加里波第号的可能性发表了有争议的声明,尽管该购买尚未得到官方确认。

全球火灾天气正在上升——但赤道东南亚却逆势而上

Global Fire Weather Is Rising – But Equatorial Southeast Asia Is Bucking the Trend

留意同步火灾天气,这会急剧增加重大野火风险。我十多年来一直在跟踪这一问题,早期的研究强调了一个关键的不确定性……《全球火灾天气正在上升——但赤道东南亚正在逆势而行》一文首先出现在新加坡国际事务研究所。

埃尔多安的逊尼派绞索:土耳其企图包围以色列

Erdogan's Sunni Noose: Turkey's Bid to Encircle Israel

土耳其总统雷杰普·塔伊普·埃尔多安发起了雄心勃勃的外交攻势,旨在将逊尼派世界统一在安卡拉的领导下。目标不仅仅是与以前的竞争对手和解。这是逊尼派外交的建设

伊朗:当阿亚图拉讽刺神职人员

Iran: When Ayatollahs Lampoon the Clergy

“看看我们这个时代,一小撮冒名顶替的神职人员,没有理性和科学的概念,没有人的概念,像驴子一样绝望地寻找饲料,他们关心的只是饮食和通奸,已经抛弃了羞耻和耻辱的观念

向卫生与公共服务部提出的关于加速人工智能在临床护理中的采用和使用的评论

Comments to the Department of Health and Human Services on accelerating the adoption and use of artificial intelligence as part of clinical care

监管不确定性对临床护理中人工智能的创新和采用造成了重大障碍。卫生与公共服务部关于加速人工智能作为临床护理的一部分的采用和使用的评论首先出现在 Reason Foundation 上。

赞格祖尔能源走廊增强区域能源互联互通

Zangezur Energy Corridor Enhancing Regional Energy Connectivity

内容提要:1月29日,由AzerEnerji主导的新高压输电系统正式开工建设。该项目被称为“赞格祖尔能源走廊”,将通过特朗普国际和平与繁荣路线(TRIPP)(也称为赞格祖尔走廊)将阿塞拜疆纳希切万自治共和国纳入巴库国家电网。该项目将[…]后赞格祖尔能源走廊增强区域能源连通性首先出现在詹姆斯敦。