▲ 2 pointsAn LLM-generated counterexample far outside one's area of expertisemathoverflow.netby jjgreen·4d ago·1 comments·view on hn ↗