This morning, I woke up to news of a breakthrough on Erdős’ unit distance problem. Disproving Erdős’ Unit Distance Conjecture would be remarkable in its own right. What makes this moment extraordinary, however, is that the breakthrough was achieved by an OpenAI model. You can watch this fairly recent video if you are interested more […]