Check my P=NP proof for errors (based on incompleteness of ZFC)

  • Thread starter Thread starter porton
  • Start date Start date
  • Tags Tags
    Proof
Click For Summary
The discussion centers on a request for feedback on a proof of the P=NP problem, which is based on set theory and logic, particularly the incompleteness of ZFC. The proof incorporates concepts like inversions of bijections, algorithms as arguments of other algorithms, and the reduction of SAT to another NP problem. However, the moderator notes that the forum does not engage in reviewing unpublished work and emphasizes the improbability of a new proof succeeding where many established scientists have failed. The thread concludes with a suggestion that if someone were to solve the P=NP problem, they should consider monetizing their findings rather than publishing them.
porton
Messages
5
Reaction score
0
TL;DR
Check my P=NP proof for errors.
Please check for errors my proof of P=NP:
PDF file
It is based on set theory and logic (incompleteness of ZFC). It uses also inversions of bijections, algorithms as arguments of other algorithms, reduction of SAT to another NP problem.

[Moderator's note: link removed.]
 
Last edited by a moderator:
Technology news on Phys.org
porton said:
TL;DR Summary: Check my P=NP proof for errors.

Please check for errors my proof of P=NP:
PDF file
It is based on set theory and logic (incompleteness of ZFC). It uses also inversions of bijections, algorithms as arguments of other algorithms, reduction of SAT to another NP problem.
Sorry, I'm afraid we do not debunk or proofread unpublished work here. A discussion requires publication in a serious science journal.

However, this problem is so old that it is extremely unlikely that you have achieved where hundreds of scientists have failed.

This thread is closed. For interested readers about the problem, see
https://www.physicsforums.com/insights/p-vs-np-conjecture-calculations-and-meaning/
 
  • Like
Likes berkeman
A bit of advice for the lucky one who actually will solve this problem. If it would be ##P=NP## which I seriously doubt, then do not publish it! Deduce a polynomial traveling salesman algorithm instead, secure your copyright, and sell it to the thousands of traffic companies in the world that run trucks, container ships, or airplanes.
 
Anthropic announced that an inflection point has been reached where the LLM tools are good enough to help or hinder cybersecurity folks. In the most recent case in September 2025, state hackers used Claude in Agentic mode to break into 30+ high-profile companies, of which 17 or so were actually breached before Anthropic shut it down. They mentioned that Clause hallucinated and told the hackers it was more successful than it was...

Similar threads

Replies
52
Views
3K
  • · Replies 16 ·
Replies
16
Views
3K
Replies
29
Views
5K
  • · Replies 17 ·
Replies
17
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
Replies
4
Views
2K
Replies
33
Views
7K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 4 ·
Replies
4
Views
3K