The FAA is testing SMART, an AI system to predict air traffic congestion weeks ahead, aiming to reduce delays but raising concerns over cost and reliability.