pvsnp-formal

Refuting Jian-Gang Tang's AI-generated crackpot paper "A Homological Proof of P ≠ NP: Computational Topology via Categorical Framework"

2Distinct people

2Mentions

0Explicit recommenders

18GitHub stars

REPOSITORY AT A GLANCE

What to know before exploring

Refuting Jian-Gang Tang's AI-generated crackpot paper "A Homological Proof of P ≠ NP: Computational Topology via Categorical Framework"

GitHub

No documented product use has been verified yet.

No recommendation phrase was found in the indexed comments.

No classified warning is attached to this page. Read the discussions before treating silence as approval.

No other repository is repeatedly linked in the same discussions.

Nov 7–Nov 14 UTC · Direct repository links and separately labeled related project stories. Indexed through 11/14/2026, 5:04:57 PM UTC.

No direct repository links were found in the indexed HN discussions over the past seven days. Older discussions are available below.

HN mentions by hour2 dated mentions

Observed mentions: 2025-10-23 02:24:10 UTC to 2025-10-23 02:29:23 UTC.

Counts come from the repository’s dated source evidence. Index cutoff: 2026-11-02 08:16:59 UTC. One observed period does not establish a trend.

View mention counts and date ranges

UTC ranges include their start and exclude their end. Select a period to filter the source evidence.
Period	Start (UTC)	End (exclusive, UTC)	Mentions	Submissions	Comments
Oct 23, 02:00	2025-10-23 02:00:00 UTC	2025-10-23 03:00:00 UTC	2	0	2

2 sources

The GitHub repo 404’s and likewise with the Docker image. Where's the code? https://github.com/comphomology/pvsnp-formal

Pg. 56 cites this repository which is either still private or doesn't exist: https://github.com/comphomology/pvsnp-formal