Maybe very long term. I turn off code assistants when doing Lean proofs because the success rate for just suggestions is close to zero.