Maryna Viazovska’s proofs of sphere packing formalized with AI
玛丽娜·维亚佐夫斯卡。图片来源：EPFL 2026。为 EPFL 教授 Maryna Viazovska 赢得 2022 年菲尔兹奖的证明达到了一个新的里程碑：通过数学家和人工智能工具之间的合作，通过计算机完成了它们的形式化。 2016 年，Maryna Viazovska 解决了 8 维球体堆积问题，证明了 E₈ 晶格 [...]
Alum and film producer Luke Kelly-Clyne on his path to the entertainment industry
作为 Stories That Matter 系列的一部分，Luke Kelly-Clyne 将于 4 月 30 日星期四返回约翰霍普金斯大学，放映他的新喜剧纪录片“Deepfaking Sam Altman”，并与学生分享职业建议
蜘蛛 Mecynogea lemniscata (Araneidae) 的同型选型交配在时间尺度上是一致的。摘要识别大小选型交配 (SAM) 模式表明了种群中遗传变化的方向。在种群中估计它的一个可靠方法是测量繁殖季节内和繁殖季节之间的交配种类，以及描述时间尺度上雄性和雌性体型的变化，以避免辛普森悖论。我们评估了 Mecynogea lemniscata 蜘蛛的性别大小二态性、个体发育的影响、性别内的体型差异、季节内和季节间 SAM 的一致性以及雄性配偶选择。我们在桉树种植园的两个繁殖季节和第二个季节的四个时期收集了交配对。我们测量了蜘蛛的体重和甲壳宽度。雄性比雌性成熟得早，并保护亚成体伴侣。尽
Govt amends ATF rules, allows synthetic fuel blending; aligns norms with global standards
石油和天然气部修订了航空涡轮燃料 (ATF) 规则，允许与合成燃料混合，此举旨在支持清洁和替代航空能源。 4 月 17 日的通知修订了《航空涡轮燃料（营销监管）令》，以使印度的燃料框架与不断发展的全球标准和技术保持一致
Flynas pauses Pristina service
新闻快讯沙特阿拉伯低成本航空公司 Flynas 已暂停吉达和普里什蒂纳之间的服务。这些航班于去年10月1日启动，一直维持到4月12日。它们预计于9月3日至10月23日恢复。10月25日开始的即将到来的2026/27冬季航班尚未安排。EX-YU航空新闻
How New York Gov. Hochul’s proposed Zyn tax could encourage smoking, undermine public health
州长 Kathy Hochul 提议扩大纽约州对烟草制品征收 75% 的批发税，将更安全的尼古丁袋纳入其中。纽约州长 Hochul 提议的 Zyn 税如何鼓励吸烟、破坏公共健康的帖子首先出现在 Reason Foundation 上。
Olfactory learning in two Amblypygi species Paraphrynus laevifrons and Phrynus pseudoparvulus
两种钝蝽物种 Paraphrynus laevifrons 和 Phrynuspseudoparvulus 的嗅觉学习摘要节肢动物类群的广泛多样性已经证明了学习能力，但我们目前的大部分理解仅来自这个高度多样化的进化枝的选定子集，大多数研究集中于不同的昆虫类群。然而，钝尾动物（钝尾目，蛛形纲）正在成为研究感觉统合以及与学习和记忆相关的神经基质（尤其是与导航相关）的模型群体。这些夜行生物拥有特殊的感觉附属物和节肢动物中最大、最复杂的蘑菇体之一——节肢动物大脑中与学习和记忆相关的部分。先前对多个物种的实地研究表明了复杂的归巢能力，而基于实验室的边缘斑蜥的行为分析证实了与避难所相关的基于嗅觉的学习。在
Isodapedon varzealis Schiefelbein、Garcia、Doering & Müller，2026DOI：doi.org/10.1098/rsos.260176 Caio Fantini 的艺术品。摘要我们描述了 Isodapedon varzealis gen。等十一月，来自巴西南部坎德拉里亚序列卡尼期沉积物的一种新的超足齿龙类。系统发育分析将该分类群置于已知的南美洲超足足动物之外，包括马里安大头龙和“超足足动物”物种，并支持将超足足动物属限制为其模式种，从而揭示了该类群内比以前认识到的更大的多样性。瓦氏等水蚤 (Isodapedon varzealis)等十一月其
Андрей Сойнов возглавит Иркутский авиационный завод
新任首席执行官将于 2026 年 4 月 20 日就任
Saudi Arabia's flynas to accelerate Syrian JV launch
本文仅适用于订阅商业航空新闻、运营商和机场数据
flynas Tops Global A320neo Reliability with 99.78% Score, Airbus Data Reveals
根据空客最近的数据，沙特阿拉伯的 Flynas 在全球 A320neo 运营商中创下了最高的运营可靠性数据。空客数据显示，后 Flynas 以 99.78% 的得分位居全球 A320neo 可靠性榜首。
Air New Zealand’s Economy Skynest: Long-Haul Travel Gets a Major Upgrade
新西兰航空世界首创的经济型 Skynest™ 将在该公司的新型波音 787-9 梦想客机上运行，该飞机将于 11 月起升空。新西兰航空的经济型 Skynest：长途旅行获得重大升级一文首先出现在 AviationSource News 上。
2026年4月15日，俄罗斯国际事务委员会（RIAC）与Synergy基金会（印度班加罗尔）共同举办了“中东危机：对俄罗斯和印度的后果”圆桌会议。两国政府机构和科学界代表出席活动
Air New Zealand Skynest beds on sale from next month
从 12 月开始，该航空公司的全新 787-9 梦想客机机队将首先在奥克兰-纽约航线上提供该服务，每架飞机将提供 6 个吊舱，每架航班的经济舱和豪华经济舱乘客可享受两次时长为 4 小时的服务，起价为 495 澳元，预订将于 5 月 18 日开放。
Air New Zealand to sell Skynest sleep pods for economy travelers starting May
新西兰航空宣布将开始出售其经济型 Skynest 睡眠舱的使用权，该舱是一组六张平躺式舱……新西兰航空将从 5 月开始向经济舱旅客出售 Skynest 睡眠舱的帖子首先出现在 AeroTime 上。
Air New Zealand to launch world-first Economy Skynest on Boeing 787-9
新西兰航空已确认其备受期待的经济舱 Skynest™ 将于 2026 年 5 月 18 日开始销售，这标志着在长途旅行舒适度方面向前迈出了一大步。该创新产品将于 2026 年 11 月在该航空公司的新型波音 787-9 梦想客机机队中首次亮相，其特点是六个平躺式睡眠舱，以双层式布局排列在 [...]
Boston Dynamics and Google DeepMind Teach Spot to Reason
机器人令人惊奇又令人沮丧的一点是，只要你知道如何正确提出要求，它们几乎可以做你想让它们做的任何事情。在不久的过去，正确地提出问题意味着编写代码，虽然我们已经超越了这个脆弱的限制，但易用性和任务复杂性之间仍然存在令人恼火的负相关关系。人工智能承诺改变这一现状。这个想法是，当人工智能体现在机器人中时——赋予人工智能软件在世界上的物理存在——这些机器人将充满推理和理解能力。不过，这是前沿的东西，虽然我们已经在研究环境中看到了大量嵌入式人工智能的例子，但找到推理机器人可以提供可靠商业价值的应用并不容易。波士顿动力公司是少数几家大规模商业部署腿式机器人的公司之一。现在有数千人正在努力工作。今天，该公司宣
