>Or are they just not gonna bother checking?
They're not going to bother checking. It simply isn't going to be possible for humans to review code in the future where all code is being written by machines, and not having all code be written by machines is not an option.
Hell in the future LLMs probably won't even work with "code" at all, just bytecode directly, using some format created by and optimized for LLMs. Why even bother with text when no human will ever lay eyes on it?
>We are gonna see some Knight Capital level fuckups shortly.
Yes, but humans fuck up too so it doesn't matter. Future go brrr.
The idea the LLMs would work in bytecode kind of ignores why they are good at higher level code, IMO. Bytecode would fill and overflow context so fast and locality of reasoning is much harder.