Comment Comment by RA_Fisher An LLM disproved a famous 80-year-old conjecture. parent RA_Fisher 4 months ago