Have we delegated writing code to "AGIs" so we can write code to proof that the slop code works? I have a vague memory of pre-AGI era, when we wrote things called "tests" to verify that our code did what it claimed to do.