Embraer introduces Phenom 300EV
巴西航空工业公司推出了飞鸿 300EV，这是其轻型喷气机系列的最新版本。该飞机带来了新的安全系统、重新设计的驾驶舱、性能提升和客舱变化。交付计划于 2028 年开始。巴西航空工业公司总裁兼首席执行官迈克尔·阿马尔菲塔诺 (Michael Amalfitano) 表示，新型号背后的成功记录[…]巴西航空工业公司推出飞鸿 300EV 的帖子首先出现在《旅行雷达 - 航空新闻》上。
这是皮尤研究中心的皮尤-奈特倡议 (Pew-Knight Initiative) 报告，该倡议是由皮尤慈善信托基金 (Pew Charitable Trusts) 以及约翰·S. 和詹姆斯·L. 奈特基金会 (John S. and James L. Knight Foundation) 联合资助的一项研究项目。在线查找相关报告：https://www.pewresearch.org/pew-knight/。主要研究员 Elisa Shearer，高级研究员Luxuan Wang，研究员 Katerina Eva Matsa，新闻与信息研究总监 Michael Lipka，新闻副总监 [...
本报告是基于以下个人的意见和分析的协作成果。 Laura Silver，全球态度研究副总监Jonathan Schulman，研究助理Laura Clancy，研究分析师William Miner，研究分析师Julia Armeli，研究助理Dorene Asare-Marfo，高级小组经理Peter Bell，设计和用户体验副总监Ethan Charlip，传播助理Janakee Chavda，副数字制作人Jonathan Evans，高级[...]
本报告是基于以下个人的意见和分析的协作成果。 Laura Silver，全球态度研究副总监Jonathan Schulman，研究助理Laura Clancy，研究分析师William Miner，研究分析师Julia Armeli，研究助理Dorene Asare-Marfo，高级小组经理Peter Bell，设计和用户体验副总监Ethan Charlip，传播助理Janakee Chavda，副数字制作人Jonathan Evans，高级[...]
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 模型上进行了推广，包括......
CLaRa: Bridging Retrieval and Generation with Continuous Latent Reasoning
检索增强生成（RAG）利用外部知识增强了大型语言模型（LLM），但仍然受到长上下文和不相交的检索生成优化的影响。在这项工作中，我们提出了 CLaRa（连续潜在推理），这是一个在共享连续空间中执行基于嵌入的压缩和联合优化的统一框架。为了获得语义丰富且可检索的压缩向量，从而减少输入生成器的文档长度，我们引入了 SCP，一种基于问答和释义的密钥保留数据合成框架......
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 内对齐它们还是直接在生成模型内对齐它们。然而，由于面向理解的特征和生成友好的潜在空间之间的根本不匹配，适应这种表示仍然具有挑战性。表示编码器受益于高维潜伏，捕捉不同的假设......
ОСК спустила на воду танкер «Алексей Шеин»
7月14日，在南加州大学涅夫斯基造船厂，为俄罗斯海军建造的中型海上油轮阿列克谢·谢因号下水。
Студенты МФТИ создали умный зонт для защиты от солнца на пляже
莫斯科物理技术学院 (MIPT) 的学生开发了一款智能沙滩伞原型，可以自动跟踪太阳的位置并全天提供固定遮阳伞。该项目是MIPT第68届全俄科学会议的参与者。该产品专为公共和私人度假村、4-5 星级酒店、海滩俱乐部以及豪华露营地和乡村度假屋的业主而设计。
«Семаргл» на «Металлообработке-2026»: российские роботы против человеческого фактора
2026年5月中旬，第26届国际金属加工展览会在莫斯科举行。该业务计划的主要参展商之一是俄罗斯生产和工程公司 Semargl（圣彼得堡），该公司展示了生产内部物流自动化的全套解决方案 - 从紧凑型移动机器人到 35 吨平台和灵活的生产系统。
4月底，在上届 MiningWorld Russia 2026 展会上，Polyus Aldan 金矿企业的新型自动化采样系统在“机器人和自动驾驶车辆 (ATC)”类别中亮相。该解决方案被公认为“实用进口替代”类别的获胜者，实际上减少了 70% 以上的体力劳动，将获得分析的时间减少了近三分之一。
JUST IN: Pentagon’s CMMC Pause Draws Praise, Criticism from Industry
7月13日，国防部暂停了网络安全成熟度模型认证计划的第二阶段要求，并启动了对该工作的审查，引起了网络领域专家的赞扬和批评。
JUST IN: Army Moving Forward with Common Missile Launcher
一位官员表示，陆军正在开发一种可以发射各种类型导弹的无人发射器，陆军希望在 8 月份就这项工作授予其他交易机构原型协议。
Identity Verification: GSA Needs to Address Fraud Threats and Technical Issues
GAO 的发现针对联邦机构和其他组织的网络攻击激增，导致被盗个人身份信息 (PII) 用于实施欺诈的风险增加。例如，恶意行为者利用这些信息欺骗性地获取政府福利并进行税务欺诈等。社会保障管理局报告称，受益人的个人信息被用来欺诈性地转移受益人的直接存款福利。被盗的 PII 还会增加金融欺诈的风险，例如欺诈性信用卡申请。在这种类型的欺诈中，窃贼使用社会安全号码和驾驶执照号码等身份数据在人们不知情的情况下开设新的金融账户。这些类型的攻击可能会导致联邦机构和金融机构的财务损失和声誉受损。为了确保获取政府服务、福利和其他资源的个人是他们声称的个人，联邦机构使用各种身份验证流程。为了支持这些努力，总务管理局
