Uzbekistan Airways to move proposed IPO to 2027
本文仅适用于订阅商业航空新闻、运营商和机场数据
SolitAir launches its first EU cargo route with Sofia service
SolitAir 已开通飞往保加利亚瓦西里列夫斯基索非亚机场 (SOF) 的定期货运航班，这是这家总部位于迪拜的航空公司在欧盟境内的首个目的地。SolitAir 推出首条提供索非亚服务的欧盟货运航线的消息首先出现在《航空商业新闻》上。
Oman Air launches five new routes in major July expansion, adding Singapore, Sochi and more
阿曼航空将于 2026 年 7 月推出 5 条新航线，大幅拓展其国际网络，这是迄今为止单月网络新增规模最大的航线之一，全球目的地数量已达 49 个。此次扩张将于 7 月 2 日开始，新增从马斯喀特飞往新加坡和索契的直达航班，随后将开通飞往 [...] 的航班
卢森堡航空开通了赫尔辛基和卢森堡之间的直飞航班，推出每周两次的新航线，进一步扩大了赫尔辛基机场的欧洲航线网络。首趟航班于 7 月 2 日起飞，新航班每周一和周四运营。该航线使用巴西航空工业公司 E195-E2 执飞，使其成为 [...] 的首个定期航班
Air Arabia launches London Gatwick flights and restores Aleppo service
阿拉伯航空扩大了其网络，推出了沙迦和伦敦盖特威克机场之间的直飞航班，同时恢复了飞往叙利亚阿勒颇的每日航班。新的伦敦盖特威克航线于 7 月 5 日开通，每日提供一班空客 A321LR 航班。从 7 月 10 日起，该航空公司将把航线增加到每天两班，从而显着提高阿联酋 [...] 之间的运力
Riyadh Air Launching Flights to Fastest Growing Economy in the World
利雅得航空 (RX) 已正式确认其期待已久的进入印度市场的消息。利雅得航空推出飞往世界上增长最快的经济体的航班后，首先出现在航空 A2Z 上。
Virgin Atlantic and Grey Goose launch miniature martini
维珍航空和灰雁公司合作打造了他们所说的“世界上最小的马提尼酒”，以纪念世界马提尼日，为旅客在希思罗机场 3 号航站楼俱乐部会所提供全新的优质飞行前体验。 Tiniest Tini 这种微型饮料被称为“Tiniest Tini”，是新合作的第一个成果[…]维珍航空和灰雁推出微型马提尼后，首先出现在旅行雷达 - 航空新闻上。
Learning Structured Reasoning via Tractable Trajectory Control
大型语言模型可以表现出紧急推理行为，通常表现为重复出现的词汇模式（例如，“等待”，表示验证）。然而，在无约束采样中，复杂的推理轨迹仍然稀疏，并且标准强化学习通常无法保证获取多样化的推理行为。我们提出通过结构化推理来系统地发现和强化不同的推理模式，这种范式需要在强化学习过程中有针对性地探索特定的推理模式。为此，我们提出了 Ctrl-R，一个学习框架......
Conformal Thinking: Risk Control for Reasoning on a Compute Budget
推理大型语言模型 (LLM) 可实现测试时间扩展，随着令牌预算的增加，数据集级别的准确性也会提高，从而激励自适应推理——在可靠性提高时使用令牌，并在额外计算不太可能有帮助时提前停止。然而，设置代币预算以及自适应推理的阈值是一项实际挑战，需要进行基本的风险与准确性权衡。我们将预算设置问题重新定义为风险控制，限制错误率，同时最大限度地减少计算量。我们的框架引入了一个上限，可以阻止......
New Army capability advances DOW drone initiatives
宾夕法尼亚州托比汉纳 — 托比汉纳陆军仓库于 6 月 30 日举办了剪彩仪式，标志着其先进制造能力的重大扩展...
European tank-maker KNDS postpones IPO due to ‘market volatility’
“KNDS 及其股东将继续密切关注资本市场状况，并准备在市场条件允许时尽快恢复 IPO 流程，”这家欧洲公司表示。
Tank maker KNDS delays stock listing, citing defense-market volatility
“KNDS 及其股东将继续密切关注资本市场状况，并做好恢复 IPO 流程的准备，”该公司表示。
Adaptive parallel reasoning: the next paradigm in efficient inference scaling
自适应并行推理概述。如果推理模型可以自行决定何时分解和并行化独立子任务、生成多少个并发线程以及如何根据当前问题协调它们，会怎样？我们对并行推理领域的最新进展进行了详细分析，特别是自适应并行推理。披露：这篇文章部分是景观调查，部分是自适应并行推理的视角。作者之一 (Tony Lian) 共同领导了 ThreadWeaver (Lian et al., 2025)，这是下面讨论的方法之一。作者旨在以自己的方式呈现每种方法。 动机 除了数据和参数缩放之外，LLM 推理能力的最新进展很大程度上是由推理时间缩放驱动的（OpenAI 等人，2024 年；DeepSeek-AI 等人，2025 年）。显式输
India-UK trade pact sparks rush of export orders ahead of July 15 rollout
在 7 月 15 日印英 CETA 实施之前，印度出口商的英国订单大幅增加。由于预计关税将下调，纺织品、服装、皮革制品和化学品企业的订单量大幅增加。这项贸易协定有望提高印度产品的竞争力，宝石和珠宝出口也有望增长，尽管玩具出口商面临合规障碍。
Centre weighs SEZ, GCC pilots to boost PM Internship Scheme
企业事务部正在积极寻求促进PM实习计划的参与。新措施包括与经济特区、全球能力中心和中小企业开展试点项目，以及允许州政府提名公司。政府还在扩大符合条件的行业，并考虑没有企业社会责任义务的公司，以解决早期阶段观察到的参与度低于预期和高退出率的问题。
