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.”






