back
1 comments
Full title: What does one do when one accidentally stumbles upon an LLM-generated counterexample to a conjecture far outside one’s area of expertise