FAA's air traffic plan calls for $875 million worth of AI · Digg