Aer 20160696
Aer 20160696
https://doi.org/10.1257/aer.20160696
        The accelerated automation of tasks performed by labor raises concerns that new
     technologies will make labor redundant (e.g., Brynjolfsson and McAfee 2014; Akst
     2013; Autor 2015). The recent declines in the labor share in national income and
     the employment to population ratio in the United States (e.g., Karabarbounis and
     Neiman 2014; Oberfield and Raval 2014) are often interpreted as e vidence for the
     claims that as digital technologies, robotics, and artificial intelligence p enetrate the
     economy, workers will find it increasingly difficult to compete against machines,
     and their compensation will experience a relative or even absolute decline.
                                                         1488
VOL. 108 NO. 6            ACEMOGLU AND RESTREPO: THE RACE BETWEEN MAN AND MACHINE        1489
   1
       Charlotte Curtis, “Machines vs. Workers,” The New York Times, February 8, 1983.
1490                                              THE AMERICAN ECONOMIC REVIEW                              JUNE 2018
10%
5%
0%
−5%
  existing jobs , within each occupational category. In 2000, about 70 percent of com-
  puter software developers (an occupational category employing one million people
  at the time) held new job titles. Similarly, in 1990 “radiology technician” and in 1980
  “management analyst” were new job titles. Figure 1 shows that occupations with
  10 percentage points more new job titles (which is approximately the sample average
  in 1980) experienced 0.41 percent faster employment growth between 1980 and
  2015. This estimate implies that about 60 percent of the 50 million or so jobs added
  during this 35-year period are associated with the additional employment growth in
  occupations with new job titles (relative to occupations with no new job titles).2
      We start with a static model in which capital is fixed and technology is
exogenous. There are two types of technological changes: automation allows firms
 to substitute capital for tasks previously performed by labor, while the creation
 of new tasks enables the replacement of old tasks by new variants in which labor
 has a higher productivity. Our static model provides a rich but tractable frame-
 work that c larifies how automation and the creation of new tasks shape the pro-
 duction p ossibilities of the economy and determine factor prices, factor shares in
 national income, and employment. Automation always reduces the labor share and
 employment, and may even reduce wages.3 Conversely, the creation of new tasks
     2
       The relationship shown in Figure 1 controls for the demographic composition of employment in the occupation
in 1980. In online Appendix B, we show that the same relationship holds between the share of new job titles in
1990 (in 2000) and employment growth from 1990 to 2015 (from 2000 to 2015), and that these patterns are p resent
without any controls and when we control for average education in the occupation and the structural changes
 in the US economy as well. The data for 1980, 1990 and 2000 are from the US Census. The data for 2015 are
 from the American Community Survey. Additional information on the data and our sample is provided in online
 Appendix B.
     3
       The effects of automation in our model contrast with the implications of factor-augmenting technologies.
As we discuss in greater detail later and in particular in footnote 19, the effects of factor-augmenting technologies
VOL. 108 NO. 6            ACEMOGLU AND RESTREPO: THE RACE BETWEEN MAN AND MACHINE                                1491
   increases wages, employment, and the labor share. These comparative statics follow
   because factor prices are determined by the range of tasks performed by capital and
   labor, and shifts in technology alter the range of tasks performed by each factor
   (see also Acemoglu and Autor 2011).
         We then embed this framework in a dynamic economy in which capital
   accumulation is endogenous, and we characterize restrictions under which the
    model delivers balanced growth with automation and creation of new tasks , which
    we take to be a good approximation to economic growth in the United States and
    the United Kingdom over the last two centuries. The key restrictions are that there
    is exponential productivity growth from the creation of new tasks and that the two
    types of technological changes (automation and the creation of new tasks) advance
    at equal rates. A critical difference from our static model is that capital accumulation
    responds to permanent shifts in technology in order to keep the interest rate
    and hence the rental rate of capital constant. As a result, the dynamic effects of
    technology on factor prices depend on the response of capital a ccumulation as well.
     The response of capital ensures that the productivity gains from both a utomation and
     the introduction of new tasks fully accrue to labor (the relatively inelastic factor).
     Although the real wage in the long run increases because of this productivity effect,
     automation still reduces the labor share and employment.
         Our full model endogenizes the rates of improvement of these two types of
     technologies by marrying our task-based framework with a directed technological
      change setup. This full version of the model remains tractable and allows a complete
      characterization of balanced growth paths. If the long-run rental rate of capital is very
      low relative to the wage, there will not be sufficient incentives to create new tasks,
      and the long-run equilibrium involves full automation, akin to Leontief’s “ horse
equilibrium.” Otherwise, the long-run equilibrium involves balanced growth based
on equal advancement of the two types of technologies. Under natural assumptions,
this (interior) balanced growth path is stable, so that when automation runs ahead
of the creation of new tasks, market forces induce a slowdown in subsequent
automation and more rapid countervailing advances in the creation of new tasks.
 This stability result highlights a crucial new force: a wave of automation pushes
 down the effective cost of producing with labor, discouraging further efforts to
 automate additional tasks and encouraging the creation of new tasks.
         The stability of the balanced growth path implies that periods in which automation
  runs ahead of the creation of new tasks tend to trigger self-correcting forces, and
  as a result, the labor share and employment stabilize and could return to their
  initial levels. Whether this is the case depends on the reason why automation paced
   ahead in the first place. If this is caused by the random arrival of a series of automa-
   tion technologies, the long-run equilibrium takes us back to the same initial levels
   of employment and labor share. If, on the other hand, automation surges because of
   a change in the innovation possibilities frontier (making automation easier relative
   to the creation of new tasks), the economy will tend toward a new balanced growth
on the labor share depend on the elasticity of substitution between capital and labor. In addition, capital-augmenting
technological improvements always increase the wage, while labor-augmenting ones also increase the wage
 provided that the elasticity of substitution between capital and labor is greater than the capital share in national
  income. This contrast underscores that it would be misleading to think of automation in terms of factor-augmenting
  technologies. See Acemoglu and Restrepo (2018).
1492                                 THE AMERICAN ECONOMIC REVIEW                                        JUNE 2018
   path with lower levels of employment and labor share. In neither case does rapid
   automation necessarily bring about the demise of labor.4
      We also consider three extensions of our model. First, we introduce heterogeneity
   in skills, and assume that skilled labor has a comparative advantage in new tasks,
   which we view as a natural assumption.5 Because of this pattern of comparative
  advantage, automation directly takes jobs away from unskilled labor and increases
  inequality, while new tasks directly benefit skilled workers and at first increase
  inequality as well. Over the long run, the standardization of new tasks help low-skill
  workers. We characterizes the conditions under which standardization is sufficient
  to restore stable inequality in the long run. This extension formalizes the idea that
  both automation and the creation of new tasks increase inequality in the short run
  but standardization limits the increase in inequality in the long run.
      Our second extension modifies our baseline patent structure and reintroduces the
  creative destruction of the profits of previous innovators, which is absent in our main
  model, though it is often assumed in the endogenous growth literature. The results in
  this case are similar, but the conditions for uniqueness and stability of the balanced
  growth path are more demanding.
      Finally, we study the efficiency properties of the process of automation and
  creation of new technologies, and point to a new source of inefficiency leading to
  excessive automation: when the wage rate is above the opportunity cost of labor
  (due to labor market frictions), firms will choose automation to save on labor costs,
  while the social planner, taking into account the lower opportunity cost of labor,
  would have chosen less automation.
      Our paper can be viewed as a combination of task-based models of the labor
  market with directed technological change models.6 Task-based models have been
   developed both in the economic growth and labor literatures, dating back at least to
    Roy’s (1951) seminal work. The first important recent contribution, Zeira (1998),
proposed a model of economic growth based on capital-labor substitution.
Zeira’s model is a special case of our framework. Acemoglu and Zilibotti (2001)
developed a simple task-based model with endogenous technology and applied it
 to the study of productivity differences across countries, illustrating the potential
 mismatch between new technologies and the skills of developing economies
 
 (see also Zeira 2006; Acemoglu 2010). Autor, Levy, and Murnane (2003) suggested
 that the increase in inequality in the US labor market reflects the automation and
 computerization of routine tasks.7 Our static model is most similar to Acemoglu
   and Autor (2011). Our full framework extends this model not only because of the
   dynamic e quilibrium incorporating capital accumulation and directed technological
   change, but also because tasks are combined with a general elasticity of substitution,
    4
      Yet, it is also possible that some changes in parameters shift us away from the region of stability to the full
automation equilibrium.
    5
      This assumption builds on Schultz (1975). See also Greenwood and Yorukoglu (1997); Caselli (1999); Galor
and Moav (2000); Acemoglu, Gancia, and Zilibotti (2012); and Beaudry, Green, and Sand (2016).
    6
      On directed technological change and related models, see Acemoglu (1998, 2002, 2003, 2007); Kiley (1999);
Caselli and Coleman (2006); Thoenig and Verdier (2003); and Gancia, Müller, and Zilibotti (2013).
    7
      Acemoglu and Autor (2011); Autor and Dorn (2013); Jaimovich and Siu (2014); Foote and Ryan (2015);
Burstein, Morales, and Vogel (2014); and Burstein and Vogel (2017) provide various pieces of empirical evidence
and quantitative evaluations on the importance of the endogenous allocation of tasks to factors in recent labor
market dynamics.
VOL. 108 NO. 6            ACEMOGLU AND RESTREPO: THE RACE BETWEEN MAN AND MACHINE                              1493
   and because the equilibrium a llocation of tasks depends both on factor prices and
   the state of technology.8
       Three papers from the economic growth literature that are related to our work
   are Acemoglu (2003), Jones (2005), and Hémous and Olsen (2016). The first
   two papers develop growth models in which the aggregate production function is
   endogenous and, in the long run, adapts to make balanced growth possible. In Jones
   (2005), this occurs because of endogenous choices about different c ombinations
   of activities/technologies. In Acemoglu (2003), this long-run behavior is a
   consequence of directed technological change in a model of factor-augmenting
    technologies. Our task-based framework here is a significant departure from this
    model, e specially since it enables us to address questions related to automation, its
    impact on factor prices and its endogenous evolution. In addition, our framework
    provides a more robust economic force ensuring the stability of the balanced growth
    path: while in models with factor-augmenting technologies stability requires an
    elasticity of s ubstitution between capital and labor that is less than 1 (so that the
    more abundant factor commands a lower share of national income), we do not need
    such a condition in this framework.9 Hémous and Olsen (2016) propose a model
   of a utomation and horizontal innovation with endogenous technology, and use it
   to study the consequences of different types of technologies on inequality. High
   wages (in their model for low-skill workers) encourage automation. But unlike
   in our model, the unbalanced dynamics that this generates are not countered by
   other types of innovations in the long run. Also worth noting is Kotlikoff and Sachs
   (2012), who develop an overlapping generation model in which automation may
   have long-lasting effects. In their model, automation reduces the earnings of current
   workers, and via this channel, depresses savings and capital accumulation.
       The rest of the paper is organized as follows. Section I presents our task-based
framework in the context of a static economy. Section II introduces capital
accumulation and clarifies the conditions for balanced growth in this economy.
 Section III presents our full model with endogenous technology and establishes,
 under some plausible conditions, the existence, uniqueness, and stability of a
 balanced growth path with two types of technologies advancing in tandem. Section IV
  considers the three extensions mentioned above. Section V concludes. Appendix A
   contains the proofs of our main results, while online Appendix B contains the
   remaining proofs, additional results, and the details of the empirical analysis pre-
   sented above.
I. Static Model
   We start with a static version of our model with exogenous technology, which
allows us to introduce our main setup in the simplest fashion and characterize the
    8
      Acemoglu and Autor’s model, like ours, is one in which a discrete number of labor types are allocated to a con-
tinuum of tasks. Costinot and Vogel (2010) develop a complementary model in which there is a continuum of skills
and a continuum of tasks. See also Hawkins, Michaels, and Oh (2015), which shows how a task-based model is
more successful than standard models in matching the comovement of investment and employment at the firm level.
    9
      The role of technologies replacing tasks in this result can also be seen by noting that with factor-augmenting
technologies, the direction of innovation may be dominated by a strong market size effect (e.g., Acemoglu 2002).
Instead, in our model, it is the difference between factor prices that regulates the future path of technological
change, generating a powerful force toward stability.
1494                                     THE AMERICAN ECONOMIC REVIEW                                       JUNE 2018
A. Environment
   The economy produces a unique final good Y           by combining a unit measure of
tasks, y(i) , with an elasticity of substitution σ ∈ (0, ∞):
                                                                                 σ 
                                                                               _
        B(∫
             N−1 y (i)   σ di)  ,
        ~ N                    σ−1
                               _            σ−1
(1)	
    Y = 
          ~
where B > 0. All tasks and the final good are produced competitively. The fact
  that the limits of integration run between N − 1and N
                                                         imposes that the measure of
tasks used in production always remains at 1. A new (more complex) task replaces
or upgrades the lowest-index task. Thus, an increase in N    represents the upgrading
of the quality (productivity) of the unit measure of tasks.10
     Each task is produced by combining labor or capital with a task-specific
intermediate q(i) , which embodies the technology used either for automation or
 for production with labor. To simplify the exposition, we start by assuming that
 these intermediates are supplied competitively, and that they can be produced using
 ψunits of the final good. Hence, they are also priced at ψ. In Section III we relax
 this assumption and allow intermediate producers to make profits so as to generate
 endogenous incentives for innovation.
     All tasks can be produced with labor. We model the technological constraints
  on automation by assuming that there exists I ∈ [N − 1, N]such that tasks i ≤ I
are technologically automated in the sense that it is feasible to produce them with
capital. Although tasks i ≤ Iare technologically automated, whether they will be
produced with capital or not depends on relative factor prices as we describe below.
Conversely, tasks i > Iare not technologically automated, and must be produced
with labor.
     The production function for tasks i > Itakes the form
                                                                                                  ζ
                                                                                                  _
            _                                                                                          
    y(i) = B (ζ)[η    ζ q (i)   ζ + (1 − η)    ζ ( γ(i) l(i))   ζ ]  ,
                             _              ζ−1
                                            _                   _                         ζ−1 ζ−1
                                                                                          _
(2)	
                              1                                    1
    where γ(i)denotes the productivity of labor in task i  , ζ ∈ (0, ∞)is the elasticity
   of substitution between intermediates and labor, η ∈ (0, 1)is the share
   parameter_       of this constant elasticity of substitution (CES) production function,
    and
    _       
             B (
                ζ)is  a constant included to simplify_ the algebra. In particular, we set
  B (ζ ) = ψ  η(1 − η)  η−1η  −ηwhen ζ = 1, and   B (ζ ) = 1 otherwise.
    10
       This formulation imposes that once a new task is created at Nit will be immediately utilized and replace the
                                  − 1. This is ensured by Assumption 3, and avoids the need for additional notation
lowest available task located at N
at this point. We view newly-created tasks as higher productivity versions of existing tasks.
VOL. 108 NO. 6               ACEMOGLU AND RESTREPO: THE RACE BETWEEN MAN AND MACHINE                                1495
    Tasks i ≤ Ican be produced using labor or capital, and their production function
is identical to (2) except for the presence of capital and labor as perfectly s ubstitutable
factors of production:11
                                                                                                          ζ
                                                                                                          _
              _                                                                                                
    y(i) =   B (ζ)[η    ζ q (i)   ζ + (1 − η)    ζ (k(i) + γ(i) l(i))   ζ ]  .
                             _                ζ−1
                                              _                     _                             ζ−1 ζ−1
                                                                                                  _
(3)	
                                1                                    1
ASSUMPTION 1: γ
               (i)is strictly increasing.
   Assumption 1 implies that labor has strict comparative advantage in tasks with a
higher index and will guarantee that, in equilibrium, tasks with lower indices will be
automated, while those with higher indices will be produced with labor.
   We model the demand side of the economy using a representative household with
preferences given by
                                                                   −ν  (L) 1− θ
                (Ce  )  −1
                ____________
(4)	
    u(C, L) =                    ,
                                                                      1−θ
where Cis consumption, Ldenotes the labor supply of the representative household,
and  ν(L)designates the utility cost of labor supply, which we assume to be
continuously differentiable, increasing, and convex, and to satisfy ν ″(L) + (θ − 1)
× (ν ′(L))  2/θ > 0 (which ensures that u (C, L)is concave). The functional form
 in (4) ensures balanced growth (see King, Plosser, and Rebelo 1988; Boppart and
 Krusell 2016). When we turn to the dynamic analysis in the next section, θ will be
 the inverse of the intertemporal elasticity of substitution.
    Finally, in the static model, the capital stock, K , is taken as given (it will be
 endogenized via household saving decisions in Section II).
(i) η → 0 , or
(ii) ζ = 1.
   These two special cases ensure that the demand for labor and capital is
homothetic. More generally, our qualitative results are identical as long as the
    11
       A simplifying feature of the technology described in equation (3) is that capital has the same productivity in all
tasks. This assumption could be relaxed with no change to our results in the static model, but without other changes,
it would not allow balanced growth in the next section. Another simplifying assumption is that non-automated tasks
can be produced with just labor. Having these tasks combine labor and capital would have no impact on our main
results as we show in online Appendix B.
1496                                      THE AMERICAN ECONOMIC REVIEW                                        JUNE 2018
                                            ⎧
                                            ⎪min{R, _  γ(i) }
                                                                       1−η
                                 if i ≤ I                W   
(5)	      ⎨
    p(i) =                                ,
           ⎪ _
           ⎩( γ(i) )
                          1−η
                 W           if i > I 
where Wdenotes the wage rate and Rdenotes the rental rate of capital.
   In equation (5), the unit cost of production for tasks i > Iis given by the
effective cost of labor, W/γ(i) (which takes into account that the productivity of
labor in task iis γ(i)). The unit cost of production for tasks i ≤ I  is given by
    { γ(i) }
min R, _
           W  , which reflects the fact that capital and labor are perfect substitutes in
the production of automated tasks. In these tasks, firms will choose whichever factor
has a lower effective cost:  Ror W   /γ(i).
   Because labor has a strict comparative advantage in tasks with a higher index,
                                  ~
there is a (unique) threshold  I such that
             ()
      W  = γ ~ I .
     _
(6)	
      R
 This threshold represents the task for which the costs of producing with capital
                                               ~
 and labor are equal. For all tasks i ≤    I, we have R ≤ W/γ(i), and without any
                                                                               ~
other constraints, these tasks will be produced with capital. However, if I     > I, firms
                                ~
cannot produce all tasks until  Iwith capital because of the constraint imposed by the
 available automation technology. This implies that there exists a unique equilibrium
 threshold task
 I * = min {I,  I},
                  ~
	
    12
       The source of non-homotheticity in the general model is the substitution between factors (capital or
labor) and intermediates (the q(i)s). A strong substitution creates implausible features. For example,
automation, which increases the price of capital, may end up raising the demand for labor more than the
 demand for capital, as capital gets substituted by the intermediate inputs. Assumption 2 ′in Appendix A imposes
                              max{1, σ}
            γ(N − 1)
        ( γ(N) )
that  _
                     ______________
                       
                                     1
                                          |1−ζ |
                                                      > |σ − ζ |which ensures that the degree of non-homotheticity is not
                                γ (N)
                            ( γ (N − 1) )
                             _           − 1
too extreme and automation always reduces the relative demand for labor.
VOL. 108 NO. 6            ACEMOGLU AND RESTREPO: THE RACE BETWEEN MAN AND MACHINE                               1497
            Panel A
                                                                              ~
                   N−1                                I* = I                  I              N
            Panel B
                                                                              ~
                           N−1                        I* = I                  I              N        N
            Panel C
                                                                              ~
                  N−1                                    I*       I* = I      I              N
Automated tasks
             Figure 2. The Task Space and a Representation of the Effect of Introducing New
                          Tasks (Panel B) and Automating Existing Tasks (Panel C )
such that all tasks i ≤ I *will be produced with capital, while all tasks i > I * will
be produced with labor.13
        Figure 2 depicts the resulting allocation of tasks to factors and also shows how,
as already noted, the creation of new tasks replaces existing tasks from the bottom
of the distribution.
        As noted in footnote 10, we have simplified the exposition by imposing that new
tasks created at N         immediately replace tasks located at N    − 1, and it is therefore
profitable to produce new tasks with labor (and hence we have not distinguished N  ,
              ˜
N  ∗, and N
               ). In the static model, this will be the case when the capital stock is not too
large, which is imposed in the next assumption.
                             _               _
                       <   K , where   K is such that R = _
ASSUMPTION 3: We have K                                              W .
                                                                     γ(N)
   This assumption ensures that    R > _  W  , and consequently, new tasks will
                                          γ (N)
increase aggregate output and will be adopted immediately. Outside of this region,
new tasks would not be utilized, which we view as the less interesting case. This
assumption is relaxed in the next two sections where the capital stock is endogenous.
    We next derive the demand for factors in terms of the (endogenous) threshold
I *and the technology parameter N
                                  . We choose the final good as the numéraire.
Equation (1) gives the demand for task i as
    13
       Without loss of generality, we impose that firms use capital when they are indifferent between using capital
or labor, which explains our convention of writing that all tasks i ≤ I * (rather than i < I *) are produced using
capital.
1498                                             THE AMERICAN ECONOMIC REVIEW                                                               JUNE 2018
              ~σ−1
(7)	
    y(i) =  B    Yp(i)  −σ.
                                                      ~____   σ−1 
   Let us define   ˆ
                     σ = σ(1 − η) + ζηand   B =  B  σˆ−1 . Under Assumption 2,
equations (2) and (3) yield the demand for capital and labor in each task as
         {0
                 ˆ−1                   ˆ if i ≤ I *
           B  σ   (1 − η) YR  −σ
 k(i ) =     
	                                                   ,
                                            if i > I *
and
                                     ⎧0                                                if i ≤ I *
                              l(i) = ⎨
                                            ⎪
                                          
                                        ˆ−1                                       
                                                                                  ˆ
                                                                                − σ
                                                                                                 .
                                                           γ(i) ( γ(i) )
                                     ⎪B  σ (1 − η)Y  ___
                                                            1    ___
                                                                      W      if i > I *
                                     ⎩
                                 I γ (i) ( γ (i) )
                                 *    _
                                           1   _
                                                    W    di = L; 
                                                                    N
         (I * − N + 1) R  1−ˆσ+ ∫ *   _
                                                                ˆ
                                                             1−σ
                                        I ( γ(i) )
    (10)	                                          W    di = B  1−ˆσ; 
                                         N
         L = L  s(_
    (11)	               W )
                             .
                         RK
PROPOSITION 1 (Equilibrium in the Static Model): Suppose that Assumptions 1,
2, and 3 hold. Then a static equilibrium exists and is unique. In this static equilib-
rium, aggregate output is given by
                                                                                                                                   ˆ
                                                                                                                                     
                                                                                                                                   
                                                                                                                                   σ
                                                                                                                                 ____
    14
       This representation clarifies that the equilibrium implications of our setup are identical to one in which
an upward-sloping quasi-labor supply determines the relationship between employment and wages (and does not
necessarily equate marginal cost of labor supply to the wage). This follows readily by taking (11) to represent this
quasi-labor supply relationship.
VOL. 108 NO. 6               ACEMOGLU AND RESTREPO: THE RACE BETWEEN MAN AND MACHINE                                          1499
             Panel A                                               Panel B
                                                                                       min{I, I} min{I′, I}
                                                                                              ~          ~
                        min{I, I} min{I′, I}
                               ~          ~
             ω                                                 ω
                                                     γ(I) = ωK                                        γ(I) = ωK
                                                       ~                                                  ~
             ↓
             ω′
ω = ω(I *, N, K)
ω = ω(I *, N, K)
                                                                                           ~
                           I * = I → I * = I′                 i                       I* = I                       i
PROOF:
  See Appendix A.
    Equation (12) shows that aggregate output is a CES aggregate of capital and
 labor, with the elasticity between capital and labor being ˆ                          σ. The share parameters are
endogenous and depend on the state of the two types of technologies and the equilib-
rium choices of firms. An increase in I *, which corresponds to greater e quilibrium
automation , increases the share of capital and reduces the share of labor in this
aggregate production function, while the creation of new tasks does the opposite.
    Figure 3 illustrates the unique equilibrium described in Proposition 1.
The equilibrium is given by the intersection of two curves in the ( ω, I) space, where
ω = _    W is the wage level normalized by capital income; this ratio is a monotone
         RK
transformation of the labor share and will play a central role in the rest of our
analysis.15 The upward-sloping curve represents the cost-minimizing allocation of
 capital and labor to tasks represented by equation (6), with the constraint that the
 equilibrium level of automation can never exceed I . The downward-sloping curve,
 ω( I *, N, K) , corresponds to the relative demand for labor, which can be obtained
 directly from (8), (9), and (11) as
                                                                                         ∫
                                                                                          *   γ (i)  ˆσ−1  di
                                                                                             N
As we show in Appendix A, the relative demand curve always starts above the cost
minimization condition and ends up below it, so that the two curves necessarily
intersect, defining a unique equilibrium as shown in Figure 3.
   The figure also distinguishes between the two cases highlighted above. In panel
                         ~
A, we have I * = I <  
                         I and the allocation of factors is constrained by technology,
     15
          The increasing labor supply relationship, (11), ensures that the labor share sL =  ______
                                                                                                    WL
                                                                                                  RK + WL
                                                                                                          is increasing
in ω
    .
1500                                  THE AMERICAN ECONOMIC REVIEW                                         JUNE 2018
                                            ~
while panel B plots the case where I * =  I < Iand firms choose the cost-minimiz-
ing allocation given factor prices.
   A special case of Proposition 1 is also worth highlighting, because it leads to a
Cobb-Douglas production function with an exponent depending on the degree of
automation, which is particularly tractable in certain applications.
COROLLARY 1: Suppose that σ = ζ = 1and γ (i) = 1for all i. Then aggregate
output is
 Y =  _
	      B   K  1−N+I* L  N−I*.
                                     
       1−η
   The next two propositions give a complete characterization of comparative statics.16
 _  d ln (W/R)         d ln ω  =
                 =  _                   −   _____  1    Λ  < 0,
                                                  ˆσ + εL  I
	
            dI           dI
    _  d ln (W/R)       d ln ω  =
                  =  _                  _____
                                             1     ΛN  > 0;
                                             ˆσ + εL 
	 
            dN           dN
 (ii) and the impact of capital on relative factor prices is given by
		
                               d ln (W/R)                        1 + εL 
                                              d ln ω + 1 =  _____
                              _ =  _                                          > 0.
                                                               ˆσ + εL 
	
                                  d ln K      d ln K
              ~
• If I *  =   I  <  I, so that the allocation of tasks to factors is cost-minimizing, then:
                                                                                          ~
   16
      In this proposition, we do not explicitly treat the case in which I * = I =  Iin order to save on space and
notation, since in this case left and right derivatives with respect to Iare different.
VOL. 108 NO. 6          ACEMOGLU AND RESTREPO: THE RACE BETWEEN MAN AND MACHINE                           1501
 _  d ln (W/R)       d ln ω + 1 = _     1 + εL 
  
	              =  _                 free + εL    > 0.
                                     σ
       d ln K        d ln K
   • In all cases, the labor share and employment move in the same direction as
      ω: _
          dL  > 0 and, when I * = I, _
                                           dL  < 0.
           dN                                dI
PROOF:
  See online Appendix B.
    17
       Throughout, by “automation” or “automation technology” we refer to I, and use “equilibrium automation”
to refer to I *.
1502                                       THE AMERICAN ECONOMIC REVIEW                                                  JUNE 2018
                     ~
   • If I * = I <  I  , so that the allocation of tasks to factors is constrained by
     technology, then _     W∗  > R > _  W   , and
                             γ( I  )    γ(N)
                                                                (σ                              ˆ + εL  I )
                  d ln W = d ln Y|K , L + (1 − sL  ) _____  1    ΛN  dN −  _____   1    Λ  dI ,
                                                                      ˆ + εL 
                                                                                               
                                                                                                σ
                                                       ( ˆ                          ˆσ + εL  I )
                    d ln R = d ln Y|K, L − sL  _____
                                                          1    ΛN  dN −  _____     1    Λ  dI .
                                                          σ + εL 
        hat is, a higher N
       T                     always increases the equilibrium wage but may reduce the
       rental rate of capital, while a higher I always increases the rental rate of capital
       but may reduce the equilibrium wage. In particular, there exists K    ˜
                                                                               < ∞ such
       that an increase in Iincreases the equilibrium wage when K >       ˜
                                                                             Kand reduces
       it when K <  K˜.
                      ~
   • If I  ∗ =  I < I, so that the allocation of tasks to factors is not constrained by
     technology, then ____       W*  = R > _  W   , and
                                  γ(I )         γ(N)
                              σ(                  ( γ(N) ) )
                           ˆ                                   1−ˆ
                                                                   σ
                    B  σ−1
 d ln Y|K , L = ____        R  1−σˆ−  _
                                                       W     dN.
                    1 − ˆ
	
	
 That is, new tasks increase productivity, but additional automation technologies
 do not.
	
 Moreover, the impact of technology on factor prices in this case is given by
 That is, an increase in N(more new tasks) always increases the equilibrium wage
	
 but may reduce the rental rate, while an increase in I (greater technological
 automation) has no effect on factor prices.
PROOF:
  See online Appendix B.
                                                                         ~
   The most important result in Proposition 3 is that, when I * = I <  I, automation—
an increase in I —
                   always increases aggregate output, but has an ambiguous effect on
the equilibrium wage. On the one hand, there is a positive productivity effect captured
VOL. 108 NO. 6               ACEMOGLU AND RESTREPO: THE RACE BETWEEN MAN AND MACHINE                                           1503
  by the term d ln Y|K,                  L: by substituting cheaper capital for expensive labor, automa-
  tion raises productivity, and hence the demand for labor in the tasks that are not yet
  automated.18 Countering this, there is a negative displacement effect captured by
   the term _____
             σ +1 ε    ΛI . This negative effect occurs because automation c ontracts the set
             ˆ L
  of tasks performed by labor. Because tasks are subject to diminishing returns in the
  aggregate production function, (1), bunching workers into fewer tasks puts down-
  ward pressure on the wage.
      As the equation for d ln Y|K , Lreveals, the productivity gains depend on the cost
  savings from automation, which are given by the difference between the effective
  wage at I *, W/γ(I *) , and the rental rate, R. The displacement effect dominates the
  productivity effect when the gap between W                          /γ(I *)and R
                                                                                     is small: which is guar-
  anteed when K           <               ˜
                                            K. In this case, the overall impact of automation on wages is
negative.
      Finally, Proposition 3 shows that an increase in N                       always raises productivity and
  the equilibrium wage (recall that Assumption 3 imposed that R > W/γ(N)). When
the productivity gains from the creation of new tasks are small, it can reduce the
rental rate of capital as well.
      The fact that automation may reduce the equilibrium wage while increasing
productivity is a key feature of the task-based framework developed here (see also
 Acemoglu and Autor 2011). In our model, automation shifts the range of tasks
 performed by capital and labor: it makes the production process more capital
  intensive and less labor intensive, and it always reduces the labor share and the
  wage-rental rate ratio,                          W/R. This reiterates that automation is very different
  from factor-augmenting technological changes and has dissimilar implications.
  The effects of labor- or capital-augmenting technology on the labor share and the
  wage-rental rate ratio depend on the elasticity of substitution (between capital and
  labor). Also, capital-augmenting technological improvements always increase the
  equilibrium wage, and labor-augmenting ones also do so provided that the elasticity
  of substitution is greater than the share of capital in national income.19
                                      II. Dynamics and Balanced Growth
    In this section, we extend our model to a dynamic economy in which the evolution
of the capital stock is determined by the saving decisions of a representative
household. We then investigate the conditions under which the economy admits a
 balanced growth path (BGP), where aggregate output, the capital stock, and wages
 grow at a constant rate. We conclude by discussing the long-run effects of a utomation
 on wages, the labor share, and employment.
     18
         This discussion also clarifies that our productivity effect is similar to the productivity effect in models of
offshoring, such as Grossman and Rossi-Hansberg (2008), Rodríguez-Clare (2010), and Acemoglu, Gancia, and
Zilibotti (2015), which results from the substitution of cheap foreign labor for domestic labor in certain tasks.
     19
         For instance, with a constant returns to scale production function and two factors, capital and labor are q −
complements. Thus, capital-augmenting technologies always increases the marginal product of labor. To see this,
let F                                                          = FL   , and ___
     ( AK K, AL L)be such a production function. Then W                    dW
                                                                                   d A 
                                                                                              = K FLK
                                                                                                       = − L FLL
                                                                                                                   > 0 (because of
                                                                                     K
constant returns to scale). See Acemoglu and Restrepo (2018).
    Likewise, improvements in AL increase the equilibrium wage provided that the elasticity of substitution between
capital and labor is greater than the capital share, which is a fairly weak requirement (in other words, ALcan reduce
the equilibrium wage only if the elasticity of substitution is low).
1504                                       THE AMERICAN ECONOMIC REVIEW                                                                          JUNE 2018
A. Balanced Growth
ASSUMPTION 1′: γ
                (i) satisfies
    20
       Notice also that in this dynamic economy, as in our static model, the productivity of capital is the same
in all automated tasks. This does not, however, imply that any of the previously automated tasks can be used
regardless of N. As Nincreases, as emphasized by equation (1), the set of feasible tasks shifts to the right, and
only tasks above N − 1remain compatible with and can be combined with those currently in use. Just to cite a few
motivating e xamples for this assumption: power looms of the eighteenth and nineteenth century are not compatible
 with modern textile technology; first-generation calculators are not compatible with computers; many hand and
 mechanical tools are not compatible with numerically controlled machinery; and bookkeeping methods from the
 nineteenth and twentieth centuries are not compatible with the modern, computerized office.
     VOL. 108 NO. 6                    ACEMOGLU AND RESTREPO: THE RACE BETWEEN MAN AND MACHINE                                                                                           1505
        We characterize the equilibrium in terms of the employment level L(t) , and the
                                                                                                                                 ___
normalized variables k (t) = K(t)e  −AI (t), and c(t) = C(t)e    θ ν(L(t))−AI (t).As in our
                                                                                  *                                              1−θ                     *
               (t)denotes the rental rate, and w     (t) = W(t)e  −AI (t)is the normalized
                                                                                *
static model, R
wage. These normalized variables determine factor prices as
                                                                                                                                                                           ____
                                                                                                                                                                             1  
                                                                                                                                                                      ˆ
                                                                                                                                                                         −1
                                                                                                                                                                     σ
                                                                                                                                                                      −1
                                                                                                                                                                   ____      ˆ
                                                                                                                                                                             σ
                                                          [                                                                                                                     ]
                                                                                                                                             __
                                                                                                                                               1  
                          = B (1 − n*(t))    ˆσ   (1 − n *(t))    σˆ + (∫0 
                                                                                                                                                   ( k(t) )
                                                                                                                                                                     ˆ
                                                                                                                                                                     σ
                                                                                                                                                                     
                                                                                                                   γ (i)  σˆ−1  di)    _
                                                              __                            __           n*(t)                                  ˆ L(t)
                                                                                                                                               σ
                                                                                                                                                
                                                                                                                                                                                   
                                                              1                             1
and
     w(t) = F
              L [k(t), L(t); n  ∗(t)]
                                                                                                                                                                                     ____
                                                                                                                                                                                       1  
                                                                                                          ˆ
                                                                                                           σ
                                                                                                            − 
                                                                                                        ____   1                                                                     ˆ
                                                                                                                                                                                     σ−1
                                                         [
                                                                                                                                                                      __
                                                                                                                                                                            ]
                                                                                                                           ∫0
                                                     __                                                                                                                1  
                                                                                          ( L(t) )
                                                      1  
           ∫0 
                                                                                                             ˆ
                                                                                                             σ
                                                                                                                  + (                                   di)   
                                                                                                                                                                       ˆ
                                                                                                                                                                      σ
      = B(                                 di) 
                  n*(t)                             ˆ
                                                     σ                                         k(t)                            n ∗(t)
                       γ (i)    ˆ
                                     σ−1
                                                             (1 − n*(t))    ˆσ 
                                                                                __    1
                                                                                             _
                                                                                                                                    γ (i)     ˆ
                                                                                                                                                       σ−1
                                                                                                                                                                                            .
     can now be defined as a path for the threshold task n*(t), (normalized) capital and
     consumption, and employment, {k(t), c(t), L(t)}, that satisfies:
     ρmin                                                                                              ρmax
 1
                            Region 2A:                         Region 2B:
                            wI (n) > ρ + δ + θg > wN (n) wI (n) > ρ + δ + θg > wN (n)
                            n* = n                       n* = n
                                                                                      _
                                 n(ρ)
                                 ~                                                    n (ρ)
             Region 1:                                                                              Region 3:
             wN (n) > ρ + δ + θg                                                                    ρ + δ + θg > wI (n)
                                                                                                          _
             n* = n                                                                                 n* = n (ρ)
 0                                                           _                                                            ρ
                                                             ρ
Lemma A2 in Appendix A shows that this critical value of the discount rate divides
                                                                                                                 _
the parameter space into two regions as shown in Figure 4. To the left of ρ                                       , there
                                 ~                                _          ~     _
exists a decreasing curve n       (ρ)defined over [ρm
                                                           in, ρ
                                                                    ] with  n(ρ
                                                                                     ) = 0 , and_to the right
   _                                              _                              _                             _
of ρ
       , there exists an increasing curve   n (ρ)defined over [ρ           , ρm
                                                                                         ax] with   n ( ρ
                                                                                                                 ) = 0,
such that:21
                                         w(t)
  • For n <  ~   n(ρ), we have _ > R(t)and new tasks would reduce aggregate
                                       γ(N(t))
       output, so are not adopted (recall that w       (t) = W(t) e  −AI (t));
                                                                                      *
                                             w(t)
  • For n >  ~    n(ρ) , we have _           < R(t)and in this case, new tasks raise
                                          γ(N(t))
        aggregate output and are immediately produced with labor;
                     _
  • For      n >   n (ρ) , we have      w(t) > R(t) , as a result, automated tasks raise
       aggregate output and are immediately produced with capital; and
     21
          The functions w
                          N  (n)and wI (n)depicted in this figure are introduced and explained below.
VOL. 108 NO. 6        ACEMOGLU AND RESTREPO: THE RACE BETWEEN MAN AND MACHINE                      1507
                _
  • For n <   n (ρ) , we have w
                                   (t) < R(t)and additional automation would reduce
    aggregate output, so small changes in automation technology do not affect n*
    and other equilibrium objects.
   The next proposition provides the conditions under which a BGP exists, and char-
acterizes the BGP allocations in each case. In what follows, we no longer impose
Assumption 3, since depending on the value of ρ , the capital stock can become large
and violate this assumption.
PROOF:
  See Appendix A.
    The first type of BGP in Proposition 4 involves the automation of all tasks, in
which case aggregate output becomes linear in capital. This case was ruled out
by Assumption 3 in our static analysis, but as the proposition shows, when the
discount rate, ρ , is sufficiently small, it can emerge in the dynamic model. A BGP
 with no automation (case (iv)), where growth is driven entirely by the creation of
 new tasks, is also possible if the discount rate is sufficiently large.
    More important for our focus are the two interior BGPs where automation and
 the introduction of new tasks go hand-in-hand, and as a result, n *(t)is constant
at some value between 0 and 1; this implies that both capital and labor perform
a fixed measure of tasks. In the more interesting case where automated tasks are
1508                               THE AMERICAN ECONOMIC REVIEW                                   JUNE 2018
  immediately produced with capital (case (ii)), the proposition also highlights that
   this process needs to be “balanced” itself: the two types of technologies need to
   advance at exactly the same rate so that n(t) = n.
      Balanced growth with constant labor share emerges in this model because the
   net effect of automation and the creation of new technologies proceeding at the
   same rate is to augment labor while keeping constant the share of tasks performed
   by labor , as shown by equation (16). In this case, the gap between the two types of
   technologies, n (t) , regulates the share parameters in the resulting CES production
   function, while the levels of N   (t)and I (t)determine the productivity of labor in the
   set of tasks that it performs. When n(t) = n , technology becomes purely labor-aug-
   menting on net because labor performs a fixed share of tasks and labor becomes
   more productive over time in producing the newly-created tasks.22
      To illustrate the main implication of the proposition, let us focus on part (ii) with
                                        _
I˙ = N˙ = Δand n(t) = n ≥   n (ρ). Along such a path, n *(t) = nand g (t) = AΔ.
Figure 5 presents the phase diagram for the system of differential equations
comprising the Euler equation (equation (17)) and the resource constraint
(equation (20)). This system of differential equations determines the structure of
the dynamic equilibrium and is identical to that of the neoclassical growth model
with labor-augmenting technological change and endogenous labor supply (which
makes the locus for c˙ = 0downward-sloping because of the negative income effect
on the labor supply).
   22
      This intuition connects Proposition 4 to Uzawa’s Theorem, which implies that balanced growth
requires a representation of the production function with purely labor-augmenting technological change (e.g.,
Acemoglu 2009; Grossman et al. 2017).
VOL. 108 NO. 6                 ACEMOGLU AND RESTREPO: THE RACE BETWEEN MAN AND MACHINE                                                 1509
c ċ=0
k˙ = 0
                      _                                _                                 _
   • For n <   n (ρ)  , we have that n*(t) =   n (ρ)  , wI (n) = wI (  n (ρ)), and wN (n)
                  _
     = wN (  n (ρ)). In this region, small changes in n do not affect the paths of effec-
     tive wages, employment, and the labor share;
                      _
   • For n >   n (ρ)  , we have that n*(t) = n  , and w  I (n)is increasing and w        N (n) is
     decreasing in n. Moreover, the asymptotic values for employment and the labor
     share are increasing in n . Finally, if the increase in n is caused by an increase
     in I , the capital stock also increases.
PROOF:
  See online Appendix B.
                                                _
     We discuss this proposition for n >   n (ρ), so that we are in the most interesting
 region of the parameter space where            I  * = Iand the level of automation is
 constrained by technology. The long-run implications of automation now differ
  from its short-term impact. In the long run, automation reduces employment and the
  labor share, but it always increases the wage. This is because in the long run capital
  per worker increases to keep the rental rate constant at ρ + δ + θg. This implies that
productivity gains accrue to the scarce factor, labor.23
     Figure 6 illustrates the response of the economy to permanent changes in
automation. It plots two potential paths for all endogenous variables. The dotted
 line depicts the case where wI (n)is large relative to R , so that there are significant
productivity gains from automation. In this case, an increase in automation raises
    23
       This result follows because wN  (n)is decreasing in n , and thus a lower nimplies a higher wage level. This
result can also be obtained by taking the log derivative of the identity (1 − η)Y = WL + RK, which implies
Panel A Panel B
        ln W Permanent increase                            R
                                                                Permanent increase
                in automation                                      in automation
                                            Initial path
                                            for wages
ρ + δ + θA
                    T                                 t                T                          t
        Panel C                                            Panel D
              Permanent increase
        sL                                                 ln K Permanent increase
                 in automation                                     in automation
T t T t
             Figure 6. Dynamic Behavior of Wages (ln W), the Rental Rate of Capital (R),
                the Labor Share (sL) , and the Capital Stock Following a Permanent
                                                   Increase in Automation
  the wage immediately, followed by further increases in the long run. The solid
  line depicts the dynamics when wI (n) ≈ R , so that the productivity gains from
  automation are very small. In this case, an increase in automation reduces the wage
   in the short run and leaves it approximately unchanged in the long run. In contrast
   to the concerns that highly productive automation technologies will reduce the wage
   and employment, our model shows that it is precisely when automation fails to
   raise productivity significantly that it has a more detrimental impact on wages and
   employment. In both cases, the duration of the period with stagnant or depressed
   wages depends on θ  , which determines the speed of capital adjustment following an
   increase in the rental rate.
      The remaining panels of Figure 6 show that automation reduces employment
   and the labor share, as stated in Proposition 5. If σ     ˆ
                                                               < 1, the resulting capital
 accumulation mitigates the short-run decline in the labor share but does not fully
                                                             ˆ > 1 , capital accumulation
  offset it (this is the case depicted in the figure). If σ
  further depresses the labor share, even though it raises the wage.
      The long-run impact of a permanent increase in N    (t)can also be obtained from the
proposition. In this case, new tasks increase the wage (because w        I (n) is increasing
in n ), aggregate output, employment, and the labor share, both in the short and the
long run. Because the short-run impact of new tasks on the rental rate of capital is
ambiguous, so is the response of capital accumulation.
      In light of these results, the recent decline in the labor share and the employment
to population ratio in the United States can be interpreted as a consequence of
automation outpacing the creation of new labor-intensive tasks. Faster automation
 relative to the creation of new tasks might be driven by an acceleration in the rate
 at which I(t)advances, in which case we would have stagnant or lower wages in
VOL. 108 NO. 6             ACEMOGLU AND RESTREPO: THE RACE BETWEEN MAN AND MACHINE                                    1511
the short run while capital adjusts to a new higher level. Alternatively, it might be
driven by a deceleration in the rate at which N(t)advances, in which case we would
also have low growth of aggregate output and wages. We return to the p roductivity
implications of automation once we introduce our full model with endogenous
technological change in the next section.
   24
       The creative destruction of profits is present in other models of quality improvements such as Aghion and
Howitt (1992) and Grossman and Helpman (1991), and will be introduced in the context of our model in Section V.
   25
       An innovation possibilities frontier that uses just scientists, rather than variable factors as in the lab-equipment
specifications (see Acemoglu 2009), is convenient because it enables us to focus on the direction of technological
change, and not on the overall amount of technological change.
1512                                           THE AMERICAN ECONOMIC REVIEW                                                        JUNE 2018
 where b = (1 − μ)B  ˆσ−1  η ψ  1−ζ.27 Likewise, the flow profits that accrue to the
technology monopolist that created the labor-intensive task i are
                                                                                               ˆ
                                                                                            ζ−σ
                                                                             ( γ(i) )
                                   W(t)
     πN  (t, i ) = bY(t)  _
(24)	                                                                                      .
    26
       The cost of effort is multiplied by Y(t)to capture the income effect on the costs of effort in a tractable manner.
    27
       This expression follows because the demand for intermediates is                   q(i) =  B  σˆ−1  η ψ  −ζY(t )R(t )  ζ−σ
                                                                                                                                              ˆ,
every intermediate is priced at ψand the technology monopolist makes a per unit profit of 1 − μ.
VOL. 108 NO. 6               ACEMOGLU AND RESTREPO: THE RACE BETWEEN MAN AND MACHINE                                                               1513
   The take-it-or-leave-it nature of offers implies that a firm that automates task I
needs to compensate the existing technology monopolist by paying her the present
discounted value of the profits that her inferior labor-intensive technology would
generate if not replaced. This take-it-or-leave-it offer is given by28
                                                                                                       ˆ
                                                                                                    ζ−σ
                                     ∫t             −∫0  (R(s)−δ)ds
                                                                                 ( γ(I ) )
                           W(τ)           ∞             τ
 b    e 
	             Y(τ)  _
                                                                                                     dτ.
 Likewise, a firm that creates task Nneeds to compensate the existing technology
monopolist by paying her the present discounted value of the profits from the
capital-intensive alternative technology. This take-it-or-leave-it offer is given by
 ˆdτ.
In both cases, the patent-holders will immediately accept theses offers and reject
less generous ones.
   We can then compute the values of a new automation technology and a new task,
respectively, as
and
                                                                   (( γ(n(t)) e                                                          )
                                                                                                                       ˆ
                                                                                                                    ζ−σ
(26) VN (t) = bY(t)∫t  e  −∫t  (R(s)−δ−gy(s))ds  _
                                                                                             )
                            ∞             τ
                                                                          w(τ) ∫  τg(s)ds
                                                                                    t                                 − R (τ )  ζ−ˆσ dτ,
where gy(t)is the growth rate of aggregate output at time tand as noted above, g (t)
is the growth rate of γ   (N(t)).
    To ensure that these value functions are well behaved and non-negative, we impose
the following assumption for the rest of the paper.
              ˆ > ζ.
ASSUMPTION 4: σ
    28
       This expression is written by assuming that the patent-holder will also turn down subsequent less generous
offers in the future. Deriving it using dynamic programming and the one-step-ahead deviation principle leads to
the same conclusion.
    29
       The profitability of introducing an intermediate that embodies a new technology depends on its demand.
As a factor (labor or capital) becomes cheaper, there are two effects on the demand for q (i ). First, the decline in
costs allows firms to scale up their production, which increases the demand for the intermediate good. The extent
1514                                    THE AMERICAN ECONOMIC REVIEW                                             JUNE 2018
   • Consumption satisfies the Euler equation (17) and the labor supply satisfies
     equation (18);
   • The transversality condition holds
	where in addition to the capital stock, the present value of corporate profits
  Π(t ) = I(t) VI (t )/Y(t ) + N(t ) VN  (t )/Y(t)is also part of the representative
  household’s assets;
• Capital satisfies the resource constraint
                         η
               [                      ]
	k (̇ t ) =  1 + _
                                                                                _
                             (1 − μ) F( k(t), L(t); n*(t))− c(t) e  −   θ ν(L(t))− (δ + g(t)) k(t),
                                                                                1−θ
                        1−η
	where recall that F             (k(t ), L(t ); n*(t ))is net output (aggregate output net of
                                      η
   intermediates) and _ (1 − μ ) F(k(t ), L(t ); n*(t ))is profits of technology
                                   1−η
    monopolists from intermediates;
 • Competition among prospective technology monopolists to hire scientists
                    SI  (t ) = κI  VI (t )and W  SN (t ) = κN  VN  (t). Thus,
   implies that W
                                                                                 [                                       Y(t ) )]
                      κ  V (t ) κN  VN  (t )                                 κI  VI (t ) _   κ  V  (t )
                  ( Y(t )                                    )                          (
	SI (t ) = SG _
                      I I   − _                            , SN (t ) = S 1 − G   _                  −   N N   ,
                                             Y(t )                                                Y(t )
                                                                            I (t ) and
   • And the value functions that determine the allocation of scientists, V
     VN (t ) , are given by (25) and (26).
   The next proposition gives the main result of the paper, and characterizes different
types of BGPs with endogenous technology.
                               _
    31
       The condition S < _  S ensures that the growth rate of the economy is not too high. If the growth rate is above
the threshold implied by  S  , the creation of new tasks is discouraged (even if current wages are low) because firms
anticipate that the wage will grow rapidly, reducing the future profitability of creating new labor-intensive tasks.
This condition also allows us to use Taylor approximations of the value functions in our analysis of local stability.
Finally, in parts (ii)–( iv) this condition ensures that the transversality condition holds.
1516                                     THE AMERICAN ECONOMIC REVIEW                                               JUNE 2018
             _                                   _                                _
 For ρ > ρ  , all BGPs feature n(t ) = n > n (ρ). Moreover, there exists κ
	                                                                                   ≥ 
 κ
 _  >  0 such   that:
                                                         _
   (ii) Unique Interior BGP: if κ      I/κN   > κ
                                                            there exists a unique BGP. In this
                                                           _
        BGP we have n *(t ) = n(t ) = n ∈ (  n ( ρ), 1) and κN  vN  (n) = κI  vI (n). If,
        in addition, θ = 0  , then the equilibrium is unique everywhere and the BGP
        is globally (saddle-path) stable. If θ > 0  , then the equilibrium is unique in
        the neighborhood of the BGP and is asymptotically (saddle-path) stable;
                            _          κI 
  (iii) Multiple BGPs: if κ  > _    N    > 
                                     κ                          κ   , there are multiple BGPs;
                                                                 _
                                                   κ 
  (iv) No Automation: If κ    _ > _           κ I    , there exists a unique BGP. In this BGP
        n*(t ) = 1 and all tasks are produced with labor. (When ρ > ρmax  , we are
                                                     N
PROOF:
  See Appendix A.
The profitability of the two types of technologies depends on the effective wages,
wI (n)and wN (n). A lower value of n , which corresponds to additional automation,
reduces wI (n): in other words wI (n)is increasing in n . This is because of c omparative
advantage: as more tasks are automated, the equilibrium wage increases less than
γ(I) , and it becomes cheaper to produce the least complex tasks with labor, and thus
automation becomes less profitable. Because w                                I (n)is increasing in n  , so is v I (n)
(recall that σ  ˆ  > ζ). However, v N (n)is also increasing in n : wN  (n)is decreasing in n 
as the long-run wage increases with automation owing to the productivity effect dis-
cussed in the previous section. We will see next that the fact that v N  (n)is increasing
in n creates a force toward multiplicity of BGPs, while the fact that v I (n)is increas-
ing in npushes toward uniqueness and stability.
      Panel A of Figure 8 illustrates the first part of Proposition 6 (which parallels the
                                                       _
first part of Proposition 4): when ρ < ρ                , κI  vI (0)is above κN  vN  (0)for n <  ~
                                                                                                                           n ρ).
                                                                                                                           (
In this region it is not optimal to create new tasks. Consequently, there exists a BGP
with full automation, meaning that all tasks will be automated and produced with
capital. Reminiscent of Leontief’s “horse equilibrium,” in this BGP labor becomes
                                                                                                 _
redundant. Intuitively, as also shown in Figure 4, when ρ < ρ                                      and n <  ~    n , we
                                                                                                                       (ρ) 
VOL. 108 NO. 6                       ACEMOGLU AND RESTREPO: THE RACE BETWEEN MAN AND MACHINE                                                                   1517
                 κI
                 κN
                 ___
                                                                                κ
                         Full                                                   _
                         automation
                         BGP
                                                         Multiple BGP                         κ
                                                                                              _
                                                                                                           Unique BGP
                                                                                                           with no automation
                                                   _                                                             ρmax                            ρ
                                                   ρ
                Panel A                                                             Panel B
                                                                                                                        κ I′ v I (n) κI v I (n)
                                                                                                                                        κN v N (n)
                                                                    κI v I (n)
                                                                κN v N (n)
                                                                                                          _
                                        n(ρ)
                                        ~                             n                                   n (ρ)                              n
                                             _                                                                         _
                                          ρ< ρ                                                                      ρ> ρ
Notes: Asymptotic behavior of normalized values. In panel A, κI  vI   (n) is everywhere κN vN   (n) and the BGP involves
 full automation. In panel B, if κI /κN is sufficiently large, the two curves intersect, and we have an interior BGP
with both automation and c reation of new tasks. Panel B also shows the effect of an increase in the productivity of
scientists in automating tasks from κI to κ  ′I. 
have wN  (n) > ρ + δ + θg , which implies that labor is too expensive relative to
capital. Utilizing and thus creating new tasks is not profitable. Economic growth in
 this BGP is driven by capital accumulation (because when all tasks are automated,
 aggregate output is linear in capital).
      Panel B illustrates the remaining three types of BGPs, which apply when ρ >
_
  . In this case, at n = 0 (or at any n ≤  n̅( ρ)), κ
 ρ                                                            I vI (n)is strictly below κN  vN  (n)
and thus a full automation BGP is not possible. The two curves can only inter-
sect for n ∈ ( n̅( ρ), 1] , implying that in any BGP, newly automated tasks will be
immediately produced with capital. As explained above, both of these curves are
increasing but their relative slopes depend on κI/κN . When κI /κN   < κ   _, κI vI (n)
1518                                        THE AMERICAN ECONOMIC REVIEW                                                    JUNE 2018
       is not sufficiently steep relative to κN  vN  (n), and the two never intersect. This
    means that even at n = 1, it is not profitable to create new automation technolo-
    gies, and all tasks will be produced with labor. In this BGP, capital becomes redun-
    dant, and growth is driven by endogenous technological change increasing labor’s
    productivity as in the standard quality ladder models such as Aghion and Howitt
     (1992) or Grossman and Helpman (1991).
                                                           _
               Conversely, when κ       I/κN  > κ  , the curve κ I  vI (n)is sufficiently steep relative to
       κN  vN  (n)so that the two curves necessarily intersect and can only intersect once.
     Hence, there exists a unique interior BGP (interior in the sense that now the BGP
     level of nis strictly between 0 and 1, and thus some tasks are produced with labor
     and some with capital).
                                     _
               Finally, when κ       > κI /κN   > κ _ , the two curves will intersect, but will do so
      multiple times, leading to multiple interior BGPs.
                                                                              _
               Proposition 6 also shows that for κI/κN   > κ           , the unique interior BGP is globally
     stable provided that the intertemporal elasticity of substitution is infinite (i.e., θ = 0),
     and locally stable otherwise (i.e., when θ > 0). Because κ                                         I vI (n)starts below
κN vN  (n)at  n̅(ρ) (reflecting the fact that at this point, new automation technologies
     are not immediately adopted and thus the value of creating these technologies is 0),
     the unique intersection must have the former curve being steeper than the former. At
     this point, a further increase in nalways raises the value of automating an additional
     task, vI (n), more than the value of creating a new task, v N  (n). This ensures that
         increases in nbeyond its BGP value trigger further automation, while lower values
         of n encourage the creation of new tasks, ensuring the stability of the unique BGP.
               The asymptotic stability of the interior BGP implies that there are powerful market
         forces pushing the economy toward balanced growth. An important c onsequence
         of this stability is that technological shocks that reduce n  (e.g., the arrival of a
  series of new automation technologies) will set in motion self-correcting forces.
  Following such a change, there will be an adjustment process restoring the level of
  employment and the labor share back to their initial values.
               This does not, however, imply that all shocks will leave the long-run prospects
         of labor unchanged. For one, this would not necessarily be the case in a situation
         with multiple steady states, and moreover, certain changes in the environment
         (for example, a large increase in Bor a decline in ρ) can shift the economy from the
   region in which there is a unique interior BGP to the region with full automation,
   with disastrous consequences for labor. In addition, the next corollary shows that,
   if there is a change in the innovation possibilities frontier (in the κ                                                 s) that makes
   it permanently easier to develop new automation technologies, self-correcting
   forces still operate but will now only move the economy to a new BGP with lower
   employment and a lower labor share.
                                                 _                            _
COROLLARY 2: Suppose that ρ                 > ρ   and κI /κN   > κ
                                                                                . A one-time permanent
              I /κN leads to a BGP with lower n, employment and labor share.
increase in κ
    This corollary follows by noting that an increase in κ             I/κN shifts the intersection
                I  vI (n)and κ
of the curves κ                        N v(n)to the left as shown by the blue dotted curve in
Figure 8, leading to a lower value of n in the BGP. This triggers an adjustment
process in which the labor share and employment decline over time, but ultimately
VOL. 108 NO. 6                  ACEMOGLU AND RESTREPO: THE RACE BETWEEN MAN AND MACHINE                                                 1519
 settle to their new (interior) BGP values. The transition process will involve a
 slower rate of increase of N  and a more rapid rate of increase of Ithan the BGP.
Interestingly, if new tasks generate larger productivity gains than automation, this
transition process will also be associated with a slowdown in productivity growth
because automation crowds out resources that could be used to develop new tasks.32
    In summary, Proposition 6 characterizes the different types of BGPs, and together
with Corollary 2, it delineates the types of changes in technology that trigger
self-correcting dynamics. Starting from the interior BGP, the effects of (small)
 increases in automation technology will reverse themselves over time, restoring
 employment and the labor share back to their initial values. Permanent changes in
 the ability of society to create new automation technologies trigger self-correcting
 dynamics as well, but these will take us toward a new BGP with lower employment
 and labor share, and may also involve slower productivity growth in the process.
IV. Extensions
   To study how automation and the creation of new tasks impact inequality, we now
introduce heterogeneous skills. This extension is motivated by the observation that
both automation and new tasks could increase inequality: new tasks favor high-skill
workers who tend to have a comparative advantage in new and complex tasks,
while automation substitutes capital for labor in lower-indexed tasks where l ow-skill
workers have their comparative advantage.
   The assumption that high-skill workers have a comparative advantage in new
tasks receives support from the data. Figure 9 shows that occupations with more new
job titles in 1980, 1990, and 2000 employed workers with greater average years of
schooling.33
   To incorporate this feature, we assume that there are two types of workers:
low-skill workers with time-varying productivity γL  (i, t)in task i , and high-skill
                                (i). We parametrize these productivities as follows.
 workers with productivity γH
     32
        Forgone productivity gains from slower creation of new tasks will exceed the gains from automation, causing
a productivity slowdown during a transition to a higher level of automation, if ρ > ρP , where ρP is defined implic-
itly as the solution to the equation
     	____                                                                        ____
                            1   (w(n)  1−σ− ( ρ  + δ + θg)  1−σ) =  1   (( ρ  + δ + θg)  1−σ− w (n)  1−σ). 
                          σ−1 I                           P
                                                                                    σ−1 P                                  N
   33
      As in Figure 1, this figure partials out the demographic composition of employment in each occupation at the
beginning of the relevant period. See online Appendix B for the same relationship without these controls as well as
with additional controls.
1520                                                          THE AMERICAN ECONOMIC REVIEW                                                   JUNE 2018
                                       18
                                                                                                                                    1980
                                                                                                                                    1990
                                                                                                                                    2000
                                       16
          Average years of schooling
14
12
10
                                       Figure 9. Average Years of Schooling among Workers and the Share of New Job
                                                                Titles in 1980, 1990, and 2000
Note: See online Appendix B for data sources and detailed definitions.
where Γ is increasing with limx→∞ Γ(x) = 1, ξ ∈ (0, 1], and T(i) denotes the time
when task iwas first introduced.
    The structure of comparative advantage ensures that there exists a threshold task
Msuch that high-skill labor performs tasks in [M, N], low-skill labor performs tasks
in ( I *, M ), and capital performs tasks in [N − 1, I *]. In what follows, we denote the
wages of high and low-skill labor by W        and W
                                             H         L, respectively, and to simplify the
discussion, we focus on the economy with exogenous technology and assume that the
supply of high-skill labor is fixed at Hand the supply of low-skill labor is fixed at L        .
  (ii)	If ξ = 1  , in the unique BGP W            H     (t) and WL  (t) grow at the same rate as
         the economy, the wage gap, WH                 (t )/WL  (t ), remains constant, and capital,
         low-skill, and high-skill workers perform constant shares of tasks. Moreover,
         limt→∞ WH  (t )/WL  (t)is decreasing in n. Consequently, a permanent increase
         in Nraises the wage gap WH (t )/WL  (t)in the short run, but reduces it in the
         long run, while a permanent increase in I raises the wage gap in both the
         short and the long run.
     Like all remaining proofs in the paper, the proof of this proposition is in online
Appendix B.
     When   ξ < 1 , this extension confirms the pessimistic scenario about the
implications of new technologies for wage inequality and the employment prospects
 of low-skill workers : both automation and the creation of new tasks increase inequal-
 ity, the former because it displaces low-skill workers ahead of h igh-skill workers,
 and the latter because it directly benefits high-skill workers who have a comparative
 advantage in newer, more complex tasks relative to low-skill workers. As a result,
 low-skill workers are progressively squeezed into a smaller and smaller set of tasks,
 and wage inequality grows without bound.
     However, our extended model also identifies a countervailing force, which becomes
 particularly potent when ξ = 1. Because new tasks become standardized, they can
 over time be as productively used by low-skill workers. In this case, automation
 and the creation of new tasks still reduce the relative earnings of low-skill workers
 in the short run, but their long-run implications are very different. In the long run,
 inequality is decreasing in n (because a higher ntranslates into a greater range of
  tasks for low-skill workers). Consequently, automation increases inequality both in
  the short and the long run. The creation of new tasks, which leads to a permanently
  higher level of n, increases inequality in the short run but reduces it in the long
  run. These observations suggest that inequality may be high following a period of
  adjustment in which the labor share first declines (due to increases in automation),
  and then recovers (due to the introduction and later standardization of new tasks).
1522                                        THE AMERICAN ECONOMIC REVIEW                                                                                      JUNE 2018
Here π
       I  (t, i )and πN  (t, i )denote the flow profits from automating and creating new
tasks, respectively, which are given by the formulas in equations (23) and (24).
   For a firm creating a new task i , let T  N(i)denote the time at which it will be replaced
by a technology allowing the automation of this task. Likewise, let T                                           I(i) denote
the time at which an automated task iwill be replaced by a new task using labor.
Since firms anticipate these deterministic replacement dates, their value functions
also satisfy the boundary conditions                      VN  (T    N(i ), i ) = 0and 
                                                                                                VI (T  I(i ), i ) = 0.
Together with these boundary conditions, the Bellman equations solve for
                                                                                                                                               ˆ
                                                                                                                                            ζ−σ
                  = VN  (N(t ), t ) = b∫ 
                                                                                                                         W(τ )
                                                                                                                      ( γ(N(t )) )
                                                      T  N(N(t)) −∫  (R(s)−δ)ds
                                                                                              τ
V  CD
      N  (t )                                                         e            t                  Y(τ)  _
                                                                                                                                             dτ,
                                                  t
                                                                                                                                                                ζ−ˆ
                                                                                                                                                                   
                                                                                                                                                                   σ
                                                                                                                                            W(τ )
                                                                                                                 (                         γ(I(t )) })
                  = VI (I(t ), t ) = b∫ 
                                                                                                                            {
                                                 T  I(I(t)) −∫  (R(s)−δ)ds
                                                                                      τ
     I  (t )
V  CD                                                      e               t                     Y(τ ) min R(τ ), _
                                                                                                                                                                dτ.
                                             t
   For reasons that will become evident, we modify the innovation possibilities
frontier to
Here, the function ι(n(t ))is included and assumed to be nondecreasing to capture the
 possibility that automating tasks closer to the frontier (defined as the h ighest-indexed
 task available) may be more difficult.
    Let us again define the normalized value functions as                                                                 I    (n)
                                                                                                                      v  CD
             _
              V  I  (t)
                  CD
                                                                 
                                                                 V
                                                                 _   CD
                                                                          
                                                                           (t)
= limt→∞                           N  (n) = limt→∞
                           and v  CD                             N
                                                                                . In a BGP, the normalized value
               Y(t)                                                Y(t)
functions only depend on nbecause newly-created tasks are automated after a
 period of length T  N(N(t)) − t = n/Δ , and newly-automated tasks are replaced by
                                                                                                      κ  κ  ι(n)
 new ones after a period of length T               I(I(t)) − t = _      1 − n  , where Δ
                                                                                                = _ I N                        S is
                                                                                  Δ                 κI  ι(n) + κN 
VOL. 108 NO. 6            ACEMOGLU AND RESTREPO: THE RACE BETWEEN MAN AND MACHINE                              1523
the endogenous rate at which Nand Igrow. The endogenous value of nin an interior
BGP satisfies
     The next proposition focuses on interior BGPs and shows that, because of
c reative destruction, we must impose additional assumptions on the function ι(n)
 to g uarantee stability.
                                                                                       _
PROPOSITION 8 (Equilibrium with Creative Destruction): Suppose that ρ > ρ             ,
Assumptions 1 ′, 2, and 4 hold, and there is creative destruction of profits. Then,
                     _                 _                                              _
        There exist ι  and ι_ < ι  such that if ι (0) < ι_ and ι (1) >  
    (i)	                                                                              ι , then there is
                                                                                     _
        at least one locally stable interior BGP with n (t ) = n ∈ (  n ( ρ), 1).
                                                                                        _
   (ii) If ι (n) is constant, there is no stable interior BGP (with n(t ) = n ∈ (  n ( ρ), 1)).
         Any stable BGP involves n(t ) → 0or n(t ) → 1.
        The first part of the proposition follows from an analogous argument to that in the
  proof of Proposition 6, with the only difference being that, because of the presence
  of the function ι (n)in equation (30), the key condition that pins down n  becomes
  κI ι(n) v  CD
                  I  (n) = κN
                                 v  CD
                                         N  (n).
        The major difference with our previous analysis is that creative destruction
introduces a new source of instability. Unlike the previous case with no creative
 destruction, we now have that v  CD             I  (n)is decreasing in n. As more tasks are automated,
 the rental rate remains unchanged and newly-automated tasks will be replaced less
 frequently (recall that newly-automated tasks are replaced after (1 − n )/Δ units
 of time). As a result, automating more tasks renders further automation more
 profitable. Moreover, v  CD          N  (n)continues to be increasing in n. This is for two reasons:
first, as before, the productivity effect ensures that the effective wage in new tasks,
wN (n), is decreasing in n ; and second, because newly-created tasks are automated
after n/Δunits of time, an increase in n increases the present discounted value of
  profits from new tasks. These observations imply that, if ι(n)were constant, the
  intersection between the curves κN v  CD             N  (n)and κIι(n) v  I  (n)would correspond to
                                                                                          CD
an unstable BGP.
C. Welfare
   (i)	
       Consider the baseline model without labor market frictions, where the
       representative household chooses the amount of labor without constraints
        and thus W/C = ν ′(L). Then,
                                                     σ(( γ(I) )                        )
                                                                        1−ˆ
                                                                           σ
                                          B  ˆσ−1   _
	_      (             )               _____                W    − R  1−ˆσ  > 0,
   d  =  Ce  −ν(L)       1−θ
    dI                                    1 − ˆ
                                                        ˆ(                  ( γ(N) ) )
                                                                                           ˆ
                                                                                         1−σ
                                             B  σˆ−1  R  1−σ
	 _        (            )                 _____                     ˆ−  _
   d  =  Ce  −ν(L)      1−θ
                                                                                W      > 0.
   dN                                        1 − σ
VOL. 108 NO. 6               ACEMOGLU AND RESTREPO: THE RACE BETWEEN MAN AND MACHINE                                               1525
   (ii)	
        Suppose that there are labor market frictions, so that employment is
        constrained by a quasi-labor supply curve L ≤ Lqs(ω). Suppose also
        
        that the quasi-labor supply schedule L                qs(ω) is increasing in ω
                                                                                              , has an
        elasticity ~ε  L > 0  , and is binding in the sense that W/C > ν ′ (L). Then,
                                                                                                              ~ ε 
                                 [ 1 − σ ˆ (( γ(I) )                        )                          ˆσ +  εL ]
                                        ˆ−1
                              1−θ B  σ                     1−ˆσ
	 _ = ( Ce  −ν(L))   ____                W    − R  1−ˆσ − L(_
                                                                                         W − ν ′(L))_____
   d                                           _
                                                                                                       L~    ΛI    ≶ 0,
    dI                                                                                    C
                                                                                                            ~ ε 
                              [ ˆ(                          ( γ(N) ) )                                 ˆσ +  εL ]
                                                                          1−ˆσ
                                                                 W     + L(_
                                                                                     W − ν′ (L))_____
                           1−θ B  ˆσ−1
	_ = (
 d
        Ce  −ν(L))   ___
                                 1 − σ  R  1−ˆσ−  _                                      L~    ΛN   > 0.
  dN                                                                                  C
     The first part of the proposition shows that both types of technological
i mprovements increase welfare when the labor market has no frictions. In this case,
 automation increases productivity by substituting cheaper capital for human labor,
 and this leads to less work for workers, but since they were previously choosing
 labor supply optimally, a small reduction in employment does not have a first-order
 impact on welfare, and overall welfare increases. The implications of the creation of
 new tasks are similar.
     The situation is quite different in the presence of labor market frictions, however,
 as shown in the second part. Automation again increases productivity and reduces
 employment. But now, because workers are constrained in their labor supply choices,
 the lower employment that results from automation has a first-order negative effect on
 their welfare. Consequently, automation can reduce welfare if the productivity gains,
 captured by the first term, are not sufficiently large to compensate for the second,
 negative term. Interestingly, in this case new tasks increase welfare even more than
 before, because they not only raise productivity but also expand e mployment, and
 by the same logic, the increase in labor supply has a welfare b enefit for the workers
 (since they were previously constrained in their employment).
     An important implication of this analysis emphasized further in online Appendix B
 is that when labor market frictions are present and the direction of t echnological change
 is endogenized, there will be a force toward excessive a utomation. In particular, in this
 case, assuming that labor market frictions also constrain the social planner’s choices,
 the decentralized equilibrium involves too much effort being devoted to improving
 automation relative to what she would like, because the social planner recognizes that
 additional automation has a negative effect through employment.
V. Conclusion
labor has a comparative advantage in these new tasks. We characterize the structure
of equilibrium in such a model, showing how, given factor prices, the allocation of
tasks between capital and labor is determined both by available technology and the
endogenous choices of firms between producing with capital or labor.
      One attractive feature of task-based models is that they highlight the link between
factor prices and the range of tasks allocated to factors: when the equilibrium range
of tasks allocated to capital increases (for example, as a result of automation), the
wage relative to the rental rate and the labor share decline, and the equilibrium wage
rate may also fall. Conversely, as the equilibrium range of tasks allocated to labor
increases, the opposite result obtains. In our model, because the supply of labor is
elastic, automation also tends to reduce employment, while the creation of new tasks
increases employment. These results highlight that, while both types of technological
changes undergird economic growth, they have very different implications for the
factor distribution of income and employment.
      Our full model endogenizes the direction of research toward automation and
the creation of new tasks. If in the long run capital is very cheap relative to labor,
automation technologies will advance rapidly and labor will become redundant.
However, when the long-run rental rate of capital is not so low relative to labor, our
framework generates a BGP in which both types of innovation go h and-in-hand.
Moreover in this case, under reasonable assumptions, the dynamic equilibrium is
unique and converges to the BGP. Underpinning this stability result is the impact
of relative factor prices on the direction of technological change. The task-based
framework,  differently from the standard models of directed technological change
 based on factor-augmenting technologies , implies that as a factor becomes cheaper,
 this not only influences the range of tasks allocated to it, but also g enerates i ncentives
 for the introduction of technologies that allow firms to utilize this factor more
 intensively. These economic incentives then imply that by reducing the e ffective
  cost of labor in the least complex tasks, automation discourages further automation
  and generates a self-correcting force toward stability.
      We show in addition that, though market forces ensure the stability of the BGP,
  they do not necessarily generate the efficient composition of technology. If the
  elastic labor supply relationship results from rents (so that there is a wedge between
   the wage and the opportunity cost of labor), there is an important new distortion:
   because firms make automation decisions according to the wage rate, not the lower
   opportunity cost of labor, there is a natural bias toward excessive automation.
      Several commentators are further concerned about the inequality implications of
   automation and related new technologies. We study this question by extending our
   model so that high-skill labor has a comparative advantage in new tasks relative to
   low-skill labor. In this case, both automation (which squeezes out tasks previously
   performed by low-skill labor) and the creation of new tasks (which directly benefits
   high-skill labor) increase inequality. Nevertheless, the long-term implications of the
   creation of new tasks could be very different, because they are later standardized and
   used by low-skill labor. If this standardization effect is sufficiently powerful, there
   exists a BGP in which not only the factor distribution of income (between capital
   and labor) but also inequality between the two skill types stays constant.
      We consider our paper to be a first step toward a systematic investigation of differ-
   ent types of technological changes that impact capital and labor differentially. Several
VOL. 108 NO. 6      ACEMOGLU AND RESTREPO: THE RACE BETWEEN MAN AND MACHINE              1527
 areas of research appear fruitful based on this first step. First, our model imposes
 that it is always the tasks at the bottom that are automated; in reality, it may be those
 in the middle (e.g., Acemoglu and Autor 2001). Incorporating the possibility of such
 “middling tasks” being automated is an important generalization, though ensuring
 a pattern of productivity growth consistent with balanced growth in this case is
 more challenging. Second, there may be technological barriers to the automation
 of certain tasks and the creation of new tasks across industries (e.g., Polanyi 1976;
 Autor, Levy, and Murnane 2003). An interesting step is to construct realistic models
 in which the sectoral composition of tasks performed by capital and labor as well
 as technology evolves endogenously and is subject to industry-level technological
constraints (e.g., on the feasibility or speed of automation). Third, in this paper we
have focused on the creation of new l abor-intensive tasks as the type of t echnological
change that complements labor and plays a countervailing role against a utomation.
Another interesting area is to theoretically and empirically investigate different types
of technologies that may complement labor. Fourth, our analysis of the creation of
new tasks and standardization abstracted from the need for workers to acquire new
skills to work in such tasks. In practice, the acquisition of new skills may need
to go hand-in-hand with workers shifting to newer tasks, and the inability of the
educational system to adapt to the requirements of these new tasks could become
a bottleneck and prevent the rebound in the demand for labor following a wave of
automation. Finally, and perhaps most important, our model highlights the need for
additional empirical evidence on how automation impacts employment and wages
(which we investigate in Acemoglu and Restrepo 2017a) and how the incentives
for automation and the creation of new tasks respond to policies, factor prices, and
supplies (some aspects of which are studied in Acemoglu and Restrepo 2018b).
Appendix A: Proofs
A. General Model
  The analysis in the text was carried out under Assumption 2, which imposed
η → 0or  ζ = 1 , and significantly simplified some of the key expressions.
Throughout the Appendix, we relax Assumption 2 and replace it with the following.
ASSUMPTION 2′: One of the following three conditions holds: (i) η → 0; (ii)
ζ = 1; or (iii)
                                              max{1, σ}
                                  γ (N − 1)
                             ( γ (N) )
(A1)             |σ − ζ| <  ________
                                                  ________________
                                                              1
                                                                  |1 − ζ|
                                                                          .
                                                          (_____
                                                               γ(N − 1) ) 
                                                                γ (N)
                                                                                   −1
   All of our qualitative results remain true and will be proved under this more general
assumption. Intuitively, the conditions in Assumption 2 ensured          homotheticity
(see footnote 12). Assumption 2′, on the other hand, requires that the departure from
homotheticity is small relative to the inverse of the productivity gains from new
tasks (where γ  (N )/γ (N − 1)measures these productivity gains).
1528                                         THE AMERICAN ECONOMIC REVIEW                                                    JUNE 2018
(A2) p(i ) =
         ⎧
         ⎪c  (min{R, _
                                                                                                                   _
                                                                                                                     1  
                     { γ(i) } ]
                             γ(i) })      [
                                                                                                               1−ζ 1−ζ
      + (1 − η) min  R, _
              u
                             W    =  η ψ 
                             W        if i ≤ I     1−ζ
 ⎨       
         ⎪c   _
	                                                    .
                   1                                                              _
                                                                                     
         ⎩ ( γ(i) )                [                              ( γ(i) )          ]
                                                                              1−ζ 1−ζ
              u
                     W   =  η ψ    1−ζ
                                                + (1 − η)  _
                                                                W                                                  if i > I
Here c  u( ⋅ )is the unit cost of production for task i , derived from the task production
functions, (2) and (3). Naturally, this equation simplifies to (5) under Assumption 2.
   From equations (5) and (7), equilibrium levels of task production are
⎧ ˆσ−1 u −σ
         ⎪                            (     { γ(i) })
           
           B         Yc         min     R,    _
                                                          W      if i ≤ I
	       ⎨    
 y(i ) =                                                                        .
         ⎪B  σ
                                                  −σ
                                   ( γ(i) )
                   ˆ−1
                       Yc  u _    W                          if i > I
         ⎩
  Combining this with equations (2) and (3), we obtain the task-level demands for
capital and labor as
            {0
              B  ˆσ−1  (1 − η ) Yc  u(R)  ζ−σR  −ζ if i ≤ I *
	  k(i ) =      
                                                                                
                                                                      if i > I *
and
         ⎧0                                                                       if i ≤ I *
                               ⎪
         ⎨     
 l(i ) =                                                           ζ−σ                     .
                                                         ( γ(i) )
	
         ⎪B  ˆσ−1(1 − η ) Yγ (i)  ζ−1c  u _
                                                            W    W  −ζ if i > I*
         ⎩
  Aggregating the preceding two equations across tasks, we obtain the following
capital and labor market-clearing equations,
(A3) B σˆ−1 (1 − η ) Y( I ∗− N + 1) c u(R) ζ−σR −ζ = K, 
and
                                                                   ( γ(i) )
                                                                      W                             s(_
                                                                                       W  −ζdi = L           W )
                                                                                                                      .
                                    N
                                  I                                                                               RK
   Finally, from the choice of aggregate output as the numéraire, we obtain a
generalized version of the ideal price condition,
which again simplifies to the ideal price index condition in the text, (10), under
Assumption 2.
VOL. 108 NO. 6             ACEMOGLU AND RESTREPO: THE RACE BETWEEN MAN AND MACHINE                                   1529
PROOF OF PROPOSITION 1:
   We prove Proposition 1 under the more general Assumption 2′.
   To prove the existence and uniqueness of the equilibrium, we proceed in three
steps. First, we show that I *, N, and K  determine unique equilibrium values for
R, W, and Y  , thus allowing us to define the function ω                ( I *, N, K)representing the
relative demand for labor, which was introduced in the text. Second, we prove a
lemma which ensures that ω( I *, N, K)is decreasing in I* (and increasing in N                       ).
Third, we show that min   {I,  I }is nondecreasing in ω
                                       ~
                                                                         and conclude that there is
                    ω *, I *}such that I * = min   {I,  I} and ω * = ω( I *, N, K). This pair
                                                              ~
a unique pair {
uniquely d etermines the equilibrium relative factor prices and the range of tasks that
get effectively automated.
   Step 1: Consider I *, N, and Ksuch that I * ∈ (N − 1, N). Then, R, W, and Y satisfy
the system of equations given by capital and labor market-clearing, equations (A3)
and (A4), and the ideal price index, equation (A5).
   Taking the ratio of (A3) and (A4), we obtain
                                            (    γ(i ) )
                                                 W    W  −ζdi
                                    N
                I
       ____________________________
            =
(A6)	                                                                                _
                                                                                         1 .
       L  s(_  W )
                                                                                       K
                          (I * − N + 1) c  u(R)  ζ−σR  −ζ
                    RK
 In view of the fact that L    sis increasing and the function c   u(x)  ζ−σx  −ζis decreasing in
x (as it can be verified directly by differentiation), it follows that the left-hand side
is decreasing in Wand increasing in R. Therefore, (A6) defines an u pward-sloping
 relationship between W     and R, which we refer to as the relative demand curve
 (because it traces the combinations of wage and rental rate consistent with the
 demand for labor relative to capital being equal to the supply of labor divided by
 the capital stock).
    On the other hand, inspection of equation (A5) readily shows that this equation
 gives a downward-sloping locus between Rand Was shown in Figure A1, which we
 refer to as the ideal price curve.
    The unique intersection of the relative demand and ideal price curves determines
 the equilibrium factor prices for given I *, N, and K. Because the relative demand
curve is upward-sloping and the ideal price index curve is downward-sloping, there
can be at most one intersection. To prove that there always exists an intersection,
observe that      limx→0 c  u(x)  ζ−σx  −ζ = ∞, and that  limx→∞ c  u(x)  ζ−σx  −ζ = 0.
These observations imply that as W                      → 0, the numerator of (A6) limits to infinity,
and so must the denominator, i.e., R → 0. This proves that the relative demand
curve starts from the origin. Similarly, as W                     → ∞, the numerator of (A6) limits
to zero, and so must the denominator (i.e., R → ∞). This then implies that the
relative demand curve goes to infinity as R                   → ∞. Thus, the upward-sloping relative
demand curve necessarily starts below and ends above the ideal price curve, which
ensures that there always exists an intersection between these curves. The unique
1530                                  THE AMERICAN ECONOMIC REVIEW                                                JUNE 2018
W (I, N, K )
R (I, N, K ) R
   Although the general proof for this lemma is long (and thus relegated to online
Appendix B), the lemma is trivial under Assumption 2. In that case, equation (A6)
yields
                                                                      ∫
                                                                         γ (i)  ˆσ−1  di
                                                                         N
   When Assumption 2 holds we can explicitly solve for aggregate output. In this
case, the market-clearing conditions, (8) and (9), become
                                                                                                                                                       __
                                                                                                                                                         1  
                                                                                                            − η )∫ * 
                                                                  __
                                                      Y       σ ,
                                                                    1
                                                                           W =  (
                                                                                                                                                 L)
                                                                                                                                                          ˆ
                                                                                                                                                           
                                                                                                                                                           σ
	R = ( B  ˆσ−1  (1   −   η) (I*   − N + 1)  __ )                             B  σˆ −1  (1                              ˆ
                                                                                                                                        −1 _
                                                                                                                           γ (i )    di      ,
                                                                                                                                       σ
                                                                                                                         N                      Y
                                                             K                                                       I
which combined with (10) yields (12), completing the proof of Proposition 1. ∎
LEMMA A2 (Derivation of Figure 4): Suppose that Assumptions 1′and 2′ hold.
Consider a path of technology where n(t ) → n and g(t ) → g, consumption grows
                                                                                _
at the rate gand the Euler equation (17) holds. Then, there exist ρ
                                                                     m in < ρ
                                                                                   < ρmax
such that:
                            _                                                                             _
   (i) If ρ ∈ [ ρmin , ρ
                              ]  , there is a decreasing function ~               n ) : [ ρm
                                                                                   (ρ            in , ρ
                                                                                                             ]   → (0, 1]
       such that for all n >  ~           n ρ) we have w
                                            (                   I (n ) > ρ + δ + θg > wN (n) and
                                                                                                _
       ρ + δ + θg = wN  ( ~       n( ρ )). Moreover, ~
                                                            n  ρm
                                                            (           in ) = 1 and ~ n ρ
                                                                                           (   ) = 0.
                 _                                                         _          _
  (ii) If ρ ∈ [ ρ
                   , ρm
                         ax ], there is an increasing function   n ( ρ ) : [ ρ  , ρm ax ]   → (0, 1]
                                        _
       such that for all n >   n (ρ)  , we have w    I ( n ) > ρ + δ + θg > wN  (n) and
                                    _                    _                            __
       ρ + δ + θg = wI (  n ( ρ )). Moreover,   n ( ρm ax ) = 1and   n (ρ
                                                                                            ) = 0.
                  in  , for all n ∈ [0, 1] we have wI (n ) ≥ wN  (n ) > ρ + δ + θg,
  (iv) If ρ < ρm
       which implies that new tasks do not increase aggregate output and will not be
       adopted for any n ∈ [0, 1].
PROOF:
  Because consumption grows at the rate gand the Euler equation (17) holds,
we have
 R(t ) = ρ + δ + θg.
	
                                                                                     ∫0              w (n)
                                                                                                  ( γ(i ) )
                                                                                        n                           1−σ
(A7)               B  1−σˆ =   (1 − n) c  ( ρ + δ + θg) 
                                                     u                     1−σ
                                                                                 +    c   _
                                                                                              u
                                                                                                     I                  di
                                                                                       0
1532                                  THE AMERICAN ECONOMIC REVIEW                                                              JUNE 2018
                                    × __________________________________
                                                                                        1
                                       ∫
                                          n                                                                                           ,
                                        0   c  ( wN  (n ) γ(i )) c  (wN  (n) γ (i ))  wN  (n) γ (i ) di
                                                     u′                           u                         −σ
 w  ′N(  n)
 _____
	                  1 ( c  u(ρ + δ + θg)  1−σ− c  u( wI (n ))  1−σ)
                = _
  wN (n)       1−σ
 × ____________________________________
                                                            1
    ∫
	                                                                                                         .
                   u′ 
       n
     0   c    ( wN  (n ) γ (i )) c  (wN  (n) γ(i ))  −σwN  (n ) γ (i ) di
                                                      u
	_                                          1 ∫
    1 c  u( ρ  + δ + θg)  1−σ = _     0  c  u( ρmin + δ + θg)  1−σdi
                                                     1
   1−σ               min
                                             1−σ
                                                              1 ∫
                                                           = _
                                                                    1
                                                                     c  u( wN  (1))  1−σdi
                                                             1−σ 0
                                                              1 ∫
                                                           < _
                                                                    1
                                                                     c  u(wN  (1) γ (i))  1−σdi
                                                             1−σ 0
                                                           = _1 B        ˆ
                                                                     1−σ
                                                              1−σ
                                                                            _
                                                           = _
                                                              1 c  u(ρ
                                                                               + δ + θg)  1−σ.
                                                             1−σ
                                                                             _
     Because the function _
                           1  c  u(x)  1−σis increasing, we have ρ > ρmin.
                           1−σ
as claimed. On the other hand, for all n <  ~   n ρ ), we have wN  (n) > ρ + δ + θg.
                                                  (
                                          _
                                  ax > ρ
   To prove part (ii), define ρm           as
 ρm
	  ax + δ + θg = wI (1).
                  _
    To show that ρ
                     < ρm
                           ax , a similar argument establishes
	_                                          1 ∫
    1 c  u( ρ  + δ + θg)  1−σ = _      1
                                                                       + δ + θg)  1−σdi
                                                     c  u( ρmax
   1−σ               max
                                             1−σ 0
                                                            1 ∫
                                                         > _
                                                                  1
                                                                   c  u(wI (1)/ γ (i))  1−σdi
                                                           1−σ 0
                                                                           _
                                                         = _
                                                            1 c  u( ρ
                                                                              + δ + θg)  1−σ.
                                                           1−σ
                                                                            _
    Because the function _
                          1  c  u(x)  1−σis increasing, we have ρ < ρm
                                                                                      ax.
                          1−σ                      _
    Using (A7), we define the function n (ρ)implicitly as
                                                                       _
	B  1−ˆσ = (1 − n ( ρ)) c  u( ρ + δ + θg)  1−σ+ ∫
                        _                                             n ( ρ)
                                                                  0  c  u(( ρ + δ + θg)/γ( i ))  1−σdi.
                                                                                                _
  Differentiating this expression with respect to ρ shows that_  n (ρ)is increasing in ρ
         _                               _                                 __
  on [  ρ
           , ρm
                 ax ]. Moreover,   n ( ρmax ) = 1and   n (ρ   ) = 0  , so   n ( ⋅ )is well defined for
                  _
all ρ    ≥ ρ       .
                           _
      For      n =   n (ρ) , we have               wI ( ~
                                                                  n( ρ )) = ρ + δ + θg > wN  ( ~   n( ρ )). Thus, the
                                                                                    _                                   _
  formulas for w  ′I(  n) and w  N′   (n)show that, for ρ         ∈ [ ρ
                                                                                      , ρmax
                                                                                             ]and starting at  n (ρ),
                                                                                                                        _
wN (n)is decreasing in n and w                I (n)is increasing in n . Thus, for all n >   n ( ρ ),
  we have
                         _                                      _
 wI (n) > wI (  n ( ρ ))   = ρ + δ + θg > wN  (  n ( ρ ))   > wN  (n ),
	
                                                          _
as claimed. On the other hand, for all n <   n ( ρ ) , we have wI (n ) < ρ + δ + θg.
                                 _
In this region we have n * =   n ( ρ) > n , and not all automated tasks are produced
with capital.
   To prove part (iii), note that for ρ > ρm   ax , we have
The expressions for w  ′I  (n) and w  ′N(  n)show that in this region, as ndecreases, so
does wI (n). Thus, ρ + δ + θg > wI ( n ) > wN  (n), and for all these values we have
n* = 1 , and no task will be produced with capital.
  To prove part (iv), note that for ρ < ρm                in, we have
The expressions for w  ′I  (n) and w  ′N  (N)show that, in this region, as n decreases, both
wI (n), wN (n)increase. Thus, ρ
                                         + δ + θg < wN (n) < wI (n)and for these v alues of
ρ , new tasks do not raise aggregate output. ∎
PROOF OF PROPOSITION 4:
   We prove this proposition under the more general Assumption 2′.
   We start by deriving necessary conditions on N(t)and I(t)such that the economy
admits a BGP, and then show that these are also sufficient for establishing the exis-
tence of a unique and globally stable BGP.
   The capital market-clearing condition implies that
                                       K(t)
 c  u(R(t))  σ−ζR (t)  ζ_
	                                          = B  σˆ−1  (1 − η ) (1 − n*(t)).
                                       Y(t)
Because in BGP the rental rate of capital, R       (t)
                                                       , and the capital to aggregate
               (t)/Y(t) , are constant, we must have n *(t ) = n, or in other words,
output ratio, K
labor and capital must perform constant shares of tasks.
   Lemma A2 shows that we have four possibilities corresponding to the four cases
in Proposition 4, each of which we now discuss in turn.
   (i) All Tasks Are Automated: n *(t) = n = 0. Because in this case capital
                                                                                  _
        performs all tasks, Lemma A2 implies that we must have ρ             < ρ  and
                                                                                     K K  ,
       I(t ) = N(t). In this part of the parameter space, net output is given by A
                                                   A  − δ − ρ
        and the e conomy grows at the rate ______
                                             K θ . The transversality condition, (19),
                                                                A  − δ − ρ
         is satisfied if and only if  AK − δ > ______
                                                     K
                                                       θ
                                                           
                                                             — or r > g. Moreover,
        positive growth imposes AK > δ + ρ. The generalized ideal price index
                                                                                           ˆ
        condition, equation (A5), then implies that R = c  u  −1 ( B     1−σ ), and thus
                                                                                        1−σ
                                                                                        ____
                            1−ˆσ
          K = c  u  −1 ( B     1−σ ). Under Assumption 2, this last expression further
                            ____
         A
        simplifies to AK = Bas claimed in the text.
   We now show that these necessary conditions are sufficient to generate balanced
                         _
growth. Suppose ρ < ρ   and I (t) = N(t)so that n * (t )   = 0. Because all tasks are
produced with capital, we also have FL  = 0 , and thus the representative household
supplies zero labor. Consequently, the dynamic equilibrium can be characterized as
the solution to the system of differential equations
                               C˙(t)
	 ___  = _                              1  (AK  − δ − ρ),
                               C(t)         θ
                                                                             _ θ−1
	                              K˙(t) = ( AK − δ ) K(t) − C(t)e  ν(0)  θ ,
VOL. 108 NO. 6            ACEMOGLU AND RESTREPO: THE RACE BETWEEN MAN AND MACHINE                               1535
together with the initial condition, K(0) > 0and the transversality condition,
(19). We next show that there is a unique solution to the system, and this solution
converges to the full automation BGP described in the proposition.
           c = C/K. The behavior of ~
   Define ~                             c  is governed by the differential equation,
                                        
This differential equation has a stable rest point at zero and an unstable rest point
at c B = (Ak − δ − _
                              1  ( AK  − δ − ρ))e  ν(0)  θ  > 0. There are therefore three possible
                                                                 _ 1−θ
                               θ
equilibrium paths for ~c(t): (i) it immediately jumps to cB and stays there; (ii) it starts
at [ 0, cB)and converges to zero; (iii) it starts at (c B , ∞)and diverges. The second and
third possibilities violate, respectively, the transversality condition (19) (because
the capital stock would grow at the rate A                          k − δ , implying r = g), and the resource
constraint (when ~c(t ) = ∞). The first possibility, on the other hand, satisfies the
transversality condition (since asymptotically it involves r > g), and yields an
equilibrium path. In this path the economy converges to a unique BGP in which
                                            AK  − δ − ρ
           (t )grow at a constant rate  ______
C(t )and K                                          θ
                                                             , thus also establishing uniqueness
and global stability.
     To establish uniqueness, let wB denote the BGP value of the wage rate, kBthe BGP
value of the normalized capital stock, c Bthe BGP value of normalized consumption,
LBthe BGP value of employment, and RB the BGP value of the rental rate of capital.
These variables are, by definition, all constant. Then, the Euler e quation, (17), implies
RB = ρ + δ + θg, and because R  B = FK  ( kB , LB ; n), we must also have k B /LB  = ϕ,
where ϕ is the unique solution to
 FK(ϕ, 1 ; n ) = ρ + δ + θg.
	
1536                                   THE AMERICAN ECONOMIC REVIEW                          JUNE 2018
                                                            _
Lemma B1 in online Appendix B shows that, for n > max  {  n (ρ), ñ(ρ)}  , F(ϕ, 1; n)
satisfies the following Inada conditions,
	 lim FK  (ϕ, 1; n ) > ρ + δ + θg,   lim FK  (ϕ, 1; n) < ρ + δ + θg,
              ϕ→0                                    ϕ→∞
which ensure that ϕ is well defined. Combining the labor supply condition, (18),
                                                                                  _____       F  (ϕ, 1)
with the resource constraint, (20), we obtain ( F(ϕ, 1; n ) − (δ + g )ϕ) LB =  L
                                                                                   ν ′ ( L )
                                                                                                 .
                                                                                                      B
The left-hand side of this equation is linear and increasing in L (the concavity of
Fin k implies that F(ϕ, 1; n) > ϕ FK(ϕ, 1; n) > (δ + g )ϕ), while the right-hand
side is decreasing in L                                                                B  > 0 that
                                   . This ensures that there exists a unique value L
satisfies this equation, and also pins down the value of the normalized capital stock
 as kB = ϕ LB  . Finally, cB is uniquely determined from the resource constraint,
 (20), as
                                                                        _
 cB = (F(ϕ, 1; n) − (δ + g )ϕ) LBe  ν(LB )                   
                                                                              .
                                                                        1−θ
	                                                                        θ
Note also that there cannot be any BGP with         LB  = 0 
                                                                , since this would
imply cB = 0from the resource constraint, (20). But then we would have
        θ−1         F  (ϕ, 1; n)
ν ′ (0) e    θ ν(0) < ______
        ___                    L
                                 cB   , which contradicts the labor supply optimality c ondition,
 (18). Hence, the only possible BGP is one in which k (t) = kB   , c(t) = cB , and
 L(t) = LB > 0           . Moreover, in view of the fact that ρ          + (θ − 1 ) AΔ > 0  , this
 candidate BGP satisfies the transversality condition (19), and is indeed the unique
  BGP. The proof of the global stability of this unique BGP is similar to the analysis
  of global stability of the neoclassical growth model with endogenous labor supply,
  and for completeness, we provide the details in online Appendix B.
 (iii) Interior Equilibrium in which Automated Tasks Are Eventually but Not
                                                                       _
        Immediately Produced with Capital:                n *(t) =   n ( ρ) > n(t). Because
       capital does not immediately perform all automated tasks, Lemma A2 implies
                         _                _
        that n (t) <   n ( ρ)and ρ > ρ
                                            . Moreover, because R(t) is constant, the ideal
        price index condition, (A5), implies that W(t)/γ( I *(t))must be constant too.
        Thus, to generate constant growth of wages we must have I˙* (t) = Δ ≤ I(t),
                                                                                          _
        so that the growth rate of the economy is given by AΔ. Because n * (t) =   n ( ρ),
        this also implies that N˙ (t) = Δ  . Finally, the transversality condition, (19),
        is satisfied in view of the fact that this part of the proposition imposes
        ρ + (θ − 1) AΔ > 0. The uniqueness and global stability of the BGP follow
                                                                                           _
        from an identical arguments to part (ii), with the only modification that   n ( ρ)
        plays the role of n in the preceding proof.
  (iv) All Tasks Are Always Produced with Labor: n  ∗(t ) = 1. Because labor
       performs all tasks, Lemma A2 now implies ρ > ρmax and n(t) ≥ 1, while
       the ideal price index condition, (A5), imposes that W(t)/γ (N(t))must be
        constant. Thus, to generate a constant wage, aggregate output and capital
         growth, we must have N˙ (t) = Δ, with ρ + (θ − 1)Δ > 0 (where the last
         condition again ensures transversality). To show sufficiency of these conditions
VOL. 108 NO. 6           ACEMOGLU AND RESTREPO: THE RACE BETWEEN MAN AND MACHINE                                  1537
        for balanced growth, let wB denote the BGP value of the normalized wage,
        which is defined by
 ∫                                                    ˆ.
  0   c  u(wB /γ (i))  1−σ = B  1−σ
	
                                         1
All of the results in this section apply and will be proven under Assumption 2′.
                       _
  • If n ≥ max  {   n ,  ~
                              n}, both vN (n) and vI(n) are positive and increasing in n ;
               _                             _
  • If n ≤   n ( ρ) (and ρ > ρ            ), we have κN vN  (n) > κI  vI (n) = (g) (meaning
    that it goes to 0 as g → 0);
                                          _
  • If n <  ~
              n(ρ) (and ρ < ρ              ), we have κI  vI (n) > 0 > κN  vN  (n). Moreover, in
    this region, vI (n)is decreasing and vN  (n)is increasing in n  .
PROOF:
  See online Appendix B.
PROOF OF PROPOSITION 6:
  We first show that all the scenarios described in the proposition are BGPs with
endogenous technology. We then turn to analyzing the stability of interior BGPs.
             vN (n) is negative and increasing in n. Thus, the only possible BGP in this
             region must be one with n(t ) = 0. No interior BGP exists with n ∈ (0,  ~        n ρ )).
                                                                                                  (
                                                       _
             Proposition 4 shows that for ρ < ρ        , a path for technology with n(t ) = 0
             yields balanced growth. Moreover, along this path all tasks are produced with
             capital, which implies that VI (t ) = VN  (t ) = 0. Thus, a path for technology
             in which n (t ) = 0is consistent with the equilibrium allocation of scientists.
             The resulting BGP is an equilibrium with endogenous technology.
                            _                                     _                                                                               _
   (ii) ρ     > ρ           : Suppose n(t) ≤   n (ρ). Then, we have n *(t ) =   n (ρ) and there-
                                                  _                                                         _
         fore vN  (n ) = vN (n ( ρ )) and vI(n) = vI(n (ρ))                                           . Moreover, Lemma A3
                                                 _                                  _                                 _
         implies that κN vN (n ( ρ )) > κIvI(n ( ρ))and vI(n ( ρ )) = (g) with g small
                                                     ~
             (again because S <                    S  ). Therefore, in this region this region we always have
        that all scientists will be employed to create new tasks, and thus n ̇ > 0
                                                                                                                                                                            _
         (and is uniformly bounded away from zero). But this contradicts n(t) < n ( ρ ).
                                                                               _
             Suppose, instead, that n(t) > n ( ρ ). Then, Proposition 4 shows that the
         economy admits a BGP only if n(t) = n. Thus, a necessary and sufficient
          condition for an interior BGP is (29) in the text. Consequently, each interior
                                                                                                                                        _
         BGP corresponds to a solution to this equation in (n ( ρ ), 1). Lemma A3
                                           _                       _                                                  _                                      _
             shows that at               n   , κN vN (n )is above                        κIvI(n )    , and κ         IvI(n ) = (g).
           Moreover, when κI /κN   = 0 , the entire curve κN  vN  (n)is above κI  vI (n).
           As this ratio increases, the curve κ                                      v (n)rotates up, and eventually crosses
                                                                                   _I I
           κN  vN  (n) at a point to the right of   n (ρ). This defines the threshold κ                                                           _. Above
                                                                                                          _                                                          _
          this t hreshold, there exists another threshold κ                                              such that if κ                 I /κN   > κ       , there
             is a unique intersection of κI  vI (n)and κN  vN  (n). (Note that one could have
                             _                                                                                                                                                   _
         _ κ  = κ.) By continuity, there exists ˆ                                            such that, the thresholds _
                                                                                                S                                                                  κ and  κ
                                                             ˆ                                                    κI κN 
           are defined for all S <                         S (recall that g = A  _                      κI  + κN         )
                                                                                                                                       S . It   then         follows          that
                                       ~ˆ                                              _
             for S < min  {,        S S} and κI /κN   > κ                 , there exists a unique BGP, which is
                                                                                                               _
          interior and satisfies n(t ) = n*(t) = nB  ∈ (  n , 1). For S < min  {                                                                       S, ˆ
                                                                                                                                                                         S} and
                                                                                                                                                                  ~
                                          _                                                       _
         _κ  < κI /κN   < κ        (provided that _                 κ  < κ         ), the economy admits multiple BGPs
                                                                                                                                 ~ˆ
          with e ndogenous technology. Finally, for S < min  {,                                                                  S S} and κ       I/κN   < _  κ   ,
             the only potential BGP is the corner one with n(t ) = 1as in part (iv) of
             Proposition 4. Because κ                         N  vN  (1) > κI  vI (1), this path for technology is
        consistent with the equilibrium allocation of scientists and provides a BGP
         with endogenous technology.
   Part 2: Stability Analysis: The stability analysis applies to the case in which
      _                  ~ˆ                                _
ρ > ρ   , S < min  {, 
                          S S}, and κ
                                          I/κN   > κ
                                                             . In this case, the economy admits a
                                        _
unique BGP defined by n B  ∈ (  n ( ρ ), 1). We denote by cB  , kB , and LB the values of
(normalized) consumption and capital, and employment in this BGP.
v v˙ = 0
Stable arm
Figure A2. Phase Diagram and Global Saddle Path Stability when θ = 0
                      Notes: The figure plots the locus for v˙  = 0and the locus for n˙ = 0. The unique BGP
                      is located at their interception.
and the evolution of the difference of the normalized value functions, v , satisfies the
forward-looking differential equation
ρv − v ̇ = bκI (c u(ρ + δ) ζ−σ− c u(wI) ζ−σ)− bκN (c u(wN ) ζ−σ− c u( ρ + δ ) ζ−σ)+ ( g )
      34
           This can also be verified locally from the fact that the behavior of nand  vnear the BGP can be approximated
by the linear system                             ṅ  = − ( κN  + κI  )G′ (0 ) Svand        v ̇ = ρv − Q,where Q > 0denotes the derivative of
 − M κI  c  u(wI)  ζ−σ+ M κN  c  u( wN  )  ζ−σwith respect to n  (this derivative is positive because κI  vI (n)cuts κN vN  (n)
from below at nB  ). Because the product of the eigenvalues of the characteristic polynomial of this system is
− Q( κN + κI)G′( 0) S < 0 , there is one positive and one negative eigenvalue (and their sum is ρ                                                         > 0 , so the
  positive one is larger in absolute value).
1540                              THE AMERICAN ECONOMIC REVIEW                                  JUNE 2018
that there are no equilibrium paths that are not along this stable arm. In particular, all
paths above the stable arm feature v˙ > 0and eventually n → 0and v → ∞, and
since vNis positive, vI → ∞. But this violates the transversality condition, (27).
Similarly, all paths below the stable arm feature v˙ < 0and e ventually n → 1 and
v → − ∞ , and thus vN → ∞ , once again violating the transversality condition.
REFERENCES
Acemoglu, Daron. 1998. “Why Do New Technologies Complement Skills? Directed Technical Change
   and Wage Inequality.” Quarterly Journal of Economics 113 (4): 1055–89.
Acemoglu, Daron. 2002. “Directed Technical Change.” Review of Economic Studies 69 (4): 781–809.
Acemoglu, Daron. 2003. “Labor- and Capital-Augmenting Technical Change.” Journal of European
   Economic Association 1 (1): 1–37.
Acemoglu, Daron. 2007. “Equilibrium Bias of Technology.” Econometrica 75 (5): 1371–1409.
Acemoglu, Daron. 2009. Introduction to Modern Economic Growth. Princeton, NJ: Princeton Univer-
   sity Press.
Acemoglu, Daron. 2010. “When Does Labor Scarcity Encourage Innovation?” Journal of Political
   Economy 118 (6): 1037–78.
Acemoglu, Daron, and David Autor. 2011. “Skills, Tasks and Technologies: Implications for Employ-
   ment and Earnings.” In Handbook of Labor Economics, Vol. 4B, edited by David Card and Orley
   Ashenfelter, 1043–1171. Amsterdam: Elsevier.
Acemoglu, Daron, Gino Gancia, and Fabrizio Zilibotti. 2012. “Competing Engines of Growth: Innova-
   tion and Standardization.” Journal of Economic Theory 147 (2): 570–601.
Acemoglu, Daron, Gino Gancia, and Fabrizio Zilibotti. 2015. “Offshoring and Directed Technical
   Change.” American Economic Journal: Macroeconomics 7 (3): 84–122.
Acemoglu, Daron, and Pascual Restrepo. 2017a. “Robots and Jobs: Evidence from US Labor Mar-
   kets.” National Bureau of Economic Research Working Paper 23285.
Acemoglu, Daron, and Pascual Restrepo. 2018a. “Modeling Automation.” National Bureau of Eco-
   nomic Research Working Paper 24321.
Acemoglu, Daron, and Pascual Restrepo. 2018b. “Demographics and Automation.” National Bureau of
   Economic Research Working Paper 24421.
Acemoglu, Daron, and Pascual Restrepo. 2018c. “The Race between Man and Machine: Implications
   of Technology for Growth, Factor Shares, and Employment: Dataset.” American Economic Review.
   https://doi.org/10.1257/aer.20160696.
Acemoglu, Daron, and Fabrizio Zilibotti. 2001. “Productivity Differences.” Quarterly Journal of Eco-
   nomics 116 (2): 563–606.
Aghion, Philippe, and Peter Howitt. 1992. “A Model of Growth through Creative Destruction.” Econo-
   metrica 60 (2): 323–51.
Akst, Daniel. 2013. “What Can We Learn from Past Anxiety over Automation?” Wilson Quarterly
   (Summer).
Autor, David H. 2015. “Why Are There Still So Many Jobs? The History and Future of Workplace
   Automation.” Journal of Economic Perspectives 29 (3): 3–30.
Autor, David H., and David Dorn. 2013. “The Growth of Low-Skill Service Jobs and the Polarization
   of the US Labor Market.” American Economic Review 103 (5): 1553–97.
Autor, David H., Frank Levy, and Richard J. Murnane. 2003. “The Skill Content of Recent Techno-
   logical Change: An Empirical Exploration.” Quarterly Journal of Economics 118 (4): 1279–1333.
Beaudry, Paul, David A. Green, and Benjamin M. Sand. 2016. “The Great Reversal in the Demand for
   Skill and Cognitive Tasks.” Journal of Labor Economics 34 (S1): 199–247.
Boppart, Timo, and Per Krusell. 2016. “Labor Supply in the Past, Present, and Future: A Bal-
   anced-Growth Perspective.” National Bureau of Economic Research Working Paper 22215.
Brynjolfsson, Erik, and Andrew McAfee. 2014. The Second Machine Age: Work, Progress, and Pros-
   perity in a Time of Brilliant Technologies. New York: W. W. Norton & Company.
VOL. 108 NO. 6        ACEMOGLU AND RESTREPO: THE RACE BETWEEN MAN AND MACHINE                   1541
Burstein, Ariel, Eduardo Morales, and Jonathan Vogel. 2014. “Accounting for Changes in Between-
   Group Inequality.” National Bureau of Economic Research Working Paper 20855.
Burstein, Ariel, and Jonathan Vogel. 2014. 2017. “International Trade, Technology, and the Skill Pre-
   mium.” Journal of Political Economy 125 (5): 1356–412.
Caselli, Francesco. 1999. “Technological Revolutions.” American Economic Review 89 (1): 78–102.
Caselli, Francesco, and Wilbur John Coleman II. 2006. “The World Technology Frontier.” American
   Economic Review 96 (3): 499–522.
Chandler, Alfred D., Jr. 1977. The Visible Hand: The Managerial Revolution in American Business.
   Cambridge, MA: Harvard University Press.
Costinot, Arnaud, and Jonathan Vogel. 2010. “Matching and Inequality in the World Economy.” Jour-
   nal of Political Economy 118 (4): 747–86.
Foote, Christopher L., and Richard W. Ryan. 2015. “Labor-Market Polarization over the Business
   Cycle.” In NBER Macroeconomics Annual 2014, Volume 29, edited by Jonathan A. Parker and
   Michael Woodford, 371–413. Chicago: University of Chicago Press.
Galor, Oded, and Omer Moav. 2000. “Ability-Biased Technological Transition, Wage Inequality, and
   Economic Growth.” Quarterly Journal of Economics 115 (2): 469–97.
Gancia, Gino, Andreas Müller, and Fabrizio Zilibotti. 2013. “Structural Development Accounting.” In
   Advances in Economics and Econometrics: Tenth World Congress, Vol. II, edited by Daron Acemo-
   glu, Manuel Arellano, and Eddie Dekel, 373–418. Cambridge: Cambridge University Press.
Goldin, Claudia, and Lawrence F. Katz. 2008. The Race between Education and Technology. Cam-
   bridge, MA: Harvard University Press.
Greenwood, Jeremy, and Mehmet Yorukoglu. 1997. “1974.” Carnegie-Rochester Conference Series
   on Public Policy 46: 49–95.
Grossman, Gene M., and Elhanan Helpman. 1991. “Quality Ladders in the Theory of Growth.” Review
   of Economic Studies 58 (1): 43–61.
Grossman, Gene M., Elhanan Helpman, Ezra Oberfield, and Thomas Sampson. 2017. “Balanced
   Growth Despite Uzawa.” American Economic Review 107 (4): 1293–312.
Grossman, Gene M., and Esteban Rossi-Hansberg. 2008. “Trading Tasks: A Simple Theory of Off-
   shoring.” American Economic Review 98 (5): 1978–97.
Hawkins, William, Ryan Michaels, and Jiyoon Oh. 2015. “The Joint Dynamics of Capital and Employ-
   ment at the Plant Level.” Unpublished.
Hémous, David, and Morten Olsen. 2016. “The Rise of the Machines: Automation, Horizontal Innova-
   tion and Income Inequality.” Unpublished.
Jaimovich, Nir, and Henry E. Siu. 2014. “The Trend Is the Cycle: Job Polarization and Jobless Recov-
   eries.” National Bureau of Economic Research Working Paper 18334.
Jones, Charles I. 2005. “The Shape of Production Functions and the Direction of Technical Change.”
   Quarterly Journal of Economics 120 (2): 517–49.
Karabarbounis, Loukas, and Brent Neiman. 2014. “The Global Decline of the Labor Share.” Quar-
   terly Journal of Economics 129 (1): 61–103.
Keynes, John Maynard. 1930. “Economic Possibilities for Our Grandchildren.” In Essays in Persua-
   sion. New York: Norton & Co.
Kiley, Michael T. 1999. “The Supply of Skilled Labor and Skill-Biased Technological Progress.” Eco-
   nomic Journal 109 (458): 708–24.
King, Robert G., Charles I. Plosser, and Sergio T. Rebelo. 1988. “Production, Growth and Business
   Cycles: I. The Basic Neoclassical Model.” Journal of Monetary Economics 21 (2-3): 195–232.
Kotlikoff, Laurence J., and Jeffrey D. Sachs. 2012. “Smart Machines and Long-Term Misery.” National
   Bureau of Economic Research Working Paper 18629.
Landes, David S. 1969. The Unbound Prometheus. New York: Cambridge University Press.
Lin, Jeffrey. 2011. “Technological Adaptation, Cities, and New Work.” Review of Economics and Sta-
   tistics 93 (2): 554–74.
Mokyr, Joel. 1990. The Lever of Riches: Technological Creativity and Economic Progress. New York:
   Oxford University Press.
Nelson, Richard R., and Edmund S. Phelps. 1966. “Investment in Humans, Technological Diffusion,
   and Economic Growth.” American Economic Review 56 (1/2): 69–75.
Oberfield, Ezra, and Devesh Raval. 2014. “Micro Data and Macro Technology.” National Bureau of
   Economic Research Working Paper 20452.
Polanyi, Michael. 1976. The Tacit Dimension. Chicago: University of Chicago Press.
Rodríguez-Clare, Andrés. 2010. “Offshoring in a Ricardian World.” American Economic Journal:
   Macroeconomics 2 (2): 227–58.
Roy, A. D. 1951. “Some Thoughts on the Distribution of Earnings.” Oxford Economic Papers 3 (2):
   135–46.
1542                            THE AMERICAN ECONOMIC REVIEW                              JUNE 2018
Schultz, Theodore W. 1975. “The Value of the Ability to Deal with Disequilibria.” Journal of Economic
   Literature 13 (3): 827–46.
Thoenig, Mathias, and Thierry Verdier. 2003. “A Theory of Defensive Skill-Biased Innovation and
   Globalization.” American Economic Review 93 (3): 709–28.
Zeira, Joseph. 1998. “Workers, Machines, and Economic Growth.” Quarterly Journal of Economics
   113 (4): 1091–117.
Zeira, Joseph. 2006. “Machines as Engines of Growth.” Dynamics, Economic Growth, and Interna-
   tional Trade Conference Papers 011059.