Hacker News Reader

> I'm not actually aware offhand of any mathematical results that were accepted and later found to be incorrect

Yes, in particular the slides by Kevin Buzzard (linked in there or here: https://www.andrew.cmu.edu/user/avigad/meetings/fomm2020/sli... ) are funny and educational on that matter.