BrokenArXiv: How often do LLMs claim to prove false theorems? | Hacker News Reader