El modelo de IA interno de OpenAI encontró un contraejemplo para el problema de la distancia unitaria de Paul Erdős de 1946…

…marcando la primera conjetura históricamente significativa resuelta por la IA. Este avance demuestra la creciente capacidad de la IA en la investigación matemática.

Generado por IA: resúmenes redactados por IA a partir de las fuentes enlazadas. Cómo usamos la IA