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