5 ms·An LLM disproved a famous 80-year-old conjecture.by RA_Fisher 3mo agoAn LLM disproved a famous 80-year-old conjecture.