OpenAI model overturns an Erdős conjecture

A machine found a different arrangement for unit distances in the plane, showing that search can still move old geometry forward

An OpenAI model has overturned an 80-year-old conjecture by Paul Erdős, one of the 20th century's greatest mathematicians. The problem was in geometry: unit distances in the plane. The best-known solution was a square grid. The machine fou