[akoboldfrying]

This was helpful, thanks.

[cmrx64]

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!

[meroes]

Thank you. I was following along until that paragraph and got the opposite interpretation too.

[doug-moen]

Yah, I read that and thought "this seems like gibberish: maybe I am reading LLM slop".