Comment on Some Junk Theorems in LeanparentComments−cmrx648mothe last paragraphs cite why junk theorems are objectionable but then fully misinterprets it to draw the opposite conclusion. the intersection is the S-feature and problematic. 1 + 2 = 4 is a “theorem beyond T” expressed in T theory.don’t be mislead about what a junk theorem is!−meroes8moThank you. I was following along until that paragraph and got the opposite interpretation too.−doug-moen8moYah, I read that and thought "this seems like gibberish: maybe I am reading LLM slop".
Comments
the last paragraphs cite why junk theorems are objectionable but then fully misinterprets it to draw the opposite conclusion. the intersection is the S-feature and problematic. 1 + 2 = 4 is a “theorem beyond T” expressed in T theory.
don’t be mislead about what a junk theorem is!
Thank you. I was following along until that paragraph and got the opposite interpretation too.
Yah, I read that and thought "this seems like gibberish: maybe I am reading LLM slop".