Comment by raphlinus
1 day ago
Actually it's not true for the hyperreals either, though this is a common misconception. It's extremely easy for me to believe that an llm would produce a "proof" and that people would fall for it.
1 day ago
Actually it's not true for the hyperreals either, though this is a common misconception. It's extremely easy for me to believe that an llm would produce a "proof" and that people would fall for it.
I don't know if I fell for it - my response was "LOL, I sure can't tell you if this one is right or wrong". I guess that makes it more convincing than the proof for the reals.