1 comment

[ 0.22 ms ] story [ 9.8 ms ] thread
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