zlacker

Intuitive yes, but since P != PSPACE is still unproven it's clearly hard to demonstrate.

>>thatgu+(OP)
The article is about a new proof wherein P == PSPACE.

Something we all intuitively expected but someone finally figured out an obscure way to prove it.

--------

This is a really roundabout article that takes a meandering path to a total bombshell in the field of complexity theory. Sorry for spoiling but uhhh, you'd expect an article about P == PSPACE would get to the point faster....

>>dragon+E
This article is not about a proof that P = PSPACE. That would be way bigger news since it also directly implies P = NP.

>>thatgu+(OP)
I think that since many people find it intuitive that P != NP, and PSPACE sits way on top of polynomial hierarchy that it is intuitive even if it’s unproven.

>>thatgu+(OP)
There's not even a proof that P != EXPTIME haha

EDIT: I am a dumbass and misremembered.

>>porphy+f9
I think there is right? It's been a long time but I seem to remember it following from the time hierarchy theorem

>>porphy+f9
I thought there was some simple proof of this, but all I can think of is time hierarchy theorem.