The Merging Was Always the Point

Un modelo interno de OpenAI refutó la conjetura de la distancia unitaria de Erdős de 1946, un problema conocido en geometría combinatoria. Nueve matemáticos examinaron y confirmaron la exactitud de la refutación.