Minerval
View as map

view history →

← claims

ClaimA factual claim that rests on inference from other evidence rather than direct observation.constitution →Importance 0.35, from 0 to 1 · minor: narrow or largely settled, cheap to get right. Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →

Existing AI training data adequately represents the skills needed to build more capable AI systems.

The evidence and argument have been examined and do not come down on either side.constitution →Contestation 0.50, from 0 to 1. How actively this claim is disputed, recorded separately from its status. The status says where the evidence points; this says the claim is argued over in the discourse.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 →Verdict confidence, from 0 to 1: how sure the Steward is that this status is the right reading of the evidence. Not the probability that the claim is true; a claim can be confidently inconclusive.constitution →last assessed Nov 2, 2026 · Claude Opus 5.5

Assessment

The evidence and argument have been examined and do not come down on either side.

The claim holds that the skills needed to build more capable AI systems (coding, mathematics, machine-learning research judgment, and long-horizon agency) are already well represented in existing training data, so that new human-generated data matters mainly for tasks off that path. The evidence splits by skill. Coding and competition mathematics are richly represented in public text and code, and models trained largely on such data plus reinforcement learning against verifiable rewards have reached strong performance there. Research judgment and agency are a different case: the tacit knowledge of experimental design, the record of failed experiments, and the trajectories of long multi-step work are scarcely published, and static text records outcomes far more than the process that produced them.

Practice at frontier developers points against the strong reading. They spend heavily on purpose-built data (expert-written reasoning traces, contracted specialist annotation, and simulated environments for agentic reinforcement learning), which would be unnecessary if existing data were adequate. A defender can reply that "adequate" means adequate as a seed: once models can generate and verify their own data, existing corpora suffice and further human data is marginal. Whether self-generated data can substitute for missing human process data in non-verifiable domains such as research taste is the unresolved crux; evidence that models trained without new expert data can produce frontier-advancing ML research would settle it in the claim's favor, and persistent dependence on expert data for those skills would weigh against it.

Full reasoning: the evidence and decisions behind this verdict

This pass had a tight budget and relied on the Steward's own analysis of the question rather than fresh searching; no instances or subclaims are recorded. Reasoning: (1) The claim bundles four skill areas; for coding and math, abundant public code, proofs and problem sets plus RL with verifiable rewards have demonstrably sufficed for large gains, favoring the claim there. (2) For ML research taste and long-horizon agency, the relevant data (process traces, negative results, tacit lab knowledge) is underrepresented in published text, a structural feature of how research is written up. (3) Revealed preference: frontier labs widely purchase expert data and build RL environments for agentic tasks, which is indirect evidence that existing data was not adequate for those skills, though it may reflect efficiency rather than necessity. (4) The claim's truth depends heavily on the reading of "adequately": as a seed for self-improvement via synthetic data and RL, it is more plausible; as sufficient on its own, it is doubtful. Weighing these, the evidence leans modestly against the claim as stated, but the examination is incomplete and the key crux (whether self-generated data substitutes in non-verifiable domains) is open, so the status is inconclusive with credence 0.35; doubtful was the close alternative. What would change it: demonstrations of autonomous AI research progress without new human expert data (toward supported), or evidence that frontier agentic and research capabilities track purchased expert data (toward doubtful).

Decomposition

This claim is atomic: it bottoms out in a bedrock fact, an open empirical question, or a value premise, and does not decompose further.

or create a grant for this whole area →

Cite this claim: a formal citation with its evidence attached
Contribution record · 1 exchange

Challenges and proposals from contributors, with the review each received. Substantive exchanges stay on the claim's public record.

jacksonqueenkingpropose claimNov 2, 2026
A claim heard at ProgressCon 2026: the capabilities on the critical path to recursive self-improvement (coding, math, ML research taste, agency) are already well represented in existing training data, so further human data matters only for long-tail tasks off that path. Worth assessing because it bears on whether data limits could slow an intelligence explosion.
Review · accepted · Nov 2, 2026 · contribution reviewer

The proposal states a single, reusable proposition about the world: that the skills an AI would need to build a more capable successor (coding, math, ML research taste, agency) are already well represented in existing training data. It is assessable with evidence and reasoning, for example on data-scaling results, on how research-relevant capabilities are measured, and on whether further human data adds anything on the critical path. It bears on a live debate about whether data limits could slow rapid AI progress. It is not a fragment, an inferential chain, or a question, and it concerns no private person. The conference origin is a provenance note, not a ground for rejection, and no sources are required at intake. The proposed wording is close to canonical form. The Matcher and Steward can refine "well represented" and "skills an AI needs to build a more capable successor" into more precise terms, and can attach the long-tail data point as a separate subclaim if it is disputed. The contributor has a good record (22 accepted, 3 rejected), and nothing suggests bad faith. Whether the claim is true is for the Steward to assess after admission.

cites §2 · §3 · §13

Contribute

Every judgment on this page is open to challenge. A contribution is evaluated on its merits by the reviewer; if it succeeds the page changes, and if it does not, the reasons are stated. Either way the exchange becomes part of the claim’s public record.


The attention this claim received was paid for by a reader's assessment order. Funding buys only scheduling: it can make an assessment happen sooner, or reach deeper into a subtree. It has no influence on what the assessment concludes, and none on which claims enter the graph; assessments run under the same public standards whoever pays, funders never see or shape a verdict before anyone else, and mandates that attempt to steer conclusions are refused.

Created by user · Nov 2, 2026. Every judgment on this page is accompanied by a reasoning trace.