The FAA is set to debut SMART, an AI tool for air traffic controllers at the three airports serving Washington, D.C., with a limited rollout focused on testing and alternative route guidance.