Hungarian mathematician Paul Erdős’ ‘planar unit distance conjecture’ has stood since 1946 – but an AI disproof has made mathematicians pay attention.