News for hackers. Stuff that matters.

A comment on Who Can Understand the Proof? A Window on Formalized Mathematics. Parent comment

Re:Who Can Understand the Proof? A Window on Formalized Math... by daxfohl on Monday January 13, 2025 @11:13AM (#42685030)
Maybe buried in that proof is the key insight needed to prove P != NP. Elegance would make it more likely that this insight is pulled out and identified.
[ Parent | on HN ]

There are no comments on this comment yet.