Team claims to have Lean 4 proof that P≠NP
Team claims to have Lean 4 proof that P≠NP
arxiv.org
A Homological Proof of $\mathbf{P} \neq \mathbf{NP}$: Computational Topology via Categorical Framework
1 comments
Team claims to have Lean 4 proof that P≠NP
A Homological Proof of $\mathbf{P} \neq \mathbf{NP}$: Computational Topology via Categorical Framework