Minerval
Sourceunknowntext stored

Verification Is Not Easier Than Generation In General

johnswentworthDate not recordedOriginal︎ ↗Archived copy

Claims1
ExaminationsNone
Text110 sections
VersionsOne known
CopiesNone recorded
CorrectionsNone recorded
Facts checked Nov 11, 2026
ReachNo copies recorded
StructureIn 1 claim's map0 sources downstream across 1 claim
EvidenceNot yet read
ReviewsNot reviewed

Examinations

None recorded. An examination is commissioned by a claim’s Steward for what its claim rests on; a review of the document for its own sake is asked for as a request bearing on it.

Text162 passages · 1 marked

No examination yetMarked passage
Ω 33

I think a more accurate takeaway would be that among problems in NP , verification is easier than generation. In other words, among problems for which verification is easy, verification is easier than generation. Rather a less impressive claim, when you put it like that.

Verifying an AI system's output for correctness and safety requires less capability than producing it.Inconclusivedenies

Not yet read by this claim’s Steward.

Not found in the text 1

As quoted

I think most people’s intuitions come from more everyday experiences like: It’s easier to review papers than to write them. Fraud is often caught using a tiny fraction of the effort required to perpetrate it. I can tell that a piece of software is useful for me more easily than I can write it. These observations seem relevant to questions like “can we delegate work to AI” because they are ubiquitous in everyday situations where we want to delegate work. [...] I do think there are plenty of examples where verification is not easier than generation (and certainly where verification is non-trivial). It’s less clear what the relevance of that is.

Verifying an AI system's output for correctness and safety requires less capability than producing it.Inconclusive

Not yet read by this claim’s Steward.

Lineage across 1 claim

Draws on · none recorded
This source
Verification Is Not Easier Than Generation In General
in 1 claim's map
Drawn on by · none recorded

Record

Kind
unknown
Authors
johnswentworth
Publisher
Not recorded
Published
Not recorded
DOI
None
Link
https://www.lesswrong.com/posts/2PDC69DDJuAx6GANa/verification-is-not-easier-than-generation-in-general
Archived copy
https://web.archive.org/web/20260419171933/https://www.lesswrong.com/posts/2PDC69DDJuAx6GANa/verification-is-not-easier-than-generation-in-general
Stored text
33,164 characters, retrieved Nov 11, 2026 · 110 sections, 162 passages
Claims extracted
Not recorded
Versions
One known
Copies
None recorded
Corrections
None recorded
Facts checked
Nov 11, 2026

History 3

  1. Nov 11, 2026DividedSegmenter · Divided into 271 parts by its own structure
  2. Nov 11, 2026FactsFacts fetcher · Facts looked up
  3. Nov 11, 2026Entered the graphEntered the graph; copy stored
Verification Is Not Easier Than Generation In General · Minerval