Mathematicians Give Famed 'Erdős Method' an Upgrade
Leila Sloman，Quanta 1947 年，匈牙利巡回数学家 Paul Erdős 推出了后来成为数学最强大工具之一的东西。他想证明某种……
macOS.Gaslight: North Korea-Linked Malware That Tries to Gaslight the Analyst
macOS.Gaslight：适用于 Mac 的 DPRK Rust 植入程序，带有提示注入负载，旨在愚弄基于人工智能的恶意软件分析师。 SentinelLabs 研究人员发现了一个基于 Rust 的 macOS 植入程序，称为 macOS.Gaslight，该植入程序于 6 月初出现，此前 Apple XProtect 更新指向 5 月 22 日上传的 VirusTotal 样本。当时静态引擎未检测到该二进制文件 [...]
Wheels Up to launch Surf Air AI charter broker platform
Wheels Up（WUP，泰特波罗）将成为 Enterprise BrokerOS 的启动客户，Enterprise BrokerOS 是由 Surf Air（URF，圣莫尼卡）开发并由 Palantir 的 Foundry 和 AI 平台提供支持的包机经纪产品。 “此次合作是巩固 Wheels Up 作为私人航空领域人工智能最先进公司的决定性一步。 Wheels Up 首席执行官 George Mattson 表示：“这项技术是市场上的竞争优势，而不是后台功能。”该协议最初为期两年，并可选择第三年，根据该协议，Surf Air...
Croatia Airlines suspends new route weeks after launch
克罗地亚航空 (Croatia Airlines) 暂停了杜布罗夫尼克和斯图加特之间的一条新的季节性夏季航线，该航线开通不到一个月。该旗舰航空公司于 5 月 22 日开通了这项服务，比原计划晚了近三周，并计划在夏季结束之前每周使用空客 A319 飞机执飞两趟航班。然而，该航线于 6 月 8 日首次暂停，停运了 10 天，然后于 6 月 19 日和 6 月 22 日短暂恢复航班。此后，该航线再次暂停，预计要到 7 月 31 日才会恢复，预计届时将恢复每周两班的定期运营，但时间表仍有可能发生进一步变化。克罗地亚航空今年夏天唯一一条往返于斯普利特和南特的新航线继续按计划运营。与此同时，该航空公司还停
Delta Entering $384 Million Newark–Los Angeles Market Dominated by United
达美航空 (DL) 将于 2027 年 4 月开通往返于纽瓦克自由国际机场 (EWR) 和洛杉矶国际机场 (LAX) 的直飞航班。达美航空进军由美联航主导、价值 3.84 亿美元的纽瓦克-洛杉矶市场的消息首先出现在 Aviation A2Z 上。
Norse Atlantic Expands Capacity from UK to Thailand
Norse Atlantic 宣布扩大从英国到泰国的运力，以满足不断增长的季节性旅行需求。作为运力增加的一部分，该航空公司宣布将于今年冬季推出一条全新的季节性航线，以及另一条成功的季节性航线的回归。北欧大西洋新航线，长途、低成本[…]后北欧大西洋扩大从英国到泰国的运力首先出现在旅行雷达 - 航空新闻上。
SpatialClaw: NVIDIA’s new approach to AI spatial reasoning
SpatialClaw 是 NVIDIA Research 最新的 AI 框架，使代理能够通过可执行的 Python 代码编写、执行和完善自己的推理，而不是依赖预定义的工具调用。该方法无需额外培训即可在复杂的 3D 和 4D 任务中显着提高空间智能。
НОВИКОМ повышает доступность покупки жилья для сотрудников предприятий
银行、Plastmass 工厂和开发商公司之间的协议规定了在特殊条件下购买公寓的可能性
OpenAI выпустила свой первый чип Jalapeño — и намекнула Nvidia, что скоро станет жарко
OpenAI 发布了首款 Jalapeo 芯片 - 并向 Nvidia 暗示事情很快就会变得热门
Тест 1935 года обнаружил у GPT-4o и Claude то, что мы считали чисто человеческой слабостью
聊天机器人撰写论文和代码。但命名字母的颜色却变得更加困难......
在时代中心，Anthropic 的杰克·克拉克 (Jack Clark) 论证了涌向我们的技术是可以治理的。事后反思，塞缪尔·金布里尔（Samuel Kimbriel）围绕着一个核心问题：它是否可以由我们来治理。 后人工智能或民主首先出现在阿斯彭研究所。
Media: Autonomous Detect-and-Avoid Capabilities Demonstrated with Expanded Flight Tests | UST
媒体：无人驾驶系统技术涵盖 FlightHorizon PILOT 检测与回避飞行测试 无人系统技术最近报道了 Vigilant Aerospace Systems 对 FlightHorizon PILOT 的扩展飞行测试，FlightHorizon PILOT 是该公司用于无人驾驶飞机系统 (UAS) 的机载检测与回避 (DAA) 系统。该文章重点介绍了自主 DAA 功能最近在现实世界中的演示，包括民用和军用配置的测试。报道[…]帖子媒体：通过扩大的飞行测试展示了自主检测和避免能力| UST 首先出现在 Vigilant Aerospace Systems, Inc. 上。
World of Migration: Why Is Sudan's Humanitarian Crisis Largely Invisible?
苏丹正在经历世界上最严重的流离失所危机，但全球关注度和资金仍然严重不足。在本期《移民世界》中，主持人约翰·托恩·马约克 (John Thon Majok) 与 OLAM 非洲研究所的玛格丽特·莫尼亚尼 (Margaret Monyani) 讨论了苏丹危机为何被忽视、区域溢出效应以及需要采取哪些有效的国际应对措施。
Salaknib 2026: Joint Planning and Digital Integration Drive Operational Maneuver
菲律宾麦格赛赛堡 — 一队重型装甲车和战术车辆穿越吕宋岛，无可否认地展示了战斗力......
Optimize model training on Amazon SageMaker AI with NVIDIA Blackwell
本文向您展示如何在 Amazon SageMaker AI 上配置训练作业，以充分利用 AWS 上的 Blackwell 架构。您将学习如何选择利用 Blackwell 扩展内存的批量大小和序列长度，为您的模型大小（1B 至 64B 参数）选择正确的精度格式，以及策略性地应用激活检查点。最后，您将拥有一个实用的框架，用于调整训练配置并在 P6-B200 实例上启动分布式训练作业。
China dumping more rocket bodies in space, endangering low Earth orbit satellites: Report
过去四年里，三枚中国火箭弹体发生了爆炸，产生了危险的碎片，这些碎片“将持续数十年至数百年，可能会与其他太空物体相撞”，LeoLabs 研究作者达伦·麦克奈特 (Darren McKnight) 告诉《Breaking Defense》。
Vector RAG Isn’t Enough — I Built a Context Graph Layer for Multi-Agent Memory
我在相同的多代理对话上对原始聊天历史记录、纯矢量 RAG 和上下文图进行了基准测试。结果暴露了关系检索中的一个令人惊讶的弱点。Vector RAG isn't Enough — I Building a Context Graph Layer for Multi-Agent Memory 首先出现在 Towards Data Science 上。
Want a solar generator without spending $2,000? This EcoFlow bundle is $599 for Prime Day
EcoFlow Delta 3 Classic 和太阳能电池板套装在亚马逊 Prime Day 期间可享受 40% 的折扣。
