交通部长 Sean Duffy 这周宣布 FAA 正在和三家供应商签合同——Palantir、Thales SA 和 Air Space Intelligence——做一个叫 SMART 的航班排程 AI 系统，全称 Strategic Management of Airspace Routing Trajectories。整个项目报价是 120 亿美元总支出。Duffy 在 CBS 上特意澄清了范围：这个软件是咨询型的，不是自主的。它往前看几周的航班排程，找出可能冲突的地方，并建议小幅时间调整——Duffy 举的例子是把一些航班提前或推后五、七或十分钟，提前 45 天。他明确表示这个软件不会走到"取代人类管理空域"的地步。

这个定调比新闻周期处理它的方式要保守。一个执勤中的空管员真正的认知负担——几秒内分离航空器、处理复飞、读天气——不是 SMART 要帮的。提前几周的战略排程，恰恰是 ML 系统擅长的那种慢的、结构化的、大状态空间的优化问题：你掌握了大部分相关信息，糟糕建议的后果是可审查的而不是灾难性的，人始终签字。如果你要把 AI 引入 FAA 的管道，提前 45 天运行、有完整人类审查的那一段就是正确的入口，SMART 按描述来看是合理的产品设计，而不是跨进自主的安全攸关控制。

公告下面的实质故事是哪三家供应商在竞争合同。Palantir 在场，这点在政治上才是关键：这家公司过去两年里把自己稳稳坐成了联邦默认的 AI 基础设施提供者，跨 DoD、ICE、IRS，现在到航空，SMART 这个采购把这个模式延伸了。Thales SA 是欧洲的国防和航电老牌，拥有最深的传统空管整合积累。Air Space Intelligence 是更小的专精玩家，2018 年成立，专注于航空特定的 ML。选哪家供应商决定 SMART 会变成定制的航空系统、套了航空皮的 Palantir Foundry 部署，还是混合体。每条路对谁控制数据面、谁能审计模型行为都有不同的长远含义。

对 SMART 的诚实担忧不是危言耸听的那些。对观察这次部署的开发者来说，真正的问题是：建议接受界面是否给空管员留够时间去理解模型的推理；训练数据是否覆盖不寻常运行情境的长尾（恶劣天气改航、跑道关闭、地缘政治空域变动）；当模型建议和空管员直觉冲突时，系统怎么处理分歧。这些公告里都没回答。FAA 在谨慎部署决策支持工具、并在引入风险大于消除风险时回滚这件事上有很长的记录；SMART 部署值得观察，作为联邦采购和监督栈是否能在生命安全系统所需的层级上验证 ML 行为的现实测试。对于 Duffy 描述的战略规划用例，大概率可以。对于任何更接近实时塔台的东西，绝对还不行，不管下一届政府试图怎么宣称。