Comment on Some Junk Theorems in LeanparentComments−akoboldfrying8moThis was helpful, thanks.−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
This was helpful, thanks.
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".