Corroboration · Est. 1996, maintained again since 2026

The P versus NP Register

Continuing the page kept by Gerhard Woeginger, 1996–2016.

Post-2016 Register census entry 128

A Mathematical Proof of the P versus NP Problem

A post-2016 Register census entry for a claimed P ≠ NP result by Tianrong Lin. It was not part of Woeginger’s frozen list and remains an unadjudicated candidate.

Register number
128
Author(s)
Tianrong Lin
Year claimed
2020
Direction
P ≠ NP
Works or versions
15
Register status
Unadjudicated candidate
Refutation record
A refutation is recorded
Census source
sweep/post2016-candidates-v2.jsonl
Census SHA-256
5e004aeecbc2d51ab55c93a769c81e8bf403cf7c50f668e294d289f7e7a04732

Candidate status

Unadjudicated candidate

Unadjudicated

The Register publishes this census record without endorsing or adjudicating the mathematical claim.

Unadjudicated does not mean endorsed.

A refutation is recorded in the census evidence below. This records a public response, correction, or withdrawal; it is not a Register adjudication.

Register census note

Inclusion basis

The title and abstract presented a direct separation claim; the withdrawal is retained as the latest status of the same lineage.

Links recorded by the census

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 census

    https://arxiv.org/abs/2003.09791

    Link status recorded by the census on 24 July 2026. This dated census status is separate from the held 174-link historical HEAD probe.

Post-2016 census provenance

Source
post-2016 discovery sweep
Venue type
arXiv
Arxiv id
2003.09791
V1 date
2020-03-22
Latest version
v15 (2021-10-14)
Status
withdrawn

Discovery queries

  • arXiv ti:"proof" AND all:"P versus NP"
  • Gödel's Lost Letter 2020 PNP

Cite this dossier

Plain text

The P versus NP Register. “Dossier 128: A Mathematical Proof of the P versus NP Problem.” Post-2016 Register census entry; as of 26 July 2026.

BibTeX

@misc{pvnp-register-128-2026,
  author = {{The P versus NP Register}},
  title = {A Mathematical Proof of the P versus NP Problem},
  year = {2026},
  note = {Post-2016 census dossier 128; unadjudicated; as of 2026-07-26}
}