Oh another thing, purely anekdotally, coding LLMs still suck at multithreading.

I feel that's one part where they could legitimately make actual "AI" for, basically a tool that either proves that nothing depends on exact timing, finds a counter example, or tells you it can't do either (in which case your code is probably just very bad). But big overfunded AI labs probably feel that such tooling is beneath them.