"Software 1.0 automatiza facilmente o que você pode especificar. Software 2.0 automatiza facilmente o que você pode verificar." Se não for verificável, tem que sair da mágica de generalização da rede neural, dedos cruzados, ou por meios mais fracos como a imitação. É isso que está a impulsionar a fronteira "irregular" do progresso nos LLMs.