Tabla de contenido
Cuando la IA usó teoría de números para resolver geometría
La IA usó teoría de números para resolver un problema de geometría de 1946. Qué son las torres de cuerpos de clases, explicado con papel cuadriculado.
Lo más interesante de que una IA usó teoría de números para resolver geometría está en una sola frase del anuncio de OpenAI: “Estas ideas eran bien conocidas por los teóricos algebraicos de números, pero fue una gran sorpresa que estos conceptos tengan implicancias para preguntas geométricas en el plano euclidiano”.
El problema era sobre puntos en una hoja plana. La solución vino de una rama de la matemática que estudia cómo factorizan los números en sistemas numéricos exóticos. Nadie había conectado esas dos cosas en ochenta años. Esa conexión, y no el hecho de que la haya encontrado una máquina, es la parte que vale explicarle a tu hijo.
Puntos clave
- El problema de la distancia unitaria pregunta cuántos pares de puntos, entre n puntos en un plano, pueden estar exactamente a distancia 1. Erdős lo planteó en 1946, y el libro de referencia Research Problems in Discrete Geometry (2005) lo llama el problema más simple de explicar del área.
- La mejor construcción de Erdős se entiende a través de los enteros gaussianos, números de la forma a + bi.
- La demostración de la IA reemplazó los enteros gaussianos por cuerpos de números más complicados “con simetrías más ricas que pueden crear muchas más diferencias de longitud unitaria”.
- Las herramientas fueron torres infinitas de cuerpos de clases y la teoría de Golod–Shafarevich, usadas para demostrar que los cuerpos necesarios existen.
- La lectura de Thomas Bloom, reportada por Quanta: el resultado muestra que “las construcciones de teoría de números tienen mucho más que decir sobre este tipo de preguntas de lo que sospechábamos”.
Por qué sorprendió que la IA usó teoría de números acá
Esta es la cadena, y voy a mantener cada paso verificable.
Empieza con la geometría. Si quieres muchos pares de puntos exactamente a una unidad de distancia, quieres un patrón de puntos donde la misma distancia aparezca una y otra vez. Una cuadrícula hace eso: casi todos los puntos tienen cuatro vecinos a distancia exactamente 1.
Ahora la teoría de números. La construcción original de Erdős se puede describir con los enteros gaussianos: números de la forma a + bi, donde a y b son enteros ordinarios e i es la raíz cuadrada de −1. Grafica a + bi como el punto (a, b) y tienes una cuadrícula. Los enteros gaussianos se comportan bastante como los enteros comunes, incluyendo tener factorización única en primos. Esa estructura es lo que hace que el conteo funcione.
Y ahora el salto. Como lo describe OpenAI: “El nuevo argumento reemplaza los enteros gaussianos por generalizaciones más complicadas de la teoría algebraica de números, con simetrías más ricas que pueden crear muchas más diferencias de longitud unitaria”.
Léelo de nuevo, porque ahí está toda la idea. Los enteros gaussianos te dan algo de simetría. Sistemas numéricos más ricos te dan más simetría. Más simetría significa más pares a la misma distancia. Y más pares es exactamente lo que el problema pedía.
La última pieza es la más difícil y la más técnica: hay que demostrar que los sistemas numéricos que necesitas efectivamente existen. Ahí entran las torres infinitas de cuerpos de clases y la teoría de Golod–Shafarevich. Las dos son herramientas establecidas en teoría algebraica de números; ninguna se había apuntado antes a la geometría discreta.
Arul Shankar, un teórico de números que revisó el resultado, notó algo sobre cómo llegó el modelo: “una mayoría significativa de los pensamientos intenta construir un contraejemplo a la cota superior ampliamente creída, en vez de intentar demostrarla”. Fue a buscar una ruptura, no una confirmación.
Campos y las herramientas que se prestan entre sí
Prestarse herramientas entre campos no es nuevo. Es como avanza buena parte de la matemática. Acá van ejemplos establecidos junto con el de 2026.
| Campo del problema | Herramientas prestadas de | Qué compró el préstamo |
|---|---|---|
| Geometría discreta (distancias unitarias) | Teoría algebraica de números (torres de cuerpos de clases, Golod–Shafarevich) | Sistemas numéricos con simetría suficiente para superar la cuadrícula, 2026 |
| Teoría de números (último teorema de Fermat) | Geometría algebraica y formas modulares | La demostración de Wiles en 1995, vía modularidad de curvas elípticas |
| Combinatoria (propiedades de grafos) | Álgebra lineal (autovalores) | Teoría espectral de grafos: propiedades de matrices que revelan estructura de redes |
| Topología (clasificación de nudos) | Física estadística | El polinomio de Jones y sus interpretaciones físicas |
| Análisis y ecuaciones diferenciales | Probabilidad | Métodos estocásticos para resolver ecuaciones deterministas |
| Criptografía | Teoría de números (factorización de primos) | RSA y buena parte de la seguridad de internet |
| Matemática condensada | Verificación formal (Lean) | El Liquid Tensor Experiment, completado en julio de 2022 |
El patrón es consistente: el avance a menudo llega porque alguien nota que una maquinaria construida para un propósito describe otra cosa. Lo nuevo en 2026 es que la notó un modelo sin incentivo de carrera, sin lealtad a una subárea y sin la noción de que la gente de geometría no lee artículos de teoría de números.
Ese último punto puede ser la ventaja real. Los matemáticos humanos se especializan, van a congresos de su área y leen revistas de su campo. Un modelo entrenado con todo no tiene esas fronteras. Es plausible que las conexiones entre campos sean justo donde la búsqueda automática tiene ventaja, aunque no vi esa hipótesis puesta a prueba con rigor.
Cómo enseñarle esto a tu hijo
El concepto es que una herramienta construida para un trabajo puede resolver otro, y notar eso es una habilidad.
De 5 a 8 años: el juego de la herramienta equivocada
Pon unos cuantos objetos: una regla, una cuchara, una liga, un clip. Nombra un problema para el que ninguno fue diseñado, como “saca ese juguete de abajo del sillón” o “que estos papeles no se vuelen”.
Déjalo elegir y probar. Cuando use la regla como palito para alcanzar en vez de para medir, nombra lo que pasó: “Usaste una herramienta de medir como herramienta de agarrar. Los matemáticos hacen eso con ideas”.
De 9 a 12 años: misma forma, otra materia
Muéstrale que un patrón puede aparecer en lugares sin relación. El patrón de duplicación (1, 2, 4, 8, 16) describe bacterias dividiéndose, una cadena de mensajes propagándose, el grosor de un papel doblado y el interés compuesto. Que liste cuatro situaciones que lo sigan.
Y después la pregunta real: si sabes cómo termina la historia de las bacterias, ¿qué te dice eso sobre la cadena de mensajes? Eso es prestarse herramientas. La matemática es la misma; solo cambiaron las etiquetas.
De 13 en adelante: construir una cuadrícula gaussiana
Que tu adolescente grafique los puntos a + bi como coordenadas (a, b) para todos los enteros a y b de −3 a 3. Eso es una cuadrícula de 7 por 7 con 49 puntos. Ahora que cuente cuántos pares están exactamente a distancia 1. Debería encontrar 84: 42 horizontales y 42 verticales.
Después la extensión: ¿cuántos pares están exactamente a distancia √2? (Las diagonales: 72 pares, si cuenta con cuidado.) El punto es que qué distancias se repiten depende de la estructura del sistema numérico que estás graficando. Cambia el sistema numérico y cambias qué distancias se repiten y con qué frecuencia.
Ese es el mecanismo real de la demostración de 2026, hecho con papel cuadriculado. No vas a llegar a las torres de cuerpos de clases en una mesa de cocina, y no hace falta. La idea de que sistemas numéricos más ricos dan más distancias repetidas es la que carga el peso.
La pregunta que debes hacer: “¿Qué otra cosa tiene esta misma forma?”
¿Y en América Latina?
Esto conecta con una tradición matemática regional que a veces se pasa por alto. Los circuitos olímpicos de la región (la Olimpiada de Mayo, la Rioplatense, la Iberoamericana, las nacionales de México, Colombia, Argentina, Perú y Brasil) entrenan exactamente esta habilidad: ver que un problema de geometría se puede atacar con una idea de teoría de números, o que un problema de conteo se resuelve con una construcción algebraica. Esa transferencia entre áreas es el corazón de la matemática olímpica.
El contraste con el sistema escolar es incómodo. En PISA 2025, Argentina quedó en 367 puntos en matemáticas, México en 388, Colombia en 381 y Perú en 382, contra 463 del promedio OCDE, y el currículo escolar tiende a presentar las materias como cajas cerradas: geometría en un capítulo, números en otro, sin puentes.
Ahí hay una oportunidad barata para un papá. Los puentes no requieren materiales. Requieren la pregunta “¿qué otra cosa tiene esta misma forma?”. Y la ventaja regional está en la resolución de problemas computacional de PISA 2025, donde México sacó 453 contra 414 en ciencias, Chile 466 contra 442 y Uruguay 462 contra 445: hay chicos en la región que piensan bien de forma estructural aunque el puntaje de la materia tradicional no lo muestre.
Qué significa esto para cómo deberían estudiar los chicos
Quiero sacar una conclusión práctica, porque ahí la historia se vuelve útil y no solo interesante.
La especialización tiene un costo. La razón por la que esta conexión quedó sin descubrir ochenta años no es que estuviera más allá de la capacidad humana. Como reportó Science News, las herramientas ya eran públicas. Jacob Tsimerman, que revisó la demostración, dijo que él había “trabajado brevemente en este problema e intenté hacer un contraejemplo, pero no logré avanzar”. Las herramientas existían. El puente no, porque quienes conocían las herramientas no estaban pensando en el problema geométrico.
La amplitud es un activo real. Un chico interesado en dos cosas sin relación no está desenfocado. Es la persona con más probabilidad de notar una conexión. No es una frase motivacional: es la estructura de lo que pasó acá.
Pero la amplitud sin profundidad no nota nada. La conexión requirió conocer teoría algebraica de números lo bastante bien para saber que existen las torres de cuerpos de clases y qué garantiza la teoría de Golod–Shafarevich. Familiaridad superficial con dos campos no produce nada. Conocimiento real de dos campos es donde está el valor.
La evaluación que hizo Bloom del resultado captura el efecto posterior: “Sin duda muchos teóricos algebraicos de números van a mirar de cerca otros problemas abiertos de geometría discreta en los próximos meses”. Un puente hace que la gente busque más puentes, y la base de datos de problemas de Erdős es donde se registra esa búsqueda. Qué problemas es probable que alcance esa búsqueda está en por qué los problemas de Erdős están cayendo ante la IA.
Qué hacer en casa
Pregunta “¿qué otra cosa se parece a esto?” todo el tiempo
Es la única pregunta que construye transferencia. El tránsito y el flujo del agua. Las poblaciones y el interés compuesto. Ordenar cartas y ordenar una biblioteca. El hábito de buscar la estructura compartida es el hábito que produjo este resultado.
Deja que dos intereses convivan sin fusionarlos antes de tiempo
Si a tu hijo le gustan la química y la música, resiste la tentación de armarle un proyecto de “la química de la música”. Deja que los dos vayan profundo. La conexión, si llega, llega de la profundidad en cada uno.
Usa el ejercicio del papel cuadriculado
La actividad de la cuadrícula gaussiana es lo más cerca que puede llegar un papá al mecanismo real de un resultado matemático de 2026, con un lápiz. Eso no es común y vale los veinte minutos.
Enseña que la sorpresa es información
Todos los matemáticos citados en esta historia usaron alguna versión de la palabra “sorprendente”. Noga Alon dijo que el hecho de que la respuesta no sea n^(1+o(1)) “es sorprendente”. Sorprenderse significa que un modelo del mundo estaba equivocado, que es la señal más útil que existe. Premia eso en tu hijo en vez de suavizarlo.
Lo que no conviene hacer
No uses esto para argumentar que la especialización quedó obsoleta. La demostración requirió conocimiento especialista profundo en teoría algebraica de números, y el trabajo humano posterior (Will Sawin mostrando que δ = 0,014) requirió más. El argumento es a favor de profundidad en más de un lugar, no de amplitud en lugar de profundidad.
Qué observar en los próximos 3 meses
- Semana 4: tu hijo dice espontáneamente “esto es como” sobre dos cosas sin relación. Eso es transferencia, y es toda la habilidad.
- Señales de alerta en el mes 2: tratar las materias escolares como cajas selladas. Si tu hijo cree que la clase de matemáticas y la de ciencias no tienen nada que ver, el currículo está enseñando lo contrario de esta historia.
- Autoevaluación del mes 3: fíjate si se cumple la predicción de Bloom y caen más problemas de geometría discreta por métodos de teoría de números. Es un pronóstico verificable, y se está verificando ahora. El lado de la verificación está en cómo verifican los matemáticos una demostración de IA.
Preguntas frecuentes
¿Qué son los enteros gaussianos, en simple?
Números de la forma a + bi, donde a y b son números enteros e i es la raíz cuadrada de −1. Graficados como puntos (a, b) forman una cuadrícula, y comparten propiedades útiles con los enteros comunes, incluyendo la factorización única en primos. La construcción original de Erdős se entiende a través de ellos.
¿Qué es una torre de cuerpos de clases?
Es una construcción de la teoría algebraica de números donde armas una extensión de un cuerpo de números, después una extensión de esa, y así. Una torre infinita es una que nunca termina. La demostración de la IA las usó, junto con la teoría de Golod–Shafarevich, para mostrar que los cuerpos que su construcción necesitaba existen.
¿Por qué sorprendió la conexión a los matemáticos?
Porque el problema parecía puramente geométrico y las herramientas eran puramente algebraicas, y nadie esperaba que las segundas dijeran algo sobre el primero. La propia descripción de OpenAI dice que “fue una gran sorpresa que estos conceptos tengan implicancias para preguntas geométricas en el plano euclidiano”.
¿Prestarse herramientas entre campos es algo exclusivo de la IA?
No, es una de las formas principales en que avanza la matemática. Wiles demostró el último teorema de Fermat con geometría algebraica y formas modulares; RSA viene de la teoría de números; la teoría espectral de grafos aplica álgebra lineal a la combinatoria. Lo nuevo acá es que el puente lo encontró un modelo.
¿Mi hijo debería especializarse o mantenerse amplio?
Las dos cosas, en ese orden. La conexión de esta historia requirió profundidad genuina en teoría algebraica de números, no familiaridad de paso. El argumento es a favor de conocimiento real en más de un área, que es distinto de probar muchas áreas de manera superficial.
Sobre el autor
Ricky Flores es el fundador de HiWave Makers e ingeniero eléctrico con más de 15 años de experiencia desarrollando tecnología de consumo en Apple, Samsung y Texas Instruments. Escribe sobre cómo los niños aprenden a construir, pensar y crear en un mundo saturado de tecnología. Lee más en hiwavemakers.com.
Fuentes
- OpenAI. (2026, 20 de mayo). “An OpenAI model has disproved a central conjecture in discrete geometry.” https://openai.com/index/model-disproves-discrete-geometry-conjecture/
- Kakaes, K. (2026, 3 de agosto). “Why the legendary Erdős problems are falling to AI.” Quanta Magazine. https://www.quantamagazine.org/why-the-legendary-erdos-problems-are-falling-to-ai-20260803/
- Hulick, K. (2026, 8 de junio). “AI guardrails and the Erdős math problem.” Science News. https://www.sciencenews.org/article/ai-guardrails-erdos-math-problem
- Brass, P., Moser, W., & Pach, J. (2005). Research Problems in Discrete Geometry. Springer. https://link.springer.com/book/10.1007/0-387-29929-7
- Lean Community. (2022, 14 de julio). “Completion of the Liquid Tensor Experiment.” https://leanprover-community.github.io/blog/posts/lte-final/
- OECD. (2026). “PISA 2025 Results (Volume I): Future-Ready Students.” OECD Publishing. https://www.oecd.org/en/publications/pisa-2025-results-volume-i_73451bc5-en.html
- Bloom, T. “Erdős Problems.” University of Manchester. https://www.erdosproblems.com/
