Continuing the page kept by Gerhard Woeginger, 1996–2016.
Post-2016 Register census entry 126
On the unprovability of P=NP
A post-2016 Register census entry for a claimed Other result by Rasoul Ramezanian. It was not part of Woeginger’s frozen list and remains an unadjudicated candidate.
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 and abstract make a claimed metamathematical resolution of P=NP, so it is retained with direction other.
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 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
1906.09873
V1 date
2019-06-20
Latest version
v1 (2019-06-20)
Status
current
Discovery queries
arXiv all:"P=NP" + proof language
arXiv all:"P versus NP" + resolution language
Cite this dossier
Plain text
The P versus NP Register. “Dossier 126: On the unprovability of P=NP.” Post-2016 Register census entry; as of 26 July 2026.
BibTeX
@misc{pvnp-register-126-2026,
author = {{The P versus NP Register}},
title = {On the unprovability of P=NP},
year = {2026},
note = {Post-2016 census dossier 126; unadjudicated; as of 2026-07-26}
}