Corroboration · Est. 1996, maintained again since 2026
The P versus NP RegisterContinuing the page kept by Gerhard Woeginger, 1996–2016.
Post-2016 Register census entry 156
A post-2016 Register census entry for a claimed P = NP result by Mirzakhmet Syzdykov, Yannick Kardeis. 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.
The persistent journal and Zenodo objects independently satisfy inclusion; overlapping viXra versions are recorded only inside this already-admitted author-and-claim lineage.
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 censusLink retained by the post-2016 census
Live at censusLink retained by the post-2016 census
Live at censusThe P versus NP Register. “Dossier 156: A journal-and-preprint lineage claiming a functional proof that P=NP.” Post-2016 Register census entry; as of 26 July 2026.@misc{pvnp-register-156-2026,
author = {{The P versus NP Register}},
title = {A journal-and-preprint lineage claiming a functional proof that P=NP},
year = {2026},
note = {Post-2016 census dossier 156; unadjudicated; as of 2026-07-26}
}