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 137

A claimed P≠NP separation developed in two companion papers

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

Register number
137
Author(s)
Ali Çivril
Year claimed
2021–2026
Direction
P ≠ NP
Works or versions
30
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 two same-day companion papers form one author-and-claim lineage and explicitly claimed P≠NP; both withdrawals are preserved as lineage status.

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

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

    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 ids
  • 2107.07386
  • 2107.07387
V1 date
2021-07-06 (both)
Latest versions
  • v16 (2026-07-21)
  • v14 (2026-07-21)
Status
withdrawn (both)

Discovery queries

  • arXiv all:"P != NP" + proof language
  • arXiv ti:"P versus NP" + separation language

Cite this dossier

Plain text

The P versus NP Register. “Dossier 137: A claimed P≠NP separation developed in two companion papers.” Post-2016 Register census entry; as of 26 July 2026.

BibTeX

@misc{pvnp-register-137-2026,
  author = {{The P versus NP Register}},
  title = {A claimed P≠NP separation developed in two companion papers},
  year = {2026},
  note = {Post-2016 census dossier 137; unadjudicated; as of 2026-07-26}
}