Why “withdrawn” is being discussed
The most recent Hacker News stories and comments contributing to this topic's mentions.
My intention wasn't to attack academics. I was just trying to point out that being wrong is something that happens all the time, especially when something is in-progress (pre-pr…
by kevin42 · Oct 8, 2026
None of the papers withdrawn were formalized in Lean, only about half the papers in the repo are formalized. I don't think we yet have an example of what you're suggesting actua…
by jrflo · Oct 8, 2026
So were the 3 withdrawn proofs the ones without Lean verification? If so, why did they mix proofs that were verified with Lean, and proofs in natural language? I was wondering t…
by chubot · Oct 8, 2026
Sort of. Living off-grid doesn’t necessarily mean fully abandoning society, but rejecting the part that values convenience over self-reliance. You can do this while still partic…
by sortoflog · Oct 8, 2026
The withdrawn papers were not lean verified nor claimed to be.
by n2d4 · Oct 8, 2026
At least check them properly. They have already withdrawn some of them.
by pks016 · Oct 8, 2026
Interest
Proportion of Hacker News items mentioning "withdrawn" over time.
Mentions
Total number of Hacker News items mentioning "withdrawn" over time.