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 158
A post-2016 Register census entry for a claimed P ≠ NP result by Darren J. Edwards. 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 abstract explicitly states that the framework yields a contradiction under P=NP and establishes separation.
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 censusThe P versus NP Register. “Dossier 158: Toward P vs NP: An Observer-Theoretic Separation via SPDP Rank and a ZFC-Equivalent Foundation within the N-Frame Model.” Post-2016 Register census entry; as of 26 July 2026.@misc{pvnp-register-158-2026,
author = {{The P versus NP Register}},
title = {Toward P vs NP: An Observer-Theoretic Separation via SPDP Rank and a ZFC-Equivalent Foundation within the N-Frame Model},
year = {2026},
note = {Post-2016 census dossier 158; unadjudicated; as of 2026-07-26}
}