"Oprogramowanie 1.0 łatwo automatyzuje to, co możesz określić. Oprogramowanie 2.0 łatwo automatyzuje to, co możesz zweryfikować." Jeśli nie można tego zweryfikować, musi to wypaść z magicznego działania sieci neuronowych w zakresie generalizacji, trzymajmy kciuki, lub za pomocą słabszych środków, takich jak naśladowanie. To napędza "ząbkowaną" granicę postępu w LLM.