I'm actually taking a proofs class right now, and edit my Latex in VS Code with Copilot enabled. Its syntax is always perfect, but most of the time it produces stuff that doesn't make a ton of sense. There have been a few times when it gets the next couple of lines correct for repetitive proofs with a lot of "boilerplate", but it doesn't really make big logical/creative jumps.