Introduction

The rapid development of artificial intelligence (AI) offers new opportunities for the automation of non-routine cognitive tasks ([2], [6], [7]). This new wave of automation builds on top of the previous wave of routine task automation ([1], [3]). While empirical evidence shows that the former wave has increased wage inequality between routine and non-routine workers ([4]), AI seems to have the opposite effect ([10]). In any case, however, both waves of automation contribute to the shift of factor income from workers towards capital owners, which has led to calls for a (higher) taxation of capital.

In this note we analyze whether taxing AI is a reasonable policy. Extending the dynamic taxation setup of [11], we identify the socially optimal taxation of traditional capital and AI. Our results show that taxing AI becomes optimal when cognitive workers start to consider switching to manual jobs. Given the rapid progress in AI capabilities and cognitive automation, this condition could soon be fulfilled.

The Model

We consider an economy populated by a continuum of agents of measure one. Following [11], each agent either exhibits an advantage in cognitive or in manual tasks depending on agent type h∈H={c,m}h \in H = \{c,m\}. The fraction of type-hh agents is πh\pi_h and the type cannot be changed. Additionally, there are two types of capital: traditional capital (machines, assembly lines, structures, etc.) denoted by KK, and AI capital denoted by AIAI. This four-factor setup resembles the AI and skill premium setup ([5]), the equipment, structures, and skill premium setup ([9]), and the hardware–software framework ([8]).

Production

Each agent of type hh works lhl_h units of time and produces lh⋅zhl_h \cdot z_h units of effective labor, while the aggregate amount of effective hh-type labor is given by Lh=πhlhzhL_h = \pi_h l_h z_h. The production function is Y=F(Lc,Lm,K,AI)Y = F(L_c, L_m, K, AI) and total wealth of the economy amounts to F~=Y+(1−δK)K+(1−δAI)AI\widetilde{F} = Y + (1 - \delta_K)K + (1 - \delta_{AI})AI, where δK\delta_K and δAI\delta_{AI} denote the depreciation rates. Type-hh workers earn the wage whw_h given by

wh=∂F∂Lh⋅zh.(1)w_h = \frac{\partial F}{\partial L_h} \cdot z_h. \tag*{(1)}

Following [11], the complementarity between traditional capital KK and labor is higher for cognitive labor LcL_c than for manual labor LmL_m. For AIAI we assume the reverse: the degree of complementarity between AIAI and labor is lower for cognitive labor LcL_c than for manual labor LmL_m. Both assumptions are intuitive, supported by empirical evidence ([4], [10]) and well-grounded in theory ([5]). Finally, we also apply the conventional assumption that the cognitive wage premium (the ratio of the cognitive wage to the manual wage) is strictly increasing with the amount of effective manual labor and strictly decreasing with the amount of effective cognitive labor. Summarizing the assumptions formally, we have

Assumption 1:

∂F/∂Lc∂F/∂Lm\frac{\partial F/\partial L_c}{\partial F/\partial L_m}

strictly increases with KK.

Assumption 2:

∂F/∂Lc∂F/∂Lm\frac{\partial F/\partial L_c}{\partial F/\partial L_m}

strictly decreases with AIAI.

Assumption 3:

∂F/∂Lc∂F/∂Lm\frac{\partial F/\partial L_c}{\partial F/\partial L_m}

strictly decreases with LcL_c and strictly increases with LmL_m.

Importantly, Assumptions 1-3 are so general that they do not determine whether any two factors are gross substitutes or gross complements. Instead, our assumptions allow both AI being a tool that is complementary to human cognitive work, and AI being an autonomous agent that can replace some or all human cognitive work.

Preferences, Feasibility and the Social Planner Problem

The preferences of type-hh agents are characterized by

∑t=0∞βt[u(ch,t)−ν(lh,t)],\sum_{t=0}^{\infty} \beta^t \left[u(c_{h,t})-\nu(l_{h,t})\right],

where {ch,t,lh,t}t=0∞\{c_{h,t}, l_{h,t}\}_{t=0}^{\infty} is a sequence of consumption and labor supply, β∈(0,1)\beta\in(0,1) is the discount factor and u,ν:R+→Ru,\nu:\mathbb{R}_{+}\to\mathbb{R} are twice differentiable functions such that u′,ν′,ν′′>0u',\nu',\nu''>0 and u′′<0u''<0.

Following [11], we define an allocation as

X={(ch,t,lh,t)h∈H,Lm,t,Lc,t,Kt,AIt}t=0∞.\mathcal{X}=\left\{\left(c_{h,t},l_{h,t}\right)_{h\in H},L_{m,t},L_{c,t},K_t,AI_t\right\}_{t=0}^{\infty}.

This allocation is feasible if and only if for every period t≥0t\geq0 it satisfies:

∑h∈Hch,t+Kt+1+AIt+1+Gt≤F~t,(2)\sum_{h\in H}c_{h,t}+K_{t+1}+AI_{t+1}+G_t\leq\widetilde{F}_t, \tag*{(2)}

where {Gt}t=0∞\{G_t\}_{t=0}^{\infty} is a sequence of government spending and F~t=F~(Lc,t,Lm,t,Kt,AIt)\widetilde{F}_t=\widetilde{F}(L_{c,t},L_{m,t},K_t,AI_t). An allocation is incentive-compatible if it satisfies

∑t=0∞βt[u(ch,t)−ν(lh,t)]≥∑t=0∞βt[u(cj,t)−ν(lj,twj,twh,t)],(3)\sum_{t=0}^{\infty}\beta^t\left[u(c_{h,t})-\nu(l_{h,t})\right]\geq\sum_{t=0}^{\infty}\beta^t\left[u(c_{j,t})-\nu\left(\frac{l_{j,t}w_{j,t}}{w_{h,t}}\right)\right], \tag*{(3)}

where jj is the corresponding complement to hh in HH. This incentive compatibility constraint (ICC) prevents agents of one type from mimicking the other type. It states that the discounted lifetime utility of type-hh agents when supplying the amount of labor designated to this type is weakly greater than the discounted lifetime utility of that agent when supplying the amount of labor that would be required to get the consumption level of the other type.

The problem of the social planner who does not prefer any agent is

max⁡X∑h∈Hπh∑t=0∞βt[u(ch,t)−ν(lh,t)]\max_{\mathcal{X}} \sum_{h \in H} \pi_h \sum_{t=0}^{\infty} \beta^t \left[u(c_{h,t})-\nu(l_{h,t})\right]

subject to (1), (2), (3), K0≤K0∗K_0 \le K_0^*, AI0≤AI0∗AI_0 \le AI_0^*, and Lh=πhlhzhL_h = \pi_h l_h z_h. It leads to a constrained efficient solution that we denote by asterisks.

Optimal Taxation of Capital and AI

Slavík and Yazici (2014) show that if the ICC binds for skilled agents, the optimal tax on equipment capital is strictly greater than the optimal tax on structure capital. In our framework, which contrasts cognitive workers with manual ones, where one group is not necessarily more skilled than the other, the results also crucially depend on the ICC. Below, we first use the original formulation (Assumption 4: ICC is binding for cognitive workers) and then its modified version (Assumption 4′: ICC is binding for manual workers), where the latter becomes relevant with sufficiently advanced AI.

ICC Binding for Cognitive Workers

Assumption 4: The ICC binds for cognitive workers h=ch = c and is slack for manual workers h=mh = m at the social optimum.

Proposition 1. Suppose Assumption 4 holds. Then, at the constrained efficient allocation, for any period t≥1t \ge1,

∂F~t∗∂Kt∗>∂F~t∗∂AIt∗,\frac{\partial\widetilde{F}_t^*}{\partial K_t^*} > \frac{\partial\widetilde{F}_t^*}{\partial AI_t^*},

where F~t∗=F~(Lc,t∗,Lm,t∗,Kt∗,AIt∗)\widetilde{F}_t^* = \widetilde{F}(L_{c,t}^*, L_{m,t}^*, K_t^*, AI_t^*).

Proof. Let λt\lambda_t denote the multiplier on the period tt feasibility constraint and μ\mu denote the multiplier on the cognitive agents’ ICC. Then, the first-order conditions with respect to KtK_t and AItAI_t are

Kt:λt−1∗=βλt∗∂F~t∗∂Kt∗+βXtK,(4)K_t: \lambda_{t-1}^* = \beta\lambda_t^* \frac{\partial\widetilde{F}_t^*}{\partial K_t^*} + \beta X_t^K, \tag*{(4)}
AIt:λt−1∗=βλt∗∂F~t∗∂AIt∗+βXtAI,(5)AI_t: \lambda_{t-1}^* = \beta\lambda_t^* \frac{\partial\widetilde{F}_t^*}{\partial AI_t^*} + \beta X_t^{AI}, \tag*{(5)}

where

XtK=μ∗ν′(lm,t∗wm,t∗wc,t∗)lm,t∗∂(wm,t∗wc,t∗)∂Kt∗,X_t^K = \mu^* \nu'\left(\frac{l_{m,t}^*w_{m,t}^*}{w_{c,t}^*}\right)l_{m,t}^* \frac{\partial\left(\frac{w_{m,t}^*}{w_{c,t}^*}\right)}{\partial K_t^*},
XtAI=μ∗ν′(lm,t∗wm,t∗wc,t∗)lm,t∗∂(wm,t∗wc,t∗)∂AIt∗.X_t^{AI}=\mu^*\nu'\left(\frac{l^*_{m,t}w^*_{m,t}}{w^*_{c,t}}\right)l^*_{m,t}\frac{\partial\left(\frac{w^*_{m,t}}{w^*_{c,t}}\right)}{\partial AI^*_t}.

By Assumption 1, ∂(wm,t∗/wc,t∗)/∂Kt∗<0\partial(w^*_{m,t}/w^*_{c,t})/\partial K^*_t<0 and, since μ∗>0\mu^*>0 (due to the binding ICC) and ν′(⋅)>0\nu'(\cdot)>0, XtK<0X^{K}_t<0. By Assumption 2, ∂(wm,t∗/wc,t∗)/∂AIt∗>0\partial(w^*_{m,t}/w^*_{c,t})/\partial AI^*_t>0 and XtAI>0X^{AI}_t>0. This, together with the first-order conditions, establishes the result. □

Traditional capital KK assumes the role of equipment capital from [11]: its increase decreases the wage ratio wm,t∗/wc,t∗w^*_{m,t}/w^*_{c,t}, making it more attractive for cognitive workers to mimic manual ones. However, in our case, an increase of AIAI capital raises wm,t∗/wc,t∗w^*_{m,t}/w^*_{c,t}, which makes such mimicking less attractive. Thus, at the optimum, the marginal return on KK is higher than the marginal return on AIAI, i.e., traditional capital should be taxed at a higher rate than AIAI capital.

Further following [11], we define the intertemporal wedge that the social planner creates for an agent of type hh for the capital of type i∈{K,AI}i\in\{K,AI\} from period tt to t+1t+1 as

τi,t+1(h)=1−u′(ch,t)βu′(ch,t+1)∂F~t+1∗∂i.\tau_{i,t+1}(h)=1-\frac{u'(c_{h,t})}{\beta u'(c_{h,t+1})\frac{\partial\widetilde{F}^*_{t+1}}{\partial i}}.

The intratemporal wedge for agent hh in period tt is

τy,t(h)=1−ν′(lh,t)wh,tu′(ch,t).\tau_{y,t}(h)=1-\frac{\nu'(l_{h,t})}{w_{h,t}u'(c_{h,t})}.

Proposition 2. Suppose Assumption 4 holds. Then, in all periods t≥1t\geq1, the optimal wedge on traditional capital KK is strictly positive and independent of agent type, whereas the optimal wedge on AIAI capital is strictly negative and also independent of agent type. Thus, for every h∈Hh\in H,

τK,t∗≡τK,t∗(h)>0>τAI,t∗≡τAI,t∗(h).\tau^*_{K,t}\equiv\tau^*_{K,t}(h)>0>\tau^*_{AI,t}\equiv\tau^*_{AI,t}(h).

Proof. The first-order optimality conditions with respect to cc,tc_{c,t} and cm,tc_{m,t} are

cc,t:u′(cc,t)[πc+μ∗]=λt∗πc,c_{c,t}: \quad u'(c_{c,t})[\pi_c+\mu^*]=\lambda^*_t\pi_c,
cm,t:u′(cm,t)[πm−μ∗]=λt∗πm.c_{m,t}: \quad u'(c_{m,t})[\pi_m-\mu^*]=\lambda^*_t\pi_m.

Thus, for any h∈Hh\in H

λt−1∗λt∗=u′(ch,t−1)u′(ch,t).\frac{\lambda^*_{t-1}}{\lambda^*_t}=\frac{u'(c_{h,t-1})}{u'(c_{h,t})}.

Combining this with conditions (4) and (5), we get

τi,t∗(h)=−Xtiλt∗∂Ft∗∂i.\tau^*_{i,t}(h)=\frac{-X^i_t}{\lambda^*_t\frac{\partial F^*_t}{\partial i}}.

The final result follows from λt∗(∂Ft∗/∂i)>0\lambda_t^* \left(\partial F_t^*/\partial i\right)>0, XtK<0X_t^K<0, and XtAI>0X_t^{AI}>0. □\square

According to our result, optimality requires a tax on traditional capital as in [11] and Yazici (2014) and a subsidy for AIAI, which is a novel insight.

Proposition 3. Suppose Assumption 4 holds. Then, the optimal intratemporal wedge of cognitive agents is negative, τy,t∗(c)<0\tau_{y,t}^*(c)<0.

Proof. The first-order conditions with respect to cc,tc_{c,t} and lc,tl_{c,t} are

cc,t:ν′(cc,t∗)[πc+μ∗]=λt∗πc,c_{c,t}: \quad\nu'(c_{c,t}^*)[\pi_c+\mu^*]=\lambda_t^*\pi_c,
lc,t:ν′(lc,t∗)[πc+μ∗−Yt∗ν′(lc,t∗)]=λt∗πcwc,t∗,l_{c,t}: \quad\nu'(l_{c,t}^*)\left[\pi_c+\mu^*-\frac{Y_t^*}{\nu'(l_{c,t}^*)}\right]=\lambda_t^*\pi_c w_{c,t}^*,

where

Yt=μ∗ν′(lm,t∗wm,t∗wc,t∗)lm,t∗∂(wm,t∗/wc,t∗)∂Lc,m∗zcπc.Y_t=\mu^*\nu'\left(\frac{l_{m,t}^*w_{m,t}^*}{w_{c,t}^*}\right)l_{m,t}^*\frac{\partial\left(w_{m,t}^*/w_{c,t}^*\right)}{\partial L_{c,m}^*}z_c\pi_c.

By Assumption 3, Yt>0Y_t>0. From the first-order conditions, πc+μ∗−Yt∗ν′(lc,t∗)>0\pi_c+\mu^*-\frac{Y_t^*}{\nu'(l_{c,t}^*)}>0. Combining the first-order conditions yields

τy,t∗(c)=1−πc+μ∗πc+μ∗−Yt∗ν′(lc,t∗)<0,\tau_{y,t}^*(c)=1-\frac{\pi_c+\mu^*}{\pi_c+\mu^*-\frac{Y_t^*}{\nu'(l_{c,t}^*)}}<0,

which establishes the proof. □\square

This result implies that subsidizing cognitive work is optimal, as in [11] and Yazici (2014). Increasing the supply of cognitive work decreases the cognitive wage premium and raises wm/wcw_m/w_c. This makes mimicking less profitable for cognitive-type agents. While it seems that the intratemporal wedge of manual agents should be positive, this is not necessarily true if wm>wcw_m>w_c.

ICC Binding for Manual Workers

Assumption 4′: The ICC (3) binds for manual workers h=mh=m and is slack for cognitive workers h=ch=c at the social optimum.

Proposition 1′. Suppose Assumption 4′ holds. Then, at the constrained efficient allocation, for any period t≥1t\ge1,

∂F~t∗∂AIt∗>∂F~t∗∂Kt∗.\frac{\partial\widetilde{F}_t^*}{\partial AI_t^*}>\frac{\partial\widetilde{F}_t^*}{\partial K_t^*}.

Proof. Analogous to the proof of Proposition 1. □\square

Proposition 2′. Suppose Assumption 4′ holds. Then, in all periods t≥1t\ge1, the optimal wedge on AIAI capital is strictly positive and independent of agent type, whereas the optimal wedge on traditional capital is strictly negative and also independent of agent type. That is, for every h∈Hh \in H,

τAI,t∗=τAI,t∗(h)>0>τK,t∗≡τK,t∗(h).\tau^{*}_{AI,t} = \tau^{*}_{AI,t}(h) > 0 > \tau^{*}_{K,t} \equiv\tau^{*}_{K,t}(h).

Proof. Analogous to the proof of Proposition 2.

Proposition 3’. Suppose Assumption 4’ holds. Then the optimal intratemporal wedge of manual agents is negative, τy,t∗(m)<0\tau^{*}_{y,t}(m) < 0.

Proof. Analogous to the proof of Proposition 3.

The change in Assumption 4 reverses the results of all propositions. When cognitive agents are those who find mimicking attractive (their ICC is slack), taxing AI and subsidizing traditional capital is optimal from the social planner perspective, as is subsidizing manual work.

One policy recommendation that is often suggested for the age of AI is the introduction of universal basic income (UBI). If UBI is introduced that redistributes the tax revenues in a lump-sum manner, our results do not change qualitatively. To see this, consider the provision of a baseline consumption level of UBItUBI_t for everybody. Then total consumption of agent hh in period tt is given by c~h,t=cˉh,t+UBIt\tilde{c}_{h,t} = \bar{c}_{h,t} + UBI_t, where cˉh,t\bar{c}_{h,t} is chosen by the social planner. This change has no impact on Propositions 1 and 1’, because UBI neither alters the production technology nor the ICCs. The qualitative results of Propositions 2, 2’, 3 and 3’ also remain the same. We can summarize this in the following remark.

Remark 1 The introduction of UBI does not change our qualitative findings as reflected in Propositions 1-3 and 1’-3’.

Conclusion

When AI becomes a good substitute for human cognitive work and its adoption drives down the wages of cognitive workers relative to manual workers, cognitive workers may find it optimal to seek manual jobs. In such a scenario, it is optimal to tax AI capital and to subsidize traditional capital and manual labor. This is an important new result of dynamically optimal taxation for the age of AI. The potential reversal of manual vs. cognitive workers’ incentives constitutes another critical threshold in AI development, other than human-level AI performance at benchmarks or the threshold where human cognitive work and AI become gross substitutes.

References

  1. [1]Acemoglu, D. and Autor, D. (2011). Skills, Tasks and Technologies: Implications for Employment and Earnings. In Handbook of Labor Economics, volume 4, pages 1043–1171. Elsevier.
  2. [2]Acemoglu, D. and Restrepo, P. (2018). The Race between Man and Machine: Implications of Technology for Growth, Factor Shares and Employment. American Economic Review, 108(6):1488–1542.
  3. [3]Autor, D. H. and Dorn, D. (2013). The Growth of Low-Skill Service Jobs and the Polarization of the US Labor Market. American Economic Review, Vol. 103(No. 5):1553–1597.DOI
  4. [4]Autor, D. H., Levy, F., and Murnane, R. J. (2003). The Skill Content of Recent Technological Change: An Empirical Exploration. Quarterly Journal of Economics, Vol. 118(No. 4):1279–1333.
  5. [5]Bloom, D. E., Prettner, K., Saadaoui, J., and Veruete, M. (2025). Artificial intelligence and the skill premium. Finance Research Letters, 81:107401.
  6. [6]Eloundou, T., Manning, S., Mishkin, P., and Rock, D. (2024). GPTs Are GPTs: Labor Market Impact Potential of LLMs. Science, 384:1306–1308.DOI
  7. [7]Gmyrek, P., Berg, J., and Bescond, D. (2025). Generative AI and Jobs: An Analysis of Potential Effects on Global Employment. Gospodarka Narodowa. The Polish Journal of Economics, 323:6–30.DOI
  8. [8]Growiec, J., Jabłońska, J., and Parteka, A. (2024). Hardware and Software: A New Perspective on the Past and Future of Economic Growth. Working Paper, Brookings Institution.
  9. [9]McAdam, P. and Willman, A. (2018). Unraveling the Skill Premium. Macroeconomic Dynamics, 22:33–62.DOI
  10. [10]Minniti, A., Prettner, K., and Venturini, F. (2025). AI innovation and the labor share in European regions. European Economic Review, 177:105043.DOI
  11. [11]Slavík, C. and Yazici, H. (2014). Machines, buildings, and optimal dynamic taxes. Journal of Monetary Economics, 66:47–61.

Paper details

Contents