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 152
A post-2016 Register census entry for a claimed P ≠ NP result by Jesus Manuel Soledad Terrazas. 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 dated, persistent repository record in the window explicitly announces a P≠NP proof; it is a candidate for human review.
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 152: A claimed proof that P≠NP.” Post-2016 Register census entry; as of 26 July 2026.@misc{pvnp-register-152-2026,
author = {{The P versus NP Register}},
title = {A claimed proof that P≠NP},
year = {2026},
note = {Post-2016 census dossier 152; unadjudicated; as of 2026-07-26}
}