OpenAI, @wtgowers , and more(?) report that there's a better configuration of points for producing unit distances. In fact, an entire family! There's this blog post that comes up first when I search: https://openai.com/index/model-disproves-discrete-geometry-conjecture/

They helpfully picture the point configuration that is no longer champion (the best set of points humans could find with as many pairs as possible being unit distance apart). As far as I can see, they don't include a picture of any of the new point configurations!

Internet. I have a task. Somebody please plot the new configuration and show me a picture. It would make me very happy.
#maths #unitdistance #erdos #mathConjecture #mathart

An OpenAI model has disproved a central conjecture in discrete geometry

An OpenAI model solved the 80-year-old unit distance problem, disproving a major conjecture in discrete geometry and marking a milestone in AI-driven mathematics.

OpenAI