2 ms·
Is it not objective reality that the feat performed by the LLM here is much more then parroting or summarizing something? It's doing math proofs. At this point
by threethirtytwo 3mo ago
Is it not objective reality that the feat performed by the LLM here is much more then parroting or summarizing something?
It's doing math proofs. At this point, it's fully clear that objective reality is that the LLM is not parroting anything here.
- slashdave 3mo agoIt's parroting proofs. This is no different than parroting a story. https://lean-lang.org https://lean-lang.org