OpenAI resolvió un problema matemático de 80 años sin un modelo especializado

El modelo de razonamiento de propósito general de OpenAI acaba de romper una conjetura de 80 años en geometría discreta. El sistema no fue entrenado para hacer matemáticas. Corre la misma arquitectura que redacta correos y escribe Python, y el martes produjo una nueva familia de configuraciones geométricas que cuatro matemáticos ya verificaron.

El problema tiene un enunciado engañosamente simple. Tomemos n puntos en un plano. ¿Cuántos pares de ellos pueden estar a exactamente la misma distancia entre sí, digamos a una unidad? Paul Erdős planteó la pregunta en 1946 y propuso una cota superior: del orden de n elevado a (1 más o(1)), una forma de decir “apenas más que lineal”. Durante décadas las mejores configuraciones conocidas venían de variantes de la cuadrícula, y la cuadrícula casi tocaba ese techo. Los matemáticos trataban la cota como si fuera ajustada.

El modelo de OpenAI no ajustó la cota. La rompió. El sistema produjo una familia entera de disposiciones de puntos con al menos n elevado a (1 más δ) pares a distancia unitaria, para un δ fijo mayor que cero. No es un refinamiento; es un contraejemplo al núcleo de la conjetura. Will Sawin, uno de los cuatro matemáticos que revisaron el trabajo, refinó el nuevo exponente en una expresión limpia. Thomas Bloom, Melanie Wood y Noga Alon, los demás del equipo verificador, confirmaron que la construcción se sostenía.

Lo interesante del método es que no llegó desde dentro de la geometría. El modelo cruzó a la teoría algebraica de números, extendió los enteros gaussianos a otros cuerpos de números algebraicos y trató los puntos del retículo resultante como configuraciones candidatas. Ese puente, la geometría empujada hacia la teoría de números, era el salto que los humanos pasaron por alto durante ocho décadas. Es el tipo de movimiento que, en un seminario de matemáticas, recibe un asentimiento lento y un silencio largo.

Las reacciones de los matemáticos llegaron dentro del primer día. Timothy Gowers, Medalla Fields, lo llamó “el primer ejemplo realmente claro de una IA resolviendo un problema matemático realmente conocido”. Alexander Wei, investigador de OpenAI, escribió que el resultado es de los que un árbitro de los Annals of Mathematics aceptaría “sin ninguna duda”. Esa última afirmación se puede comprobar. La demostración fue publicada como PDF, con un documento complementario de observaciones, y la comunidad matemática ya está leyendo.

El marco al que OpenAI se aferra es que esta es la primera vez que un sistema de IA resuelve de manera autónoma un problema abierto destacado y central de un campo matemático. El verbo “autónoma” hace mucho trabajo ahí. El modelo produjo la construcción; la prueba fue revisada, refinada y sometida a presión por cuatro matemáticos antes de que saliera el anuncio. La distinción importa, porque OpenAI ya pasó por aquí antes.

En octubre de 2025 la empresa hizo circular la afirmación de que otro modelo interno había resuelto diez problemas abiertos planteados por Erdős. En cuestión de días, los matemáticos mostraron que varias de esas “soluciones” ya eran conocidas o simplemente estaban equivocadas. OpenAI retiró la afirmación general. Ese episodio es la razón por la que el anuncio de esta semana encabeza con los nombres de los verificadores y no con el del modelo. Los cuatro matemáticos son la garantía.

El otro detalle que conviene retener es qué tipo de modelo produjo el resultado. OpenAI no reveló el nombre del sistema, sólo que es un modelo de razonamiento de propósito general, la misma familia que sostiene un chat, redacta código y responde tickets de atención al cliente. No hay ninguna variante especializada en matemáticas en el circuito. La misma arquitectura que maneja conversaciones cotidianas manejó esto. La implicación es que el cuello de botella para las matemáticas con IA no era un modelo afinado para matemáticas. Pudieron haber sido cómputo y paciencia.

Que ese cuello de botella se rompa es la historia real. Durante mucho tiempo la hipótesis de trabajo entre los investigadores fue que las matemáticas genuinamente originales requerirían sistemas a medida: demostradores de teoremas, marcos de verificación formal, modelos estrechos entrenados sobre corpus de pruebas. Lo que aterrizó el martes es otra clase de evidencia. Un razonador apuntado a un problema famoso, sin resolver, de ochenta años; con margen suficiente para pensar, produjo algo que Sawin, Bloom, Wood y Alon coincidieron en aceptar como correcto. El camino entre la ventana de chat y Erdős resultó ser más corto de lo esperado.

Quedan algunas advertencias. El modelo no está disponible públicamente. Grupos independientes fuera del panel inicial de cuatro matemáticos leerán la prueba en las próximas semanas, y el proceso completo de revisión por pares para los Annals u otra revista de primer nivel llevará meses. El exponente δ es pequeño. La construcción no resuelve el problema de distancias unitarias en la esfera ni en dimensiones superiores. Nada de eso le resta valor a lo que pasó el martes. Lo ubica en su sitio.

Lo que cambia es la expectativa. Hace un año la pregunta sobre la IA en matemáticas era si los sistemas alguna vez podrían producir demostraciones originales de calado. A partir de esta semana, la pregunta es cuál es el próximo problema abierto que cae, y si los matemáticos que verifican las pruebas seguirán recibiendo el crédito que recibieron Alon y sus colegas aquí.

Una conjetura de 1946 es uno de esos objetos silenciosos que esperan en un anaquel a que la mano correcta la baje. La mano que la bajó esta semana corría sobre un clúster de GPUs, no había sido entrenada para la tarea, y terminó el trabajo mientras cuatro matemáticos miraban.

OpenAI resolvió un problema matemático de 80 años sin un modelo especializado

More Like This

GPT-5.5 acaba de aterrizar en AWS y rompe siete años de monopolio de Microsoft sobre OpenAI

ChatGPT ya vive dentro de Excel y Google Sheets, y te edita las fórmulas mientras lo mirás

Dos puntos bajo Opus 4.6 y cinco veces más barato: Gemini 3.5 Flash cambia el cálculo

Anthropic compró Stainless y cierra el pipeline de SDKs que usaba OpenAI

Discussion