Is this the end of America's hegemony?
英国《金融时报》备受尊敬的经济专栏作家马丁·沃尔夫（Martin Wolf）最近与其他政治学家和历史学家一样得出结论，美国正在失去或已经失去霸主地位。称霸是指处于领导地位，对其他国家具有支配地位。霸主对从属政体拥有足够的权力——政治、经济、军事或文化——能够将其意志强加于他人。霸权（hēgemonía，η̇γεμω̇ν）一词是为了描述处于权力巅峰的古代雅典和斯巴达而创造的。这个术语...
Democrats and Republicans engage in public life in similar ways
两个主要政党均包括深入参与公共生活（政治、社区、宗教和新闻领域）的人士以及较少参与公共生活的人士。
Uncertainty Quantification for LLM Function-Calling
大型语言模型 (LLM) 越来越多地用于自主解决现实世界的任务。其中一个关键要素是法学硕士函数调用范式，这是一种广泛使用的方法，为法学硕士配备工具使用功能。然而，LLM 错误地调用函数可能会产生严重影响，特别是当其影响不可逆转时，例如转账或删除数据。因此，在执行函数调用之前，考虑法学硕士对函数调用正确解决任务的信心至关重要。不确定性量化（UQ）方法可用于量化……
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 为分布的上限...
CLaRa: Bridging Retrieval and Generation with Continuous Latent Reasoning
检索增强生成（RAG）利用外部知识增强了大型语言模型（LLM），但仍然受到长上下文和不相交的检索生成优化的影响。在这项工作中，我们提出了 CLaRa（连续潜在推理），这是一个在共享连续空间中执行基于嵌入的压缩和联合优化的统一框架。为了获得语义丰富且可检索的压缩向量，从而减少输入生成器的文档长度，我们引入了 SCP，一种基于问答和释义的密钥保留数据合成框架......
Doubly Sub-linear Interactive Proofs of Proximity
我们研究双次线性交互式邻近证明（dsIPP）：生成速度超快的证明，可用于证明有关巨大输入的近似断言。证明生成速度超快，因为它只需要读取输入的一小部分（亚线性）。证明的近似验证甚至更快（读取输入的更小部分）。与属性测试文献类似，近似验证意味着亚线性时间诚实证明者可以使验证者接受属性中的每个输入，但没有证明者可以欺骗验证者......
Personalizing Incremental Video Search with Hybrid Text and ID Embeddings
增量视频搜索需要在每次击键后进行高质量排名，而意图通常不明确（例如，1-3 个字符前缀）。我们提出了一个 Apple TV 搜索的个性化系统，该系统在排名时结合了互补的语义和协作信号。我们的方法学习两个项目嵌入空间：(i) 基于文本的多语言编码器 (TextEmb)，通过对比学习对共同参与三元组进行微调；(ii) 基于 ID 的协作嵌入模型 (IdEmb)，根据交互衍生的积极因素进行训练。在服务时，我们从…构建用户表示
如果函数的属性可以用函数中每个值出现的频率来表征，而不管每个值出现的位置如何，则该属性称为位置不变（或对称）。众所周知，测试函数位置不变属性的（查询）复杂性与测试相应分布（的相应属性）的（样本）复杂性密切相关。当前工作的主要信息是，这种密切关系并没有在验证的背景下维持。当考虑到......时这两者都成立
One Layer Is Enough: Adapting Pretrained Visual Encoders for Image Generation
视觉生成模型（例如扩散模型）通常在压缩的潜在空间中运行，以平衡训练效率和样本质量。与此同时，人们对利用高质量的预训练视觉表示越来越感兴趣——无论是在 VAE 内对齐它们还是直接在生成模型内对齐它们。然而，由于面向理解的特征和生成友好的潜在空间之间的根本不匹配，适应这种表示仍然具有挑战性。表示编码器受益于高维潜伏，捕捉不同的假设......
Сухопутные войска Индонезии получили два новых вертолета Ми-17В-5
印度尼西亚陆军航空中心为其机队补充了两架由喀山直升机厂 JSC（KVZ；俄罗斯直升机控股公司 Rostec）生产的新型 Mi-17V-5 运输和攻击直升机。
Выручка BAE Systems с начала конфликта на Украине выросла почти в 1,5 раза
自乌克兰冲突爆发以来，英国 BAE Systems 公司的年收入增长了近 1.5 倍，达到超过 280 亿英镑（近 380 亿美元）。
Ростех впервые представил комплекс «Паутина» для защиты от дронов промышленных объектов
RT-Project Technologies 公司（Rostec 旗下）首次展示了针对无人机的基础设施的全面保护。
В Польшу доставлены первые мостоукладчики M1110 JAB
7月14日，波兰国防部装备局宣布通过海运向该国交付首批统一M1110 JAB（联合突击桥）坦克桥。
ВМС США рассматривают возможность строительства кораблей в Республике Корея
美国海军已正式向韩国主要造船商发出两份信息请求（RFI），以评估其建造补给油轮和驱逐舰级军舰的能力。
Rheinmetall осуществил первую поставку боеприпасов на Украину с завода в Унтерлюсе
德国莱茵金属公司已开始通过位于Unterlus（下萨克森州）的新生产基地向乌克兰供应155毫米火炮弹药。
Совет по оборонным закупкам Минобороны Индии одобрил приобретение средств ПВО, ПТРК и БЛА
印度国防采办委员会（DAC）7月3日批准了多项采购计划，表明该国越来越注重打造分层防空系统、打击无人机和确保部队保护。
这家新上市公司是目前唯一一家拥有可行途径建设天基基础设施的公司。如果你想象在太空中建设一个大规模的人工智能数据中心，你也会假设许多成功的星舰发射，以部署大量卫星——到十年末，可能每天会发射十几个卫星。纽约数据中心暂停令显示美国停滞激进主义团体的持续力量首先出现在美国企业研究所（AEI）上。
