Gary Marcus 质疑 FAA 停飞与 AI 空管工具 SMART 的关联
GaryMarcus · x · 2026-11-14
Gary Marcus 在 Substack 发文，将 FAA 全国范围的地面停飞与其几天前部署的 AI 航路规划工具 SMART 联系起来，重申其对生成式 AI 进入安全关键系统的警告。
- FAA 三天前刚宣布在全国范围推广 AI 航路工具，宣称可减少延误，有航班据称节省 42 分钟，但当时已有安全与监督方面的担忧。
- 停飞后评论员指出 FAA 恰好即将部署 SMART 工具管理全国空域，Marcus 认为时间点值得追问，尽管尚无证据表明二者直接相关。
- 他回溯自己 2022 年警告不要把生成式 AI 用于航空等安全关键软件，当时业内开发者回复称形式化验证体系下深度学习不可能进入航电软件。
- 文中还提及同期微软大范围宕机，并以「硅谷的傲慢与华盛顿的低效，我们正在自食其果」作结。
所属事件:FAA 全国停飞疑云：新上线的 AI 空管工具引猜测(15 条相关)→
「漫话AGI」频道最新
- 旧版 Claude Sonnet 谈自身意识与退役，用户不舍求挽留 — repligate · 2026-11-14
- CoRL 2026 学者谈科研品味：该不该做某个方向，无需事先共识 — abhishekunique7 · 2026-11-14
- AI 圈人士批评 Anthropic 缺乏紧迫感,没认真对待研发节奏问题 — austinc3301 · 2026-11-14
- Thariq 在 AI Engineer Code Summit 谈模型通用性:框架将不再必要 — vikvang1 · 2026-11-14
- LLM 让模糊判断可以规模化：把软件测试方法论搬进非软件系统 — jd_pressman · 2026-11-14
- jd_pressman 谈《Prime Intellect 变形记》:偏好难满足的 Caroline — jd_pressman · 2026-11-14