NBC: Treasury Department now using AI to save taxpayers billions