Interactive Proofs for General Distribution Properties
假设 Alice 从未知分布中收集了少量样本，并且想了解该分布。鲍勃是一位不受信任的数据分析师，他声称已经对分布进行了复杂的数据分析，并对其属性做出了断言。 Alice 何时以及如何有效地验证 Bob 的声明（使用比自己运行分析所需的资源更少的资源）？我们为可以由有界深度电路决定的一般分布属性构建了交互式证明系统。取 N 为分布的上限...
CLaRa: Bridging Retrieval and Generation with Continuous Latent Reasoning
检索增强生成（RAG）利用外部知识增强了大型语言模型（LLM），但仍然受到长上下文和不相交的检索生成优化的影响。在这项工作中，我们提出了 CLaRa（连续潜在推理），这是一个在共享连续空间中执行基于嵌入的压缩和联合优化的统一框架。为了获得语义丰富且可检索的压缩向量，从而减少输入生成器的文档长度，我们引入了 SCP，一种基于问答和释义的密钥保留数据合成框架......
PPIC Statewide Survey: Californians and the Environment
最新调查的主要结果包括： 最有可能的选民支持泽维尔·贝塞拉而不是史蒂夫·希尔顿，并表示环境问题是他们选择州长的因素之一。大多数可能的选民认为，国家应该放松土地使用和环境限制，以增加住房供应。大多数加州人反对在他们的地区建设人工智能数据中心。
A better way to turn 2D designs into 3D models for rapid prototyping
研究人员开发了一个自动化框架，可以帮助 AI 模型更准确、更高效地生成 CAD 程序。
Сухопутные войска Индонезии получили два новых вертолета Ми-17В-5
印度尼西亚陆军航空中心为其机队补充了两架由喀山直升机厂 JSC（KVZ；俄罗斯直升机控股公司 Rostec）生产的新型 Mi-17V-5 运输和攻击直升机。
NBC News: реальные расходы США на конфликт с Ираном могли достичь 100 млрд. долларов
美国对伊朗军事行动的实际支出在80至1000亿美元之间，是五角大楼官方承认的金额的三倍多。
Совет по оборонным закупкам Минобороны Индии одобрил приобретение средств ПВО, ПТРК и БЛА
印度国防采办委员会（DAC）7月3日批准了多项采购计划，表明该国越来越注重打造分层防空系统、打击无人机和确保部队保护。
Ботулинотерапия: хроническая мигрень под контролем
由医学博士、Nacimbio Holding 科学顾问 Igor Nikitin 讲述
Более 30 выпускников-целевиков вузов Башкортостана пополнят коллектив ОДК-УМПО
学生学习发动机制造所需的工程专业：“航空发动机”、“机械工程”、“标准化与计量”等
Отечественный ИИ поможет университетам выявлять прогульщиков
NtechLab 开发分析观众诈骗者的视频流并确定讲座访客数量
Сотрудники ОДК поборются за медали чемпионата «Время первых»
今年，来自13家企业的60名员工和专家将参加主赛段的比赛。
Стекло, керамика и композиты: три научных кита «Технологии»
Rostec 国家公司奥布宁斯克企业各科学学院的创建、创始人和主要发展历史
«Росэл» представил линейку продуктов для ключевых отраслей экономики Тверской области
本次演示是在 Rostec 国营公司区域任务的框架内进行的，并得到了地方政府的支持
今年5月，ROBOPRO集团推出了协作机器人（cobots）新品牌DOKA ROBOTS。它的展示在金属加工行业最重要的国内盛会 Metalworking 2026 展会上进行。请阅读我们对 ROBOPRO 集团公司技术总监 Alexander Voronin 和营销部门负责人 Alexander Kormishin 的采访，详细了解其外观背后的内容以及将新品牌推向市场的战略目标是什么。
Россия поставит Белоруссии 100 автономных грузовиков для запуска первого беспилотного автопарка
俄罗斯将向白俄罗斯供应由 EvoCargo 开发的自动驾驶电动卡车 Evocargo N1。该项目将是俄罗斯解决方案在欧亚经济联盟国家自主物流领域的首批出口实施之一，并预计随后将这种做法扩展到国外市场。
4月底，在上届 MiningWorld Russia 2026 展会上，Polyus Aldan 金矿企业的新型自动化采样系统在“机器人和自动驾驶车辆 (ATC)”类别中亮相。该解决方案被公认为“实用进口替代”类别的获胜者，实际上减少了 70% 以上的体力劳动，将获得分析的时间减少了近三分之一。
6 月 2 日，科学与社会团队出席了由美国国家科学院院长 Marcia McNutt 在华盛顿特区发表的第三届年度科学状况演讲。她谈到了美国科学研究生态系统的现状，随后举行了由立法者、研究人员、慈善家和行业领袖参加的小组讨论。她的建议为展望科学的发展方向和检查阿斯彭研究所科学与社会项目综合平台的工作提供了有用的视角。在接下来的章节中，我们将重点介绍我们的工作如何为推进 McNutt 发现的许多机会做出贡献。《迎接 McNutt 2026 年愿景的挑战：科学与社会如何加强研究生态系统》一文首先出现在阿斯彭研究所。
