Historical dossier 065

P!=NP

A recorded P ≠ NP claim by Vinay Deolalikar, preserved from Woeginger’s frozen 2016 page.

Dossier: 065
Author(s): Vinay Deolalikar
Date recorded: the beginning of August 2010
Direction: P ≠ NP
Works or versions: 1
Adjudication: Not recorded
Seed source: sources/captures/woeginger-list-frozen-2016.html
Source selector: ol > li:nth-of-type(65)

Woeginger’s note — verbatim historical text

Verbatim historical text

[Not equal]: In the beginning of August 2010, Vinay Deolalikar announced a proof that P is not equal to NP. He writes: "The proof required the piecing together of principles from multiple areas within mathematics. The major effort in constructing this proof was uncovering a chain of conceptual links between various fields and viewing them through a common lens. Second to this were the technical hurdles faced at each stage in the proof. This work builds upon fundamental contributions many esteemed researchers have made to their fields. In the presentation of this paper, it was my intention to provide the reader with an understanding of the global framework for this proof. Technical and computational details within chapters were minimized as much as possible." The first version of the paper "P!=NP" had 66 pages, and is available as pdf-file. Lots of useful discussions on this proof: http://rjlipton.wordpress.com/

Preserved from the frozen 2016 page. This is the historical layer, not the Register’s voice.

Adjudication status

Unadjudicated

Unadjudicated

No adjudication is recorded in the imported historical dossier.

Unadjudicated does not mean endorsed.

As of 24 July 2026

Links printed in the dossier

Link status checked against the held 24 July 2026 probe. A dead link does not change the claim’s status.

Link printed in the historical dossier
Live
http://www.win.tue.nl/~gwoegi/P-versus-NP/Deolalikar.pdf
200 · Link status checked 24 July 2026.
Link printed in the historical dossier
Live
http://rjlipton.wordpress.com/
200 · Link status checked 24 July 2026.

Cite this dossier

Plain text

The P versus NP Register. “Dossier 065: P!=NP.” As of 24 July 2026.

BibTeX

@misc{pvnp-register-065-2026,
  author = {{The P versus NP Register}},
  title = {P!=NP},
  year = {2026},
  note = {Dossier 065; as of 2026-07-24}
}

Event timeline

No post-seed events are recorded for this dossier. Its imported historical record remains unchanged.