"Software 1.0 automatisiert leicht, was Sie spezifizieren können. Software 2.0 automatisiert leicht, was Sie verifizieren können." Wenn es nicht verifizierbar ist, muss es aus dem neuralen Netz-Magie der Verallgemeinerung herausfallen, die Daumen gedrückt, oder durch schwächere Mittel wie Nachahmung. Das treibt die "gezackte" Grenze des Fortschritts in LLMs voran.