O Secretário de Transportes Sean Duffy anunciou esta semana que a FAA está contratando com três vendors — Palantir, Thales SA e Air Space Intelligence — para um sistema de escalonamento de voos por IA chamado SMART, que significa Strategic Management of Airspace Routing Trajectories. O sistema está sendo pitcheado em US$ 12 bilhões de gasto total, e Duffy fez questão de esclarecer o escopo na CBS: o software é consultivo, não autônomo. Ele olha semanas à frente nos horários de voo, identifica conflitos prováveis e sugere pequenos ajustes de horário — o exemplo de Duffy foi empurrar alguns voos cinco, sete ou dez minutos mais cedo ou mais tarde, 45 dias antes. Ele explicitamente disse que o software pararia antes de "substituir humanos na forma como gerenciamos o espaço aéreo".
Esse enquadramento é mais conservador do que o ciclo de notícias está tratando. A carga cognitiva real sobre um controlador de tráfego aéreo durante um turno ao vivo — separar aeronaves em segundos, lidar com go-arounds, ler o clima — não é para o que SMART deveria ajudar. Escalonamento estratégico semanas à frente é exatamente o tipo de problema de otimização lento, estruturado, de grande espaço de estados em que sistemas ML são bons: você tem a maior parte da informação relevante, as consequências de sugestões ruins são revisáveis em vez de catastróficas, e um humano sempre assina embaixo. Se você fosse introduzir IA no pipeline da FAA, a parte que roda 45 dias à frente com revisão humana completa é o ponto de entrada certo, e SMART como descrito é um design de produto sensato em vez de um salto no controle autônomo crítico para a segurança.
A história substantiva por baixo do anúncio é quais três vendors estão competindo pelo contrato. A presença da Palantir é a parte que importa politicamente: a empresa passou os últimos dois anos cimentando-se como o provedor de infraestrutura de IA federal padrão no DoD, ICE, IRS e agora aviação, e a aquisição SMART estende esse padrão. A Thales SA é a incumbente europeia de defesa e aviônica e a com mais profundidade de integração ATC legada. Air Space Intelligence é a aposta especialista menor, fundada em 2018 com foco em ML específico de aviação. A escolha do vendor vai determinar se SMART se torna um sistema de aviação sob medida, um deployment Palantir Foundry com pele de aviação, ou um híbrido. Cada caminho tem diferentes implicações de longo prazo sobre quem controla o plano de dados e quem pode auditar o comportamento do modelo.
As preocupações honestas sobre o SMART não são as alarmistas. As perguntas reais para desenvolvedores observando esse deployment são se a interface de aceitação de sugestões dá aos controladores tempo para entender o raciocínio do modelo, se os dados de treinamento cobrem a cauda longa de condições operacionais incomuns (desvios por mau tempo, fechamentos de pista, mudanças geopolíticas de espaço aéreo), e como o sistema lida com discordância quando sua sugestão entra em conflito com a intuição do controlador. Nenhuma delas é endereçada no anúncio. A FAA tem um longo histórico de deployment cauteloso de ferramentas de suporte à decisão e rollback quando elas introduzem mais risco do que removem; o rollout do SMART vale a pena ser observado como um teste do mundo real se o stack federal de aquisição e supervisão pode validar comportamento ML no nível necessário para sistemas críticos para a vida. Provavelmente sim para o caso de uso de planejamento estratégico que Duffy descreveu. Definitivamente ainda não para qualquer coisa mais próxima da torre ao vivo, independente do que a próxima administração tente reivindicar.