An OpenAI Model ‘Disproved’ a Famous Math Conjecture. This Mathematician Couldn't Leave It Alone

The ability of large language models to identify counterexamples to complex mathematical conjectures highlights a shift in AI's role from pattern recognition to genuine scientific discovery. This breakthrough suggests that AI-assisted formal verification could soon accelerate the pace of human mathematical research by bypassing traditional manual computation.