ARTICLEDEV.to AI·19d atrás
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.
27