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