Quanta magazine[^]:
How hard is it to prove that problems are hard to solve? Meta-complexity theorists have been asking questions like this for decades. A string of recent results has started to deliver answers.
It blew out the back of my head, so I may as well share
tl;dr version: Complexity theory is complex
