An LLM-generated counterexample far outside one's area of expertisemathoverflow.net2 points·jjgreen··1 commentOpen articleSaveView on HN