单一来源
当前只有一个可用来源，尚未完成多源交叉核验美国航班大停飞 不是网络攻击，问题出在哪里？
将德国之声设置为Google的首选消息源
（德国之声中文网）美国联邦航空管理局（FAA）周五晚上（11月13日）解除了全美停飞令。
不过，美国交通部长达菲（Sean Duffy）表示，航班只能逐步恢复，航空公司仍需要时间才能恢复正常运营。分析人士指出，这次持续约四小时的全国性停飞，可能在未来数天继续扰乱航班安排。
根据航班追踪网站Flightradar24的数据，当天有近1万架次航班被取消。其中，达美航空和美国航空各有超过2200架次航班取消。美国交通部长达菲表示，全国各地机场有数万名旅客滞留。
美客机与军机相撞坠河 摄像头捕捉撞击瞬间
另据航班追踪网站FlightAware的数据，周五有超过4500架次航班取消，周六约有700架次航班取消。
此次故障再次暴露美国空中交通管制系统长期存在的问题，包括技术和设备老化、通信故障，以及数千名空管人员的短缺。达菲表示周五下午开始出现故障。当时，空中交通管制中心的雷达和通信系统开始出现不稳定情况。
拓展阅读——迪拜航空劫机案副驾驶 去年曾因思想极端被停飞？
官方排除网络攻击迹象
美国国土安全部长马林表示，目前没有迹象表明，此次通信系统故障与网络攻击或人工智能有关。他强调，公众的安全始终没有受到威胁。美国官员预计，航空系统有望在11月26日感恩节前恢复正常。感恩节前后正值美国一年一度的出行高峰，也是全年航空客运最繁忙的时期之一。
这是自911恐袭事件以来，美国第二次全国范围地面停飞。2023年1月，美联邦航空局因电脑系统故障命令所有国内航班停止起飞，持续时间不到两个小时。
MH370：航空史上最大的谜团是否即将解开？
（路透社，美联社等）
Evidence
来源与证据
当前仅有一个可用来源，尚未完成多源交叉核验。
- 发布时间
- 内容处理
- AI 翻译 / 摘要，需结合原文核对
相关资讯
英特尔联合 23 家韩国企业成立“K-AI 全栈联盟”，构建 AI 基础设施生态
IT之家 11 月 14 日消息，据韩媒 The Elec 报道，英特尔于 11 月 12 日在首尔 COEX 举办的“2026 英特尔人工智能峰会”上，宣布联合 23 家韩国本土企业正式成立“K-AI 全栈联盟”。K-AI 全栈联盟是以英特尔为核心、由多家韩国本土 AI 企业组成的广泛产业联合体，旨在为韩国构建一套覆盖完整技术栈的综合性 AI 生态系统，联盟成员将在硬件、软件、行业专属 AI 解决方案及服务等全产业链领域开展合作，旨在共同构建面向韩国市场的主权 AI 与开放式 AI 基础设施生态。IT之家获悉，首批加入的 23 家企业覆盖韩国本地服务器制造商（如 KTNF）、AI 芯片与 N
华为麒麟 9050 系列新马良 GPU、AI ISP 情报公开：实装二代硬件光追，首次实现 2 亿像素融合拍照
IT之家 11 月 14 日消息，华为官方今日继续揭秘首款「逻辑折叠」技术 τ 芯片 —— 麒麟 9050 系列更多配置信息，目前最新公开了新一代马良 GPU 和麒麟 AI ISP 的情报。据介绍，麒麟 9050 系列搭载新一代马良 GPU，实现性能、能效与图形体验的升级。其采用第四代 GPU 微架构，GPU 性能 40%、功耗 45%。系列新芯支持第二代硬件光追，光追性能提升 78%：第二代光线追踪硬加速，拥有高性能光追硬加速计算单元；BVH 硬加速单元，支持几何加速结构实时重建；FERT 求交硬加速，支持专利求交算法与硬加速；AO 加速管线，可以让环境光遮蔽阴影效果更加逼真。另外，麒麟 9
谷歌利用多个专业 AI 智能体打造 Teamwork 系统，成功验证多项复杂数学证明
IT之家 11 月 14 日消息，谷歌宣布进一步扩展旗下 Antigravity 多智能体系统，利用多个由 Gemini 模型驱动的专业智能体组成 Teamwork 系统，号称可解决“长期悬而未决的数学难题”、“验证复杂数学证明”，并优化各种软件系统性能。例如，谷歌已成功对韦伊猜想（Weil conjectures）进行形式化证明。这是一组关于有限域上多项式方程解的数量的重要数学结论，最初由数学家皮埃尔 · 德利涅（Pierre Deligne）于 1974 年证明。谷歌 Teamwork-LEAP 系统通过约 2.88 万次子智能体调用，累计生成约 180 万行 Lean 代码，完成了相关数
华为诺亚团队登顶 2026 BEHAVIOR-1K 具身智能挑战赛冠军
华为诺亚具身智能团队凭借 HiPhys-RSI 方案，在 BEHAVIOR-1K Challenge 2026 国际具身智能挑战赛中从 57 支全球团队中夺冠，在 100 项家庭隐藏测试任务中取得约 0.683 的 Q-score 和 48.2% 的完整任务成功率。该赛事依托斯坦福李飞飞团队开发的基准平台，联动机器人顶会 CoRL 2026 举办，聚焦长时序复杂家庭任务评测机器人综合能力。团队提出分层物理递归自我改进框架，探索区别于传统大模型数据算力缩放的结构化缩放路径，通过编程智能体积累可复用的结构化可执行知识，实现全品类任务表现优于对照 VLA 方案，同时也验证了该路径的迁移能力与现存瓶颈
AI 翻译、摘要和解读仅用于辅助判断；涉及重要决策时，请回到上方来源核实。