An AI Cracks an 80-Year-Old Geometry Puzzle. What Do Mathematicians Make of It?

In recent developments, eight decades after Paul Erdős posed the unit distance problem in 1946, a general-purpose AI has produced configurations that beat the long-standing conjectured bounds, proving at least…