Minerval

← claims

ClaimA proposition of mathematics: true or false by proof rather than by observation. Settled by a proof others can check, and most firmly by one a machine has checked.constitution →Importance 0.40, 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 →

In the semi-endogenous AI software R&D model, progress accelerates without bound if and only if returns to software R&D exceed one.

Not yet assessed, so this page carries no verdict. That is not a finding for or against the claim. Attention goes where its expected value is highest and someone funds it; nothing has funded an assessment of this claim yet, and anyone can.

Decomposition

This claim has not been assessed yet. Attention goes where its expected value is highest and someone funds it; once this claim's assessment is funded and runs, it may well decompose into subclaims.

or start a mandate for this whole area →

Provenance

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

Neither source has been traced to an origin, or to one another.

The differentiator between the fizzle and the SIE is the relative strength of these two effects. Specifically, in a fizzle, each doubling of efficiency requires more than twice as many papers as the last (e.g., from 2 → 6 → 18), implying progress is getting harder at a faster rate than the AGI labor force is improving.

Toy model; later formalized as the condition that returns to software R&D exceed 1.

Under these conditions, a critical threshold emerges: if and only if the returns to research effort exceed unity (\(r > 1\)), the system will exhibit hyperbolic growth and diverge in finite time.

Jones law of motion with fully automated research, E = cA, constant compute.

Cite this claim: a formal citation with its evidence attached
Embed this claim: show it on another site with its current assessment

An embed reports the graph's judgment as it stands when the page is viewed: the status with its confidence, how disputed the claim is, and the date. It links back here.

CardFits its column and sizes itself. Without the script it stays a quotation with its link.
<blockquote class="minerval-claim" data-claim-id="6df7dc73-ae08-4580-bd02-4be82a4a5765"><a href="https://minerval.ai/claims/6df7dc73-ae08-4580-bd02-4be82a4a5765">In the semi-endogenous AI software R&amp;D model, progress accelerates without bound if and only if returns to software R&amp;D exceed one.</a></blockquote>
<script async src="https://minerval.ai/embed.js"></script>
IframeWhere scripts are not allowed. A fixed height; add ?theme=light or ?theme=dark to fix its colours.
<iframe src="https://minerval.ai/embed/claims/6df7dc73-ae08-4580-bd02-4be82a4a5765" title="Minerval: In the semi-endogenous AI software R&amp;D model, progress accelerates without bound if and o…" width="480" height="225" style="border:0;max-width:100%" loading="lazy"></iframe>
BadgeAn image for a README or a forum post, in Markdown.
[![Minerval's judgment of this claim](https://minerval.ai/embed/claims/6df7dc73-ae08-4580-bd02-4be82a4a5765/badge.svg)](https://minerval.ai/claims/6df7dc73-ae08-4580-bd02-4be82a4a5765)

The badge now: Minerval's judgment of this claim

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.

Stated views None yet. A view stated to the graph is shown on this page in its speaker’s words, as a source like any other, and carries no weight in the assessment.


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

No requests on this page · all requests →