On: The avalanche that hit math is coming for AI development

I think more accurately, it rests on (lots of) non-verifiable tasks sitting in latent space between verifiable tasks.

It’s a small distinction, but I think it creates a meaningfully less challenging requirement.