程序员+AI=超级程序员，程序员-AI=？