AI Helps Break an 80-Year-Old Erdős Mathematics Barrier

A general-purpose reasoning model produced a new construction for Paul Erdős’s planar unit-distance problem. It does not solve the entire question, but overturns a long-standing assumption and demonstrates a new form of human–AI research collaboration.