The Federal Aviation Administration launched a $875 million AI system called SMART to optimize airspace management at three major Washington D.C. airports, aiming to reduce delays and improve efficiency. The tool assists human air traffic controllers by analyzing flight schedules, weather, and other variables to prevent congestion, though critics question whether it addresses systemic staffing shortages in the air traffic control system.