Verifiability
Only the problems that are too [[small, niche, complex]] to be easily verified will be solved by humans (with the help from LLMs)
All relatively simple problems can readily be [[solved, coded]] by LLMs.
All problems that are complex but verifiable in one systematic way [[have, will]] fall to LLMs.
Only the problems that are too [[small, niche, complex]] to be easily verified will be solved by humans (with the help from LLMs)
Published on March 2nd, 2026