3 ms·

This was helpful, thanks.

• cmrx64 10mo ago
  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!
  • doug-moen 10mo ago
    Yah, I read that and thought "this seems like gibberish: maybe I am reading LLM slop".
  • meroes 10mo ago
    Thank you. I was following along until that paragraph and got the opposite interpretation too.