▲ 121 r/slatestarcodex
An OpenAI model has disproved a central conjecture in discrete geometry - the planar unit distance problem.
I know there have been a number of Erdos problems solved already but not all of them were seen as very important or notable, but this one is getting attention on Twitter.
An(other) inflection point in the spooling up of AI progress?
u/Open_Seeker — 1 day ago