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