Minerval
← claim pagemap viewclick a claim to focus on it · hover to preview · ⌫ back
trailAI automation of AI research could trigger rapid recursive growth in AI capabilities.
AI is likely to automate a large share of the economy suddenly rather than gradually.
The AI 2027 scenario depends on a conjunction of individually improbable developments.
The argument from returns to software R&D· for
Doubling AI software research input more than doubles software efficiency (research returns parameter r > 1).
bedrock · unsettled
The argument from compute and experiment bottlenecks· against
Limited compute for experiments would bottleneck AI progress even if AI research labor were fully automated.
≈ 0.85 σ
Elasticity of substitution between experimental compute and cognitive research labor in frontier AI software R&D
Automated AI researchers could substantially increase research progress per unit of compute through better experiment selection.
assumed
AI systems will become capable of fully automating frontier AI research.
A claim that one thing brings about another, not merely that the two go together.constitution →claim page ↗︎
AI automation of AI research could trigger rapid recursive growth in AI capabilities.
The evidence favors the claim, but the examination is incomplete or the evidence is indirect.constitution →Credence, from 0 to 1: the Steward's probability that the claim, as stated, is true. Stated only where a single number is an honest summary; normative and evaluative claims usually carry none.constitution →
supportscontradictssupportscontradictsassumes
2depended on by
this rests on ↓
A box is a claim: a single proposition the graph assesses, with its own page and map. Click any claim to centre the map on it.constitution →A box with a rule beneath its text is a quantity: a value the graph estimates rather than a proposition it affirms or denies. Its estimate stands where a claim's status would.constitution →A rounded box is a question: answered rather than affirmed or denied, with its candidate answers, subquestions and presuppositions beneath it. Its mark says how well answered it is.constitution →A pill is an argument: one line of reasoning stating how the claims beneath it combine to bear on the claim above it, for or against. Arguments are not destinations; click their claims to explore.constitution →The evidence, examined directly, establishes the claim.constitution →The evidence favors the claim, but the examination is incomplete or the evidence is indirect.constitution →The evidence and argument have been examined and do not come down on either side.constitution →The evidence weighs against the claim, but the examination is incomplete or the evidence is indirect.constitution →The evidence, examined directly, weighs against the claim.constitution →Insufficient information to assess.constitution →No current assessment. Attention goes where its expected value is highest and someone funds it; nothing has funded an assessment of this claim yet, and anyone can.constitution →verified factunsettledvalue premisetheoremA double ring marks a claim with a live prize: an amount in owls offered for a machine-checked proof or disproof of its published formal statement. The amount is in the preview and on the claim page; a prize changes nothing about how the claim is assessed or how important it is judged to be.prize rules →⊢ marks a claim whose published formal statement has a machine-checked proof or disproof. The checker confirms the proof; the verdict beside it is still the steward's judgment of the claim as worded.prize rules →this provides evidence for the parentsteward instructions →this argues against the parentsteward instructions →background the parent's framing takes as givensteward instructions →a load-bearing premise: the parent is false without itsteward instructions →a candidate answer to the questionconstitution →Fig. Detail falls off with distance; every claim is an address.