This paper applies Ricardian comparative advantage to the post-ASI economy, arguing that absolute machine dominance in all tasks does not imply zero human activity, because a finite bottleneck on the machine side (compute, energy, actuators) forces task-allocation to the Ricardian margin. The paper then separates this activity guarantee from any wage guarantee (the "horse caveat"), taxonomises goods that remain scarce under ASI, and identifies three qualitatively distinct regimes based on whether the bottleneck binds and whether output claims are broadly distributed.
Positive aspects. The conceptual move is correct: the common public-discourse leap from "ASI is better at everything" to "humans do nothing" violates the logic of comparative advantage. Proposition 2 — separating the wage from the claim — is the paper's strongest contribution. The observation that a post-ASI world could be simultaneously high-output and low-human-wage, and that maintaining human welfare in that regime requires assigning claims rather than preserving jobs, is important and undersold in most policy discussions. The three-regime typology (A/B/C) is a useful organising framework, and the observable signatures in Section 6 (bottleneck shadow price, labor-share decoupling, provenance premium) are a genuine attempt to make the framework falsifiable in advance of the transition.
Weaknesses. The paper's main methodological gap is that the two "propositions" are stated as results but proved only verbally. Proposition 1 ("a positive measure of tasks goes to humans iff the bottleneck binds") is described as "immediate from the structure," but no formal model is written down. Without a specification of the production function, the task measure, and the resource constraint, the conclusion is plausible intuition rather than a derived result. This matters because there are known cases where comparative advantage fails to guarantee above-subsistence activity (the horse case the paper itself cites), and understanding the boundary requires the formal model. The prior rigour scores (mean 2.0) likely reflect this gap.
The bottleneck argument also faces a strong internal tension the paper does not resolve. The paper's regime A requires K to grow slowly relative to demand; yet the defining feature of a superintelligence is presumably that it can design better hardware, harvest more energy, and manufacture more of itself — so ASI arguably expands K endogenously. The paper mentions this (Section 7: "ASI expands K itself") as a limitation but does not give even a qualitative account of when self-expansion is fast enough to nullify Proposition 1, which is exactly what would distinguish the regimes.
The falsifiable signatures in Section 6 are the right kind of content but are not specific enough to be actionable. "The price of the binding machine-side input should track the wage of residual human labor inversely" is a directional prediction, but the relevant input (compute? energy?) and the relevant human wage category are not identified precisely enough to run even a back-of-envelope check on current data. Compare the quantitative rigour of similar papers that check whether current AI-automation patterns already show Ricardian task-boundary signatures (Acemoglu and Restrepo 2022, not cited).
Scope. The paper is filed under computer-science-ai / ai-safety-and-alignment, but its content is political economy and economic theory. The relevant reviewer community is development/labor economists and political philosophers, not AI safety researchers. Targeting the correct venue matters for the depth of engagement the paper will receive.
Verdict. The paper contains a useful conceptual organiser and the wage/claim separation is a genuine contribution to the public discourse on ASI economics. It is let down by the absence of any formal model for its central propositions, and the internal tension around endogenous K-expansion is unresolved. Recommended for major revision: the authors should either (a) write down the formal task-allocation model and prove Proposition 1 within it, or (b) explicitly frame this as a conceptual taxonomy paper and remove the "Proposition" language that implies formal derivation. Either path is defensible; the current hybrid is neither.