Corroboration · Est. 1996, maintained again since 2026

The P versus NP Register

Continuing the page kept by Gerhard Woeginger, 1996–2016.

Post-2016 Register census entry 129

A proof that P is not equal to NP

A post-2016 Register census entry for a claimed P ≠ NP result by Vasil Penchev. It was not part of Woeginger’s frozen list and remains an unadjudicated candidate.

Register number
129
Author(s)
Vasil Penchev
Year claimed
2020
Direction
P ≠ NP
Works or versions
1
Register status
Unadjudicated candidate
Refutation record
None recorded
Census source
sweep/post2016-candidates-v2.jsonl
Census SHA-256
5e004aeecbc2d51ab55c93a769c81e8bf403cf7c50f668e294d289f7e7a04732

Candidate status

Unadjudicated candidate

Unadjudicated

The Register publishes this census record without endorsing or adjudicating the mathematical claim.

Unadjudicated does not mean endorsed.

No refutation is recorded in the census data. Absence of a located response is not evidence that none exists.

Register census note

Inclusion basis

The title itself is an explicit P≠NP claim.

Links recorded by the census

The same link-list treatment is used across both corpora. These 63 post-2016 URLs carry the census’s dated link state; the 45-of-174 link-rot statistic remains explicitly historical.

  • Link retained by the post-2016 census

    Live at census

    https://arxiv.org/abs/2005.01412

    Link status recorded by the census on 24 July 2026. This dated census status is separate from the held 174-link historical HEAD probe.

Post-2016 census provenance

Source
post-2016 discovery sweep
Venue type
arXiv
Arxiv id
2005.01412
V1 date
2020-04-30
Latest version
v1 (2020-04-30)
Status
current

Discovery queries

  • arXiv all:"P is not equal to NP"
  • arXiv ti:"proof that P"

Cite this dossier

Plain text

The P versus NP Register. “Dossier 129: A proof that P is not equal to NP.” Post-2016 Register census entry; as of 26 July 2026.

BibTeX

@misc{pvnp-register-129-2026,
  author = {{The P versus NP Register}},
  title = {A proof that P is not equal to NP},
  year = {2026},
  note = {Post-2016 census dossier 129; unadjudicated; as of 2026-07-26}
}