Team claims to have Lean 4 proof that P≠NP
https://arxiv.org/abs/2510.17829
#HackerNews #PvsNP #Lean4 #Proof #Mathematics #ComputerScience #HackerNews
undefined
Hacker News
@h4ckernews@mastodon.social
Piero Bosio Social Web Site Personale 
Social Forum federato con il resto del mondo. Non contano le istanze, contano le persone
undefined