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 ya han verificado cuatro matemáticos.

El problema tiene un enunciado engañosamente simple. Tomemos n puntos en un plano. ¿Cuántas parejas pueden estar a exactamente la misma distancia entre sí, digamos 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 manera de decir «apenas más que lineal». Durante décadas las mejores configuraciones conocidas venían de variantes de la cuadrícula cuadrada, y la cuadrícula rozaba ese techo. Los matemáticos trabajaban con 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, el resto del equipo verificador, confirmaron que la construcción se sostenía.

También te puede interesarAnthropic compra Stainless y cierra el pipeline de SDKs que usaba OpenAI

Lo interesante del método es que no llegó desde dentro de la geometría. El modelo cruzó al terreno de la teoría algebraica de números, extendiendo los enteros gaussianos a otros cuerpos de números algebraicos y tratando los puntos del retículo resultante como configuraciones candidatas. Ese puente, la geometría llevada a la teoría de números, era el salto que los humanos habían pasado 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 calificó como «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 es comprobable. La demostración está publicada como PDF, con un documento de observaciones complementario, 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 forma 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 estrés por cuatro matemáticos antes de que saliera el anuncio. La distinción importa, porque OpenAI ya estuvo 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 demostraron que varias de esas «soluciones» ya eran conocidas o simplemente erróneas. 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é clase de modelo produjo el resultado. OpenAI no ha revelado 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 variante especializada en matemáticas en el bucle. La misma arquitectura que gestiona conversaciones cotidianas gestionó esto. La implicación es que el cuello de botella para las matemáticas con IA no era un modelo afinado para matemáticas. Pueden haber sido cómputo y paciencia.

Que ese cuello de botella se rompa es la verdadera historia. Durante mucho tiempo la hipótesis de trabajo entre los investigadores fue que las matemáticas genuinamente originales exigirían sistemas hechos a medida: demostradores de teoremas, marcos de verificación formal, modelos estrechos entrenados sobre corpus de pruebas. Lo que aterrizó el martes es otro tipo 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.

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

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 resta valor a lo que pasó el martes. Lo coloca 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 podrían producir alguna vez demostraciones originales de calado. A partir de esta semana, la pregunta es cuál es el siguiente 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 una estantería a que la mano adecuada la baje. La mano que la bajó esta semana corría sobre un clúster de GPUs, no había sido entrenada para el trabajo, y terminó la tarea mientras cuatro matemáticos miraban.