Team claims to have Lean 4 proof that P≠NP
https://arxiv.org/abs/2510.17829
#HackerNews #PvsNP #Lean4 #Proof #Mathematics #ComputerScience #HackerNews
Hacker News
npub1w0…035mr
2025-10-22 17:30:07 UTC
Author Public Key
npub1w0cttkac9j3rqvypj6pthpvekhlvke4v50pwgt65kw03k6avvjlqx035mrSeen on
wss://relay.momostr.pinkPublished at
2025-10-22 17:30:07 UTCEvent JSON
{
"id": "f04d3776b110d4d58df47fd6bb2a67a44929c7160ef66fb184db3316702b9489",
"pubkey": "73f0b5dbb82ca23030819682bb8599b5fecb66aca3c2e42f54b39f1b6bac64be",
"created_at": 1761154207,
"kind": 1,
"tags": [
[
"t",
"hackernews"
],
[
"t",
"pvsnp"
],
[
"t",
"proof"
],
[
"proxy",
"https://mastodon.social/@h4ckernews/115419002145396299",
"web"
],
[
"t",
"mathematics"
],
[
"t",
"computerscience"
],
[
"t",
"lean4"
],
[
"proxy",
"https://mastodon.social/users/h4ckernews/statuses/115419002145396299",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mastodon.social/users/h4ckernews/statuses/115419002145396299",
"pink.momostr"
],
[
"-"
]
],
"content": "Team claims to have Lean 4 proof that P≠NP\n\nhttps://arxiv.org/abs/2510.17829\n\n#HackerNews #PvsNP #Lean4 #Proof #Mathematics #ComputerScience #HackerNews",
"sig": "9e501dad5dd2fdc86ce5e1292f506a3e2c84265360041cf8007646443e84ce0b7f25d5ce8f835466adb68c4d21613e542b302ce84d9acd33de23ad0d8f841f78"
}