Gary Marcus 质疑：FAA 三天前刚宣布全国部署 AI 空管工具即遭全网停飞

GaryMarcus · x · 2026-11-14

Gary Marcus 在 Substack 长文中梳理全美 FAA 停飞的背景时间线：停飞前三天（11 月 10 日），FAA 宣布将把 AI 航路规划工具 SMART 推广至全国，目标是减少延误、缩短飞行时间，FAA 称有航班因此节省 42 分钟，但报道已指出安全与监督方面的担忧；11 月 13 日晚即发生全国性地面停飞，纽瓦克机场美联航航班全部取消。Marcus 回溯自己 2022 年的警告——当时一位航空软件开发者回复称航电软件用重量级形式化方法，深度学习绝不允许靠近，否则就看 FAA 和 EASA 会不会「创新」到那种程度。Marcus 未断言停飞与 AI 工具有因果关系（CBS 报道指向 L3Harris 通信网络更新引发的重启故障，本周另有微软大规模宕机），但认为「在这一点上这一切都不该令人意外」，是硅谷傲慢与华盛顿低效的后果。