Post-2016 Register census entry 146

P ≠ NP

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

Register number: 146
Author(s): Ke Xu, Guangyan Zhou
Year claimed: 2023–2025
Direction: P ≠ NP
Works or versions: 13
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.

As of 26 July 2026

Register census note

Inclusion basis

This is the known journal case specified by the task: an explicit P≠NP claim, its arXiv lineage, related support paper, and the accepted Allender–Williams comment are grouped together.

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/2302.09512
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/2309.05689
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://doi.org/10.1007/s11704-025-50231-4
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://doi.org/10.1007/s11704-025-53000-5
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://blog.computationalcomplexity.org/2025/08/some-thoughts-on-journals-refereeing.html
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+journal
Venue: Frontiers of Computer Science (2025)
Arxiv id: 2302.09512
V1 date: 2023-02-19
Latest version: v9 (2024-10-28)
Status: current; journal article and formal journal comment published

Discovery queries

arXiv ti:"P ≠ NP"
Xu Zhou Frontiers of Computer Science 2025 Allender Williams comment
Fortnow journal refereeing Xu Zhou P NP

Cite this dossier

Plain text

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

BibTeX

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