The Articifical Intelligence thread.

[LegitHyperbole]

haxxiy said:

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.

Multiple mathematicians and it's only going to get better. We are in for a wild ride.