To be honest none of these problems feels remotely "solvable" beyond having a ton of knobs and engineering tradeoffs like we already have now.

In a sense they don't seem very exciting because all of this required generality.