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 118

An approach to P versus NP in Classical Propositional Logic

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

Register number
118
Author(s)
Mark Inman
Year claimed
2017
Direction
P = NP
Works or versions
2
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 abstract explicitly claims a polynomial algorithm and P=NP.

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

    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
1708.05714
V1 date
2017-08-18
Latest version
v2 (2018-04-23)
Status
current

Discovery queries

  • arXiv all:"P versus NP" + resolution language
  • arXiv abs:"we prove that P=NP"

Cite this dossier

Plain text

The P versus NP Register. “Dossier 118: An approach to P versus NP in Classical Propositional Logic.” Post-2016 Register census entry; as of 26 July 2026.

BibTeX

@misc{pvnp-register-118-2026,
  author = {{The P versus NP Register}},
  title = {An approach to P versus NP in Classical Propositional Logic},
  year = {2026},
  note = {Post-2016 census dossier 118; unadjudicated; as of 2026-07-26}
}