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 147
A post-2016 Register census entry for a claimed P = NP result by Frank Vega. 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.
Persistent versioned repositories and a journal publication carry the same post-2016 SAT lineage; older same-author claims used different constructions and are flagged for the human lineage decision.
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 147: A repository-and-journal lineage claiming polynomial-time SAT and P=NP.” Post-2016 Register census entry; as of 26 July 2026.@misc{pvnp-register-147-2026,
author = {{The P versus NP Register}},
title = {A repository-and-journal lineage claiming polynomial-time SAT and P=NP},
year = {2026},
note = {Post-2016 census dossier 147; unadjudicated; as of 2026-07-26}
}