How hard is it to prove that #problems are hard to solve? #Metacomplexity #theorists have been asking questions like this for decades. A string of recent results has started to deliver answers.

https://www.quantamagazine.org/complexity-theorys-50-year-journey-to-the-limits-of-knowledge-20230817/?mc_cid=220b7c326d&mc_eid=ecf74dd79a

A long and interesting article on complexity in mathematics. Basically, whether P = NP.

"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."

https://www.quantamagazine.org/complexity-theorys-50-year-journey-to-the-limits-of-knowledge-20230817/

#Mathematics #LongRead #Complexity #Theorems #MetaComplexity