← Back to context Comment by slashdave 10 hours ago Must be nice knowing you have a clear understanding of "objective reality" that others don't. 2 comments slashdave Reply threethirtytwo 9 hours 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 8 hours ago It's parroting proofs. This is no different than parroting a story.https://lean-lang.org
threethirtytwo 9 hours 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 8 hours ago It's parroting proofs. This is no different than parroting a story.https://lean-lang.org
slashdave 8 hours ago It's parroting proofs. This is no different than parroting a story.https://lean-lang.org
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.
It's parroting proofs. This is no different than parroting a story.
https://lean-lang.org