An LLM-generated counterexample far outside one's area of expertise

(mathoverflow.net)

2 points | by jjgreen 5 hours ago

1 comments