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 159

Lean 4 Machine-Verified Proof of P = NP via the Pedigree Polytope Membership Problem

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

Register number
159
Author(s)
T. S. Arthanari
Year claimed
2026
Direction
P = NP
Works or versions
1
Register status
Unadjudicated candidate
Refutation record
None 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.

No refutation is recorded in the census data. Absence of a located response is not evidence that none exists.

Register census note

Inclusion basis

The title and abstract explicitly claim a proof of P=NP, within the sweep window.

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

    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
2606.03194
V1 date
2026-06-02
Latest version
v1 (2026-06-02)
Status
current

Discovery queries

  • arXiv all:"P=NP" + proof language
  • arXiv ti:"proof" AND all:"P = NP"

Cite this dossier

Plain text

The P versus NP Register. “Dossier 159: Lean 4 Machine-Verified Proof of P = NP via the Pedigree Polytope Membership Problem.” Post-2016 Register census entry; as of 26 July 2026.

BibTeX

@misc{pvnp-register-159-2026,
  author = {{The P versus NP Register}},
  title = {Lean 4 Machine-Verified Proof of P = NP via the Pedigree Polytope Membership Problem},
  year = {2026},
  note = {Post-2016 census dossier 159; unadjudicated; as of 2026-07-26}
}