Un hito matemático de la IA: qué significa que OpenAI refutara la conjetura de distancia unidad de Erdős