The FAA's new SMART system uses AI to predict air traffic congestion and adjust flight schedules early, but experts question if it can deliver results.