Most people are prompting Claude wrong; specifically, they are not using the spec-verifier-environment framework that Karpathy advocates, which is why their results are suboptimal.