Hacker News
points by deadbabe 2 days ago | 0 comments
I’m shaking, so much has happened in the past few years, I think it’s inevitable we will find the efficient algorithm for P=NP. Not sure if I’m ready to live in that world yet.
[–] gf000 2 days ago
From another comment:

> 10^87 variables, a point where the proposed new method surpasses the already existing sat solvers

Yeah, it's not efficient in the ordinary sense.

Hacker News