1 comments

  • jjgreen 4 hours ago

    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