Minerval
← claim pagemap viewclick a claim to focus on it · hover to preview · ⌫ back
trailIncreasing training compute enables AI systems to automate increasingly complex tasks.
AI agents’ 50%-reliability software-task horizon will continue doubling approximately every seven months.
The argument from empirical scaling trends· for
Language-model pretraining loss follows a predictable power law as training compute increases.
atomic
More training compute improves AI models' downstream benchmark performance.
atomic
Frontier AI 50% time horizons on METR's task suite have grown approximately exponentially with release date since 2024.
atomic
The argument from diminishing pretraining returns· against
Frontier AI labs' 2024–2025 pretraining scale-ups produced smaller capability gains than earlier generational transitions.
GPT-4.5's capability gain over GPT-4 was smaller than GPT-4's gain over GPT-3.
GPT-4.5 used about ten times GPT-4's pretraining compute, versus roughly hundredfold increases between earlier GPT generations.
Gemini 3 achieved large capability gains from continued pretraining scaling in late 2025.
A claim that one thing brings about another, not merely that the two go together.constitution →claim page ↗︎
Increasing training compute enables AI systems to automate increasingly complex tasks.
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 →
supportssupportssupportssupportscontradicts
1depended 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.