alt Hacker News>Surely this implies these LLM generated proofs require the LLMs to have mathematical intuition
Well yeah they do, obviously.
>Surely this implies these LLM generated proofs require the LLMs to have mathematical intuition
Well yeah they do, obviously.