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 153
A post-2016 Register census entry for a claimed P ≠ NP result by Craig Crabtree. 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.
A journal-accepted article in the window expressly presents itself as a formal proof of P≠NP.
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 censushttps://www.opastpublishers.com/peer-review/p-npa-formal-proof-9512.html
The P versus NP Register. “Dossier 153: P ≠ NP — A Formal Proof.” Post-2016 Register census entry; as of 26 July 2026.@misc{pvnp-register-153-2026,
author = {{The P versus NP Register}},
title = {P ≠ NP — A Formal Proof},
year = {2026},
note = {Post-2016 census dossier 153; unadjudicated; as of 2026-07-26}
}