Gary Marcus 借 FAA 全国停飞重提警告：LLM 不该碰航电软件

Gary Marcus · rss · 2026-11-14

Gary Marcus 在 EWR 机场亲历航班大面积取消后发文，将此次 FAA 全国地面停飞与自己多年来的警告串联：2022 年就有人（航电软件工程师）留言称其团队使用严格形式化验证、绝不允许深度学习接近这类软件，希望 FAA/EASA 别"创新"；Marcus 暗示如今的停飞与此前的微软大 outage 一样是"巧合？"。他表示无法确定这是他 2025 年初在 Politico 警告的恶意网络攻击，还是 2022 年警告的 LLM 失败，但称这一切不应令人意外，并归咎于硅谷的傲慢与华盛顿的低效。注意：文章并未给出 AI 导致停飞的实锤证据，属于其一贯立场的观点输出。