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 127

A Proof of P≠NP

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

Register number
127
Author(s)
Boyu Sima
Year claimed
2019
Direction
P ≠ NP
Works or versions
3
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 expressly claim a proof of P≠NP; the published critique is attached as a sub-item.

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/1911.00722

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

  • Link retained by the post-2016 census

    Live at census

    https://arxiv.org/abs/2005.03256

    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
1911.00722
V1 date
2019-11-02
Latest version
v2 (2020-06-26)
Status
current

Discovery queries

  • arXiv ti:"proof" AND all:"P != NP"
  • arXiv all:"P is not equal to NP"

Cite this dossier

Plain text

The P versus NP Register. “Dossier 127: A Proof of P≠NP.” Post-2016 Register census entry; as of 26 July 2026.

BibTeX

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