The Merging Was Always the Point

Um modelo interno da OpenAI refutou a conjectura da distância unitária de Erdős de 1946, um problema notório em geometria combinatória. A refutação foi examinada e considerada correta por nove matemáticos.