Resumen del contenido central
Hace 80 años, el matemático Erdős planteó una pregunta que parecía sencilla: en un plano, si se colocan n puntos, ¿cuántas parejas pueden existir entre ellos cuya distancia sea exactamente de 1 centímetro? Él conjeturó que la tasa de crecimiento de este número sería similar a n (casi lineal, por ejemplo, n multiplicado por un número que disminuye gradualmente), y no superaría el orden de 1.01 de n, es decir, un aumento “casi lineal”. En mayo de este año, el modelo de IA general de OpenAI (que no fue entrenado específicamente para matemáticas) utilizó métodos complejos de álgebra y teoría algebraica para refutar esta conjetura, demostrando que existe un número positivo pequeño δ (como 0.014) tal que el número de parejas de puntos a una distancia unitaria puede alcanzar n^(1+δ), lo cual representa una tasa de crecimiento más rápida de lo predicho por Erdős. Esta es la primera vez que la IA logra un avance significativo en una conjetura matemática importante, y el proceso de resolución de la prueba fue liderado por Chen Lijie, un legendario participante en competiciones matemáticas, lo que ha desatado debates sobre si la IA podría revolucionar la investigación matemática.
I. La conjetura de Erdős: ¿Cuántas parejas de puntos a una distancia de 1 centímetro pueden existir en un plano?
Imagínese trazando n puntos en un papel y procurando que la distancia entre tantos pares como sea posible sea exactamente de 1 centímetro. La pregunta de Erdős es: ¿cuántas parejas son posibles en el “máximo” número de casos?
- Caso más simple: si hay un punto central y los n-1 puntos restantes se encuentran en círculos con radio de 1 centímetro, entonces existirán n-1 parejas a una distancia unitaria (desde el centro hasta cada punto).
- Pero ¿y si queremos más? Por ejemplo, en un cuadrado (red de números enteros), ¿cuántos puntos vecinos pueden tener una distancia de 1 centímetro? Sin embargo, las restricciones de la geometría plana impiden que todos los puntos estén a esa distancia (solo se puede formar un triángulo equilátero). Por lo tanto, no es posible que todos los puntos cumplan esta condición.
Erdős conjeturó que la tasa de crecimiento sería n^(1+o(1)), es decir, ligeramente más rápida que n, pero no mucho (no de forma explosiva como n²). Esta conjetura ha perseguido a los matemáticos durante 80 años.
II. El truco de la IA: usar matemáticas de dimensiones superiores para superar las limitaciones del plano
Los humanos habían intentado construir estructuras en 2D (como cuadrados) para obtener el máximo número de parejas a una distancia unitaria, pero la IA adoptó un enfoque completamente nuevo:
1. Saltar a campos numéricos de dimensiones superiores: mientras que los humanos utilizaban números enteros (2D), la IA empleó sistemas numéricos más complejos (campos algebraicos). En estos sistemas, un número puede descomponerse en más factores, lo que permite combinarlos para crear más parejas a distancias específicas.
2. Equilibrar álgebra y geometría: los puntos de dimensiones superiores, al proyectarse en un plano 2D, se agrupan densamente; la IA utilizó conceptos como “torres de campos numéricos infinitamente extendidos” (teoría de cuerpos+teorema de Goldbach-Shafarevich) para garantizar que se generen suficientes parejas a una distancia unitaria mientras controla la densidad en 2D y evita que los puntos se acumulen.
El resultado: la IA demostró que el número de parejas a una distancia unitaria puede alcanzar n^(1+0.014), refutando así la conjetura de Erdős.
III. Importancia del logro: La IA general rompe una conjetura matemática importante por primera vez
Lo impactante de este avance es:
- No se trata de una herramienta especializada: la IA es un modelo universal diseñado para tareas generales, no entrenado específicamente para matemáticas, y no utilizó indicaciones o herramientas especiales.
- Reconocimiento de alto nivel: El ganador del Premio Fields, Gowers, afirmó que si esta prueba hubiera sido escrita por un humano, podría haberse publicado directamente en la revista matemática más prestigiosa, “Annals of Mathematics” (la misma donde se demostró el teorema de Fermat).
- Superación de las barreras de la intuición: las conjeturas matemáticas requieren un pensamiento constructivo; hasta ahora se creía que esto era exclusivamente humano, pero la IA ha demostrado que puede no solo resolver problemas, sino también generar nuevas formas de prueba.
IV. El papel clave de Chen Lijie: el legendario participante en competiciones matemáticas
Detrás de este logro está un chino: Chen Lijie:
- Legenda en competiciones: ganó la medalla de oro en olimpiadas de informática a los 16 años y la medalla de oro en IOI a los 18. Se formó en Tsinghua y obtuvo su doctorado en MIT.
- Puente entre IA y matemáticas: Se unió a OpenAI este año y lideró el proceso de transformar la prueba de la IA en una forma comprensible para los humanos (el razonamiento original de la IA tenía 125 páginas). Dijo: “No esperaba que se lograra un avance tan significativo en solo 5 meses”.
Su papel demuestra que los resultados de la IA necesitan ser traducidos y verificados por expertos humanos; la colaboración entre IA y humanos es un modelo clave para los avances actuales en matemáticas.
V. IA vs. Matemáticos humanos: ¿Asistente o sustituto?
Este avance ha desatado intensos debates:
- Ventajas de la IA: puede manejar matemáticas de dimensiones superiores que son difíciles para los humanos, tiene un bajo costo de error y una capacidad excepcional para combinar herramientas existentes. Algunos incluso sugieren que el cerebro humano quizás no sea la configuración óptima para las matemáticas avanzadas.
- Limitaciones de la IA: aún no puede proponer nuevas direcciones de investigación ni crear teorías (como lo hizo Erdős con sus conjeturas); solo puede combinar herramientas matemáticas existentes.
- Reflejo del paradoja de Moravec: las matemáticas son difíciles para los humanos, pero no tanto para la IA; sin embargo, tareas simples para los humanos, como cocinar o caminar, son difíciles para la IA.
El consenso actual es que la IA es un poderoso asistente, pero aún no ha llegado a reemplazar a los matemáticos humanos. La “apreciación”, la “curiosidad” y la capacidad de plantear nuevas preguntas siguen siendo habilidades únicas de los seres humanos.
Conclusión
El hecho de que la IA haya refutado la conjetura de Erdős no es el final, sino el comienzo. Nos obliga a reflexionar: ¿son las matemáticas realmente la última fortaleza de la inteligencia humana? En el futuro, la colaboración entre IA y matemáticos humanos podría llevar a avances que nunca imaginamos. Por ahora, los seres humanos siguen siendo el “alma” de la investigación matemática: la IA se encarga de los cálculos y construcciones, mientras que los humanos proporcionan la dirección y la creatividad.