Comment by porphyra

There's not even a proof that P != EXPTIME haha

EDIT: I am a dumbass and misremembered.