5 ms·
At least 3 times a week, someone on the r/Collatz sub-reddit says: "I came up with a proof for Collatz and had ChatGPT/Claude verify it and it thinks I'm a geni
by jones1618 2mo ago
At least 3 times a week, someone on the r/Collatz sub-reddit says:
"I came up with a proof for Collatz and had ChatGPT/Claude verify it and it thinks I'm a genius."
It's so common, the community barely comments on the absurdity of these posts any more.
- pfdietz 2mo agoThis was a bit different, in that Lean was involved. That's more concerning. (I'm told this actually wasn't found by looking for a proof for Collatz, just that Collatz was used to exhibit the bug, once found.)
- notfed 2mo agoOk but how often do people provide a proof assistant verified proof for it? That's what this is. (Except that it's because the verifier had a bug.)