AI models reportedly write correct Bend code but struggle to make it fast

A user says AI models are extremely good at writing correct Bend code and proofs, yet produce extremely slow code by default. They point to linked-list overuse, unnecessary cloning and poor parallelization. In a follow-up, they say one or two directions can get the models to do the right thing.