The Articifical Intelligence thread.

[haxxiy]

An internal model at OpenAI has just solved the unit distance problem, a major conjecture in discrete geometry.

While other models have previously solved some Erdos problems, this is the first one that is enough to be considered a lifetime achievement of an academic mathematician, had a person done it.