La IA descubre dos nuevos teoremas en 2026: un hito que reescribe las reglas de la investigación matemática

En 2026, la inteligencia artificial cruzó un umbral histórico en matemáticas puras. Por primera vez, sistemas de IA produjeron de forma independiente resultados importantes sobre problemas abiertos que habían resistido a los matemáticos humanos durante décadas. Dos avances destacan: la refutación por parte de OpenAI de la conjetura de Erdős sobre distancias unitarias en mayo, y el contraejemplo de Anthropic a la conjetura jacobiana en julio. No se trata de pasos incrementales, sino de cambios de paradigma que anuncian una nueva era de colaboración humano-IA en la investigación matemática.

Los dos avances

OpenAI refuta la conjetura de Erdős sobre distancias unitarias (mayo de 2026)

El 20 de mayo de 2026, OpenAI anunció que uno de sus modelos internos de razonamiento de propósito general había producido un contraejemplo a la conjetura de Erdős sobre distancias unitarias, un problema planteado por Paul Erdős en 1946 . La conjetura se refería al número máximo de pares de puntos que pueden estar exactamente a una unidad de distancia entre n puntos en el plano. Durante 80 años, los matemáticos creyeron que la mejor configuración posible era aproximadamente una cuadrícula .

El modelo de OpenAI demostró que esta creencia era errónea. Generó una familia infinita de construcciones de puntos que logran una mejora polinómica sobre la cuadrícula, demostrando que para infinitos valores de n, el número de pares a distancia unitaria crece más rápido que n^(1+δ) para algún δ > 0 fijo . La demostración se basó en una sofisticada teoría de números algebraicos, incluyendo la teoría de Golod-Shafarevich y torres de cuerpos de clases infinitas, herramientas que nadie había conectado previamente con este problema geométrico .

El resultado fue verificado por un grupo de matemáticos externos, entre ellos Thomas Bloom, el mismo investigador que había expuesto públicamente una afirmación falsa anterior de OpenAI . Un artículo complementario digerido por humanos se publicó en arXiv . El matemático de Princeton Will Sawin refinó rápidamente la constante, demostrando que el exponente podía ser al menos n^1.014 . El medallista Fields Tim Gowers fue uno de los nueve matemáticos externos que verificaron la demostración .

Claude Fable 5 de Anthropic encuentra un contraejemplo a la conjetura jacobiana (julio de 2026)

El 19 de julio de 2026, el matemático Levent Alpöge, investigador de Anthropic, anunció en X que había utilizado el modelo Claude Fable 5 de Anthropic para encontrar un contraejemplo a la conjetura jacobiana, un problema abierto de 87 años en geometría algebraica planteado por primera vez por Ott-Heinrich Keller en 1939 . La conjetura, clasificada como la número 16 en la lista de problemas para el próximo siglo del medallista Fields Stephen Smale en 1998, sostenía que un mapa polinómico de C^n a C^n con un determinante jacobiano constante distinto de cero debe ser globalmente invertible .

El contraejemplo es un mapa polinómico de 216 caracteres notablemente conciso de C³ a C³ con un determinante jacobiano idénticamente igual a -2, que sin embargo envía tres tripletes de entrada distintos a la misma salida, refutando la invertibilidad global . En cuestión de horas después de la publicación de Alpöge, matemáticos de todo el mundo verificaron el resultado de forma independiente, y se completó una verificación formal en el asistente de demostraciones Lean en menos de 24 horas .

Los matemáticos prominentes Terence Tao y Timothy Gowers elogiaron el resultado . Tao publicó un análisis geométrico del contraejemplo, y la verificación fue ampliamente confirmada en toda la comunidad matemática . La versión bidimensional de la conjetura sigue abierta .

Qué significan estos resultados para el futuro de las matemáticas

La IA ya puede generar demostraciones genuinamente novedosas

Ambos avances implican saltos conceptuales profundos, no solo asistencia computacional. La refutación de las distancias unitarias requirió que la IA conectara la teoría de números algebraicos con la geometría combinatoria, una conexión que ningún matemático humano había hecho . El contraejemplo jacobiano requirió construir un mapa polinómico sutil con propiedades algebraicas específicas .

El modelo de colaboración humano-IA está demostrando ser poderoso

Estos resultados apuntan a un futuro en el que la IA actúa como colaboradora creativa en lugar de un reemplazo. En el caso jacobiano, un matemático experto dirigió a la IA y reconoció la importancia de su resultado . En el caso de OpenAI, el modelo trabajó de forma más autónoma, pero aún requirió verificación humana . Este modelo de colaboración permite a la IA explorar enormes espacios de búsqueda que los humanos no pueden recorrer de manera eficiente, mientras que los humanos aportan intuición, juicio y verificación.

El ritmo se acelera rápidamente

OpenAI anunció más tarde, en agosto de 2026, que la misma clase de modelos de razonamiento internos había producido avances en 10 grandes problemas de matemáticas y ciencias de la computación teórica, que abarcan geometría de altas dimensiones, teoría de códigos, teoría de grupos, álgebras de operadores, complejidad cuántica, criptografía reticular y combinatoria extremal . Los observadores han descrito una "nueva edad de oro" de las matemáticas impulsada por la IA .

Advertencias importantes

El contraejemplo jacobiano se aplica solo en dimensión 3 y superiores; la conjetura original sigue abierta en dimensión 2 . Algunos resultados aún no se han sometido a una revisión por pares completa a través de los canales tradicionales, y no todas las afirmaciones están completamente publicadas . Pero la dirección general es clara: la IA ha cruzado un umbral, pasando de ser asistente matemática a descubridora matemática, y su papel en la investigación probablemente se expandirá rápidamente.

El panorama general

Estos avances de 2026 siguen una progresión rápida en las capacidades matemáticas de la IA. En julio de 2025, los modelos de IA resolvieron por primera vez cinco de seis problemas en la Olimpiada Internacional de Matemáticas . A principios de 2026, los modelos alcanzaban estándares de medalla de oro en la OIM . Ahora, la IA está produciendo resultados en la frontera de la investigación, resolviendo problemas que definieron carreras enteras.

Como señaló el matemático Terence Tao, el resultado jacobiano representa un hito en la colaboración humano-IA . El modelo no trabajó solo, pero la asociación produjo un resultado que ni el humano ni la máquina podrían haber logrado de forma independiente. Ese modelo (intuición humana guiada por la exploración de la IA, verificada por asistentes de demostraciones formales) puede definir el futuro del descubrimiento matemático.