3 ms·
>Surely this implies these LLM generated proofs require the LLMs to have mathematical intuition Well yeah they do, obviously.
by famouswaffles 7d ago
>Surely this implies these LLM generated proofs require the LLMs to have mathematical intuition
Well yeah they do, obviously.