Remix.run Logo
▲ caughtinthought 8 hours ago

I'm stating the conjecture as requested

▲pcstl 7 hours ago | parent [-]

I think you misunderstood, I believe they were requesting a layperson-friendly explanation of the conjecture and not a statement of it.

▲jibalt 5 hours ago | parent | next [-]

How is "This proves that EXP != NP", which is false, a layperson-friendly explanation of the actual proof that 3SAT is sub-exponential?

Note https://news.ycombinator.com/item?id=50253213

▲moishe_syzslak 7 hours ago | parent | prev | next [-]

Whenever someone asks for an ELI5, there's always got to be somebody who further confuses the issue.

▲caughtinthought 7 hours ago | parent | prev [-]

Which is a separate issue than the one you commented originally