>Surely this implies these LLM generated proofs require the LLMs to have mathematical intuition

Well yeah they do, obviously.