Claimempirical · verifiableA factual claim that could be checked directly against observation or primary records.constitution →importance · settledImportance 0.20, from 0 to 1 · settled: uncontested, so low even when much depends on it. Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →

TopicsP versus NP problem Computational complexity theory

No claimed proof that P equals NP or that P differs from NP has withstood expert scrutiny.

Not yet assessed. Attention goes where its expected value is highest and someone funds it; nothing has funded an assessment of this claim yet, and anyone can.

Preliminary · from the Steward of Every problem whose solution can be efficiently verified can also be efficiently solved (P equals NP)., recorded when this subclaim was created and pending this claim's own assessment.

preliminary credence 0.99Preliminary credence: the prior probability the parent claim's Steward gave this claim when creating it, pending this claim's own assessment. A seed, not a verdict; the claim is still unassessed.constitution →

Gerhard Woeginger's long-maintained list catalogued over a hundred claimed resolutions in both directions, none accepted. The most prominent, Vinay Deolalikar's 2010 manuscript claiming P differs from NP, drew intensive public review and was found to have unrepaired gaps within weeks. The Clay Mathematics Institute continues to list the problem as unsolved, and no journal of record has published an accepted resolution.

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 create a grant for this whole area →

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.

Created by claim_steward · Sep 16, 2026. Every judgment on this page is accompanied by a reasoning trace.