1# Phase 0 — Source audit of Restrepo (2025), "We Won't Be Missed: Work and Growth in the Era of AGI"23**Source.** Pascual Restrepo (Yale), *We Won't be Missed: Work and Growth in the Era of AGI*, NBER conference4paper f227505, dated July 4, 2025, 20 pages (18 pages of text + references). Downloaded 2026-10-27 from5`https://conference.nber.org/conf_papers/f227505.pdf` to `source_audit/pdf/restrepo_2025_we_wont_be_missed.pdf`6(261 497 bytes); text extracted with `pdftotext -layout` to `source_audit/restrepo_nber_f227505.txt`.7Page numbers below are the printed page numbers of the chapter. The chapter is explicitly a *preliminary*8draft: Section 1.2 is labelled "[Preliminary]" (p. 12), footnote 1 reads "Infinitesimal similar results9but technical complications" (p. 3), and no formal proofs are given anywhere — every proposition is followed10by a heuristic argument. The audit therefore reconstructs the exact statements and the heuristic arguments,11and flags where our formalization has to add assumptions.1213## 1. Primitives (Section 1, pp. 2–6)1415| Object | Definition in the source | Page |16|---|---|---|17| Work set | Ω finite "(but large)" set of types of work ω; infinitesimal version deferred (fn. 1) | 2–3 |18| Work equation | X_t(ω) = L_t(ω) + Q_t(ω)/α_t(ω) (eq. 1): human output per unit time normalized to 1; α_t(ω) units of compute replicate one human; α_t(ω) = ∞ allowed | 3 |19| Output | Y_t = F({X_t(ω)}), F increasing, differentiable, concave, constant returns to scale; marginal products converge in [0,∞] along any converging input sequence | 3 |20| Skills | s ∈ 𝒮 with supply H(s); skill s can do work in Ω(s) ⊆ Ω, the Ω(s) partition Ω (no overlap, "simplifies exposition") ; Σ_{ω∈Ω(s)} L_t(ω) ≤ H(s) | 3 |21| Compute | Q_t total computations per unit of time; Σ_ω Q_t(ω) ≤ Q_t | 3 |22| Premise 1 (AGI) | for every ω, α_t(ω) becomes finite at a date T(ω) and converges to α(ω) ∈ (0,∞) | 3–4 |23| Premise 2 (abundant compute) | Q_t finite at each date, grows without bound | 5 |24| Equilibrium concept | competitive equilibrium = output-maximizing allocation of compute and labor with factors paid marginal products | 6–7 |2526Interpretive remarks in the source worth preserving: (i) AGI is "the recipe", distinct from compute "the input"27(p. 4); feasibility ≠ realization: automating ω may be feasible but not worth scarce compute (p. 4);28(ii) physical work: Q_t may be re-read as "a bundle of energy and computational resources" (p. 4) — the chapter29does not model energy separately; (iii) "social" work is captured by high α(ω) (pp. 4–5); (iv) compute growth is30exogenous and "subsumed in the path for Q_t" (p. 5); the only requirement is that Q_t becomes large (p. 5).31Compute is an *endowment*: there is no price of compute capital, no depreciation, no investment, no saving and32no ownership structure anywhere in the chapter. This is the gap our paper fills.3334## 2. Bottleneck vs accessory work (pp. 6)3536* **Definition 1 (bottleneck).** ω is bottleneck if, for any path {X_t(ω)} along which F is unbounded, either37 X_t(ω) is unbounded or F_ω is unbounded.38* **Definition 2 (accessory).** ω is accessory if there is a path with F unbounded while both X_t(ω) and F_ω39 are bounded.4041Examples offered (p. 6): bottlenecks — food, shelter, energy, infrastructure maintenance, science, decision42making, logistics, security; accessory — arts, performance, literature, hospitality, design, customer support,43judicial and civic work, "even the work performed by academic economists". The partition is explicitly said to44depend on "future preferences, the structure of production" (p. 6).4546Formal observation (ours, needed for the replication): with F a CES aggregator, every task is a bottleneck47unless the elasticity is infinite. For σ < 1 any unbounded-F path has all X(ω) unbounded; for 1 < σ < ∞,48F_ω = ν_ω (F/X(ω))^{1/σ} is unbounded whenever X(ω) stays bounded while F grows. Accessory work in the sense49of Definition 2 requires asymptotically *linear* entry of the task into F (e.g. F = F_B({X_B}) + Σ_a γ_a X(a)),50which is the specification we adopt for the accessory block.5152## 3. Propositions as stated (Section 1.1, pp. 7–11) and the arguments given5354| # | Statement (verbatim content) | Argument given | Page |55|---|---|---|---|56| P1 | All bottlenecks are eventually automated while some accessory work may be left to labor. | Ricardo-type heuristic: specialization of compute on a subset would leave non-automated bottleneck work fixed, unbalanced growth cannot be optimal; only accessory work can stay fixed (fn. 5 on the "large country" case). | 7 |57| CEU | CEU(s) ≡ max_{ω∈Ω(s)} α(ω), finite under Premise 1. | definition | 7–8 |58| P2 | Output converges to Y_t = A[ Q_t + Σ_{s∈𝒜} CEU(s)H(s) + Σ_{s∈𝒩} \widetilde{CEU}(s) H(s) ] with \widetilde{CEU}(s) < CEU(s) (eq. 2); 𝒜 = skills performing only automated work, 𝒩 = skills performing non-automated accessory work (fn. 6). | Pooling of effective compute Q̃_t(ω) = Q_t(ω) + α_t(ω)L_t(ω); CRS ⇒ Y = A[Q + Σ α L]; labor of skill s goes to argmax α; for accessory work not automated, A α(ω) > MPL(s) and convergence to an additive constant is "a nontrivial implication of constant returns" (no proof). | 8–9 |59| P3 | Output grows at the same rate as Q_t. | direct from P2 | 9 |60| P4 | Real price of compute → A; real wages W(s) = A·CEU(s) for s ∈ 𝒜 and A·\widetilde{CEU}(s) for s ∈ 𝒩. | marginal products read off eq. (2) | 10 |61| P5 | Compute share of GDP → 1, labor share → 0. | labor share ≤ "share of human compute" Σ CEU(s)H(s)/(Q_t + Σ CEU(s)H(s)) → 0; orders of magnitude 10^15–10^18 flops per brain vs 10^21 today and up to 10^54 | 10–11 |62| P6 | The sum of all wages is higher in the AGI limit than pre-AGI (Q_t = 0, α = ∞). | "no-AGI zone" revealed-efficiency argument with CRS; **the author notes the argument breaks if "the AGI economy uses some finite resource that is also needed by human labor or there are diminishing returns to scale"** | 11 |6364The two sets of workers are defined in fn. 6 (p. 9): group 𝒜 = skills for which one element of their65best-α set is automated; the rest form 𝒩.6667## 4. Transition (Section 1.2 "[Preliminary]", pp. 12–13)6869Assumptions for the section: all work is bottleneck; α_t(ω) jumps from ∞ to α(ω) at T(ω).7071* **P7 (compute binds).** A_t decreases monotonically to A > 0; within Ω(s) work is automated sequentially from72 lowest to highest α; W_t(s) falls gradually (at the rate of A_t) around each automation date and then grows73 until the next; when the max-α work of the skill is automated, W_t(s) = A_t CEU(s) and decreases at the rate of74 A_t thereafter; total wages weakly increase. (p. 12)75* **P8 (technology binds).** A_t may be non-monotonic and jump up; work ω is automated exactly at T(ω); wages may76 jump down at T(ω) "if displacement effects dominate", necessarily jump down when the last work in Ω(s) is77 automated, and may exceed A_t CEU(s) at points of the transition; total wages may jump down. (p. 13)7879No proofs; the prose (p. 13) interprets P8 as a "jagged, uncertain, and haphazard" transition in which the80last-automated skills earn a transitory premium "by a sheer act of luck".8182## 5. Science (Section 2, pp. 13–16)8384Y_t = Z_t F(·); Ż/Z = Z^{-β} G({X_t(σ)}), G CRS; scientific skills 𝒮_R disjoint from production skills 𝒮_P;85compute shared between science and production. Premise 1′ (AGI for science), Premise (exponential compute at86g_Q). With a constant science share λ: P9 (p. 15) Y_t = Z_t A[(1−λ)Q_t + Σ_{𝒮_R}CEU H], Z_t ∝ [BλQ_t + Σ_{𝒮_P}CEU H]^{1/β}87(note: the typesetting of eq. (3)–(4) swaps 𝒮_R/𝒮_P relative to the text; we keep the text's logic);88P10 (p. 15) g_Y = g_Q(1 + 1/β), g_Z = g_Q/β; P11 (p. 16) λ* = 1/(1+β+ρ) with science prioritized early.89We do not extend the science block (our contribution is on the production/ownership/valuation side); we only90use P10 as the source of the "endogenous AI productivity growth" robustness scenario.9192## 6. Discussion and policy (Section 3, pp. 17–18)9394Wages stagnate and the labor share collapses but labor is not worthless; accessory care/hospitality work may95persist at capped wages; when technology binds, "inequality may rise sharply during the transition"; policy96questions raised but not modelled: risk sharing, gradual deployment (Lehr–Restrepo 2022), "universal97dividends", compute "as a public or semi-public resource, akin to land or natural capital" (p. 18).9899## 7. What the source does *not* contain (gaps we address)1001011. No capital: compute is an endowment, not an accumulated, depreciating, priced capital good; no investment,102 saving or Euler equation; no interest rate.1032. No complementary physical inputs (structures, machines, land, energy) distinct from "work"; energy is only104 mentioned as reinterpretation of Q (p. 4). P6's own caveat (p. 11) acknowledges this is where the wage105 result can fail.1063. No households, no ownership distribution, no wealth, no asset prices, no welfare beyond total wages.1074. No proofs; finite-Ω statements with "technical complications" for the continuum.1085. No quantitative or empirical content; magnitudes only for flops (pp. 5, 10–11).109110## 8. Separation of claims111112Throughout the paper, "Restrepo (2025) shows/states" refers only to P1–P11 as reproduced above. Everything113involving prices of capital, saving, ownership, asset values, scarce complements, energy, housing, taxation,114heterogeneous households, and the regime classification is *our* extension and is labelled as such.115