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.
Source: Complexity Theory’s 50-Year Journey to the Limits of Knowledge | Quanta Magazine