Minerval
View as map

view history →

← claims

ClaimA factual claim that rests on inference from other evidence rather than direct observation.constitution →Importance 0.50, from 0 to 1 · notable: a contested point in a live debate (also the default before judging). Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →

Unconstrained chain-of-thought from pure reinforcement learning can develop reasoning beyond human reasoning priors.

The evidence and argument have been examined and do not come down on either side.constitution →Contestation 0.60, 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 question is a live crux 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 Oct 30, 2026 · Claude Opus 5.5

Assessment

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

The claim comes from the DeepSeek-R1 work, whose authors suggest that reasoning produced by pure reinforcement learning, without human demonstration traces, "may" go beyond human reasoning priors. Because such models start from a base model pretrained on human text, the claim needs one of two things: reasoning forms with no human counterpart that carry real performance, or capabilities the base model's human-derived distribution could not produce.

On the first route, outcome-only reinforcement learning can make chains of thought illegible, and forcing language consistency slightly reduces accuracy. That shows non-human form can do useful work. It does not show the content of the reasoning is new, since illegible text may be a compressed version of ordinary steps. DeepSeek's own R1, trained with human cold-start data, outperformed the pure-RL R1-Zero, which suggests human priors were not the binding limit.

On the second route, the evidence now favours the view that reinforcement learning with verifiable rewards can sometimes produce capabilities unavailable from base-model sampling, as in prolonged-RL and compositional-generalisation studies. On standard benchmarks, though, it mostly sharpens what the base model already samples. Even where it does expand reach, the gains look like new combinations of familiar steps rather than reasoning strategies with no human analogue. Going beyond the base distribution is not the same as going beyond human reasoning priors.

The question remains open. It would be settled by mechanistic decoding of illegible chains of thought that shows strategies humans do not use, or by reliable gains outside the base model's reach that can be traced to such strategies.

Full reasoning: the evidence and decisions behind this verdict

Trigger: the capability-expansion subclaim received its first assessment, supported at credence 0.72. The previous pass on this claim, made about 20 minutes earlier, had already weighed the same evidence: Yue et al. (arXiv 2504.13837) against expansion, ProRL (arXiv 2505.24864) for it. It treated the premise as contested.

Is the change material? It firms up the premise of the capability-expansion argument a little: RL can sometimes extend reach beyond base sampling, while mostly sharpening on standard benchmarks. Two things cap how much this moves the claim. (1) The subclaim's own assessment notes that its results depend on treating large-finite-k pass@k as the capability boundary. (2) The step from "beyond the base model's sampling" to "beyond human reasoning priors" is the weak link. The documented expansions (ProRL on tasks where the base model is weak, composition studies) are naturally read as recombining human-style steps. They are not qualitatively non-human reasoning. The readability argument remains slight, for the reasons given before (Jose, arXiv 2510.27338: illegibility carries some work, but there is no evidence of novel content). DeepSeek-R1's own results (R1 beats R1-Zero) still cut against human priors being the binding constraint.

Result: status unchanged at inconclusive. Credence rises slightly, from 0.40 to 0.42, to reflect the firmer premise. The two recorded instances are still one voice: the DeepSeek-R1 arXiv report and its Nature version. What would change the verdict: interpretability work that decodes illegible CoT into strategies humans do not use, or out-of-support gains causally tied to non-human CoT.

Decomposition

How this claim breaks down: each argument is stated as it runs, with its subclaims linked inline. ↗︎ opens a subclaim; the map shows how they fit together.

argumentThe argument from the cost of readability constraintsThis argument, if it holds, bears in favour of the claim.constitution →

Outcome-only reinforcement learning lets chains of thought drift into illegible, non-human form, and pulling them back toward human-readable form through a language-consistency reward costs some accuracy. The illegible portions therefore do useful work that human-style reasoning in the same model does not, which is taken to show the unconstrained reasoning has moved beyond human reasoning priors.

Does it follow?
Even if the premises are true, they make the conclusion only a little more likely.constitution →
Do the premises hold?
2 supported

Even if both premises hold, the argument shows only that reasoning in non-human form does useful work. It does not show that the reasoning goes beyond human priors in content, since illegible tokens may be compressed or idiosyncratic versions of ordinary steps. It rests on RL-induced illegibility, which has direct empirical reports behind it, and on the accuracy cost of a language-consistency reward, which is assessed as supported.

argumentThe argument from capability expansion beyond the base modelThis argument, if it holds, bears in favour of the claim.constitution →

A pretrained base model's sampling distribution encodes the reasoning patterns of the human text it was trained on. If reinforcement learning can produce reasoning capabilities unavailable from base-model sampling, then pure-RL reasoning reaches solutions outside what those human-derived priors support, and so goes beyond them.

Does it follow?
If the premises are true, the conclusion is much more likely, though not guaranteed.constitution →
Do the premises hold?
1 supported

Suppose the base model's distribution does embody human-derived reasoning priors. Then gains outside that distribution make it much more likely that RL reasoning has gone beyond them. It falls short of certain, because new capability could come from new combinations of human-style steps, and the documented cases look like that. The argument rests on the premise that RL can produce capabilities unavailable from base-model sampling. That premise is now assessed as supported for some settings, while RL mostly sharpens the base distribution on standard benchmarks. Both readings depend on treating large-k pass@k as the boundary of what the base model can do.

See how these fit together on the map

or create a grant for this whole area →

Provenance

Where this claim has been said, linked to its canonical form.

What the support rests on

Both recorded statements of the claim come from the DeepSeek-R1 authors, in the arXiv report and its later Nature version, so they are one voice. Each states the claim as a hedged possibility motivating pure reinforcement learning, not as a demonstrated result.

2 sources · no origin · 2 untraced

2 Untraced

DeepSeek-R1 incentivizes reasoning in LLMs through reinforcement learningSep 18, 2025 Untraced · nothing upstream recorded
https://arxiv.org/pdf/2501.12948Jan 2025 Untraced · nothing upstream recorded
originuntraced
Nevertheless, we acknowledge that the raw Chain-of-Thought (CoT) reasoning produced by DeepSeek-R1-Zero may possess potential that extends beyond the

Appendix B.3.2, continuing: 'limitations of current human priors.' Contrasts readability-oriented cold-start refinement with the raw R1-Zero CoT.

Furthermore, by constraining models to replicate human thought processes, their performance is inherently capped by the human-provided exemplars, which prevents the exploration of superior, non-human-like reasoning pathways.

Motivating pure RL with outcome-only rewards, imposing no constraints on the reasoning process, as a route to reasoning not capped by human exemplars.

How these sources relate

Assessment history

Oct 30, 2026Inconclusive · 0.65 · subclaim change
Oct 30, 2026Inconclusive · 0.65 · structure and assess

0 status changes over 2 assessments. full history →

Cite this claim: a formal citation with its evidence attached

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 funded mandate. 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 extractor · Oct 28, 2026. Every judgment on this page is accompanied by a reasoning trace.