This is impressive: an AI model has disproved an...

This is impressive: an AI model has disproved an 80-year-old conjecture by Paul Erdős. “The proof came from a new general-purpose reasoning model, rather than from a system trained specifically for mathematics.”