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实习计划的参与。新措施包括与经济特区、全球能力中心和中小企业开展试点项目，以及允许州政府提名公司。政府还在扩大符合条件的行业，并考虑没有企业社会责任义务的公司，以解决早期阶段观察到的参与度低于预期和高退出率的问题。
ClassDojo Launches Website Platform For K–12 Schools And Districts
新平台直接连接到 ClassDojo，使 K-12 网站保持最新状态，该平台建立在 CatapultCMS 基础设施的基础上，可帮助学区降低成本、简化运营并与家庭建立信任。这篇文章首次发表在 eLearning Industry 上。
Joe 和 Monica Eastin 赠送的一份具有里程碑意义的礼物将使穆迪学生有更多机会获得实践实习、雇主联系和职业指导。穆迪学院将成立伊斯汀职业准备中心，改变学生为劳动力做好准备的方式，该文章首先出现在《德克萨斯大学奥斯汀分校新闻》上 - 德克萨斯大学奥斯汀分校。
NASA mission to rescue a falling space telescope before it crashes to Earth delayed once again
美国宇航局的斯威夫特天文台计划于今年晚些时候进入地球大气层，但如果美国宇航局能够解决一些发射困难，Katalyst Space 航天器的目标是在今年夏天将其提升到更高的高度。
The Search for Room Temperature Superconductors Just Got a Huge AI Boost
科学家们展示了一种强大的新方法来寻找物理学的最大奖项之一：实用的超导体。一个国际研究团队展示了一种通过将机器学习与先进量子物理学相结合来更快地发现超导体的新方法。该方法使科学家能够筛选几乎无限数量的可能材料组合 [...]
夏威夷航空于 2026 年 6 月 30 日推出了一款特殊的飞机涂装，庆祝其加入 oneworld® 联盟，其设计以夏威夷语“Ōlelo Hawaiāi”为荣，并带有短语“Aloha a puni ka honua”或“Aloha all around the world”。带有寰宇一家标志的夏威夷航空宽体空客 A330-200 (N375HA) 将继续在 [...] 上使用该航空公司标志性的 Pualani 飞机
Aurora Labs commences deliveries for AU4 micro gas turbine propulsion systems
据本周早些时候发布的信息，该公司已开始向 Sovereign Propulsion Systems 交付 20 套 AU4 推进系统。
McKinney National Airport Becomes DFW's Third Commercial Airport with Avelo Airlines Launch
阿维洛航空公司 (Avelo Airlines) 为麦金尼国家机场提供 4 条佛罗里达航线的商业客运服务，为北达拉斯的旅客提供了新的选择。
