this post was submitted on 22 Oct 2025
8 points (90.0% liked)

Tech

2210 readers
1 users here now

A community for high quality news and discussion around technological advancements and changes

Things that fit:

Things that don't fit

Community Wiki

founded 2 years ago
MODERATORS
Vacant@programming.dev
8
Team claims to have Lean 4 proof that P≠NP (arxiv.org)
submitted 1 month ago by PhilipTheBucket@piefed.social to c/tech@programming.dev
1 comments fedilink hide all child comments
you are viewing a single comment's thread
view the rest of the comments
[–] toothbrush@lemmy.blahaj.zone 6 points 1 month ago* (last edited 1 month ago)

Sadly, probably a crackpot paper. The link to the proof in lean 4 leads to a 404, the user doest exist, and the docker image also doesnt exist.

Also, the paper claims that its been verified by INRIA, Carnegie Mellon University, and the University of Cambridge, using their lean code. How can this be when the code isnt publicly accessible? Did they send it by email instead of fixing their repo? Why would they do that?

I somehow doubt that those three universities confirmed this proof and then sat on it, telling no one that one of the most important questions in CS has been solved.