AI just solved an 80-year-old ‘Erdős problem,’ and mathematicians are amazed
聊天机器人对 80 年前的“单位距离”猜想的结果是第一个人工智能证明，如果人类单独完成的话，很可能会在数学顶级期刊上发表
Can math predict the end of humanity? Inside the ‘doomsday argument’
这个极其简单的数学表明我们的日子屈指可数了，但没有人能同意为什么它是错误的
Who is Embo, the enigmatic villain in 'The Mandalorian & Grogu'?
在新的星球大战电影中追捕丁贾林和格罗古的外星赏金猎人对于普通粉丝来说可能是一个谜，但他并不是一个新人。
Microsoft Defender vulnerabilities are being exploited in the wild
CISA 在其 KEV 目录中添加了七个已知的可利用漏洞，其中包括两个 Microsoft Defender 缺陷。
Is Norse Atlantic up for sale? What we know so far
据报道，北欧大西洋航空公司的所有者正在寻找愿意购买该航空公司的投资者......该帖子北欧大西洋航空公司正在出售吗？迄今为止我们所知道的信息首先出现在 AeroTime 上。
Video Interview: Todd Jensen & Victor Lopez, Aeras Aviation
在这段视频采访中，Aeras Aviation 战略与发展执行副总裁 Todd Jensen 和运营执行副总裁 Victor Lopez 讨论了公司的...视频采访后：Aeras Aviation 的 Todd Jensen 和 Victor Lopez 首先出现在《航空商业新闻》上。
Mathematica’s Carol Irvin Receives Inaugural Medicaid Data Impact Award
Mathematica 高级研究员 Carol Irvin 荣获 AcademyHealth 首届医疗补助数据学习网络数据影响力奖，以表彰她在有意义地推动医疗补助领导者利用数据来为政策提供信息、改进计划以及做出有关护理获取、质量和成本的决策方面所做的工作。
OpenAI IPO：华尔街正在进入2022年以来最大规模的IPO浪潮。OpenAI、SpaceX、Anthropic、Shein和昆仑欣合计可能筹集近2000亿美元。 OpenAI 可能会在 SpaceX 上市之前申请 IPO。这改变了整个人工智能市场的竞争。投资者现在比以往任何时候都更加密切地关注萨姆·奥尔特曼、埃隆·马斯克和 Anthropic。这些大型首次公开募股可能会重塑英伟达、微软、纳斯达克、人工智能股票、科技估值和全球市场。这场战斗不再仅仅关乎创新。这是关于谁控制下一个万亿美元经济的问题。
UW selects Justin Michalka as Vice President for University Development
华盛顿大学负责大学发展的高级副校长 Mary Gresch 今天宣布，Justin Michalka 被任命为华盛顿大学负责大学发展的副校长。 Michalka 的任命自 2026 年 7 月 1 日开始。
Fake malware-signing service Fox Tempest dismantled by Microsoft
该服务允许恶意软件作者使用 Microsoft 颁发的欺诈性证书签署恶意文件，以绕过安全检查。
Ontic names former Bombardier executive Jean-Christophe Gallagher CEO
Ontic 任命 Jean-Christophe “JC” Gallagher 为首席执行官，这家航空航天供应商正在采取措施实现下一阶段目标……Ontic 任命前庞巴迪高管 Jean-Christophe Gallagher 为首席执行官的帖子首先出现在 AeroTime 上。
据汇丰银行称，马哈拉施特拉邦和德里降低航空涡轮燃油 (ATF) 的增值税可能会为印度航空公司带来有意义的成本缓解，该银行表示，此举影响到占该国国内航空运输量约 37% 的机场。该券商估计，减税可能会使运营 IndiGo 品牌的 InterGlobe Aviation 的燃油成本降低 120 亿卢比至 150 亿卢比。 SpiceJet 的燃油费用可能会节省 10 亿卢比至 20 亿卢比，而印度航空的燃油费用可能会减少 80 亿卢比至 100 亿卢比。 Akasa Air 可能受益 20 亿卢比至 30 亿卢比。马哈拉施特拉邦已将 ATF 增值税从 18% 下调至 7%，而德里则将税率从 25%
周二，最高法院允许 SpiceJet 及其董事总经理 Ajay Singh 就其与 Kalanithi Maran 和 KAL Airways 之间长期存在的仲裁纠纷再次向德里高等法院提起诉讼。鉴于西亚石油危机，该航空公司援引了政府最近为航空业提供的紧急信贷额度担保计划。法官 PS Narasimha 和 Alok Aradhe 表示，“我们允许请愿者根据后续事态发展，例如 2026 年 5 月 5 日的政府命令，向高等法院提出请求。”法院进一步指出，后续事态发展涉及与紧急信贷额度担保相关的政策决定，并表示高等法院可能会考虑该请求7 月 18 日，第 34 号请愿书被列入最终处置名单。此事源于
Ontic appoints Jean-Christophe Gallagher as new CEO
Ontic 任命 Jean-Christophe Gallagher 为首席执行官，以推动全球增长并深化合作伙伴关系，而 Gareth Hall 则担任执行董事长。Ontic 任命 Jean-Christophe Gallagher 为新首席执行官的消息首先出现在 AeroMorning 上。
Deploying a Multistage Multimodal Recommender System on Amazon Elastic Kubernetes Service
在 Amazon EKS 上构建和部署多级多模态推荐系统的实用演练，涵盖数据管道、模型训练、布隆过滤器、特征缓存和实时排名。在 Amazon Elastic Kubernetes Service 上部署多级多模态推荐系统一文首先出现在 Towards Data Science 上。
