AI solves the Erdős unit distance problem

A general-purpose model resolved a famous 80-year-old combinatorial geometry problem that many mathematicians had tried to crack

AI has now solved a major open problem -- one of the best known Erdos problems called the unit distance problem, one of Erdos's favourite questions and one that many mathematicians had tried.