Comment by famouswaffles

15 hours ago

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

Well yeah they do, obviously.