An LLM-generated counterexample far outside one's area of expertise | Hacker News Reader