Ars Technica reports that the FAA has expanded its $875 million SMART system, an AI tool advising air traffic controllers on routing and scheduling, from the Washington, DC, area to all 22 air route traffic control centers nationwide. The FAA credits it with saving time and fuel, while the controllers' union says it was not consulted on its design or rollout.