I’m very glad to see some serious progress on this agenda. If I’m being honest, I was less than excited by the latest long stretch of (published) results on it. It felt like there was no progress on the core ideas being made, only the shoring-up of the foundations and some minor peripheral insights. It looked concerningly plausible that this path routed through regions of math-space so thorny they were effectively impassable. (This might be an unfair characterization, particularly if those results looked more important in the context of unpublished research/considerations. Sorry if so.)
This result I am very much excited about. It seems to be a meaningful step “depthwards”, and serves as an existence proof that depthwards progress is possible at all. Great job!
Congratulations!
I’m very glad to see some serious progress on this agenda. If I’m being honest, I was less than excited by the latest long stretch of (published) results on it. It felt like there was no progress on the core ideas being made, only the shoring-up of the foundations and some minor peripheral insights. It looked concerningly plausible that this path routed through regions of math-space so thorny they were effectively impassable. (This might be an unfair characterization, particularly if those results looked more important in the context of unpublished research/considerations. Sorry if so.)
This result I am very much excited about. It seems to be a meaningful step “depthwards”, and serves as an existence proof that depthwards progress is possible at all. Great job!