1 comments

  • jjgreen 1 hour 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