✨︎ Resumen (TL;DR):
- El modelo de lenguaje encontró la solución al problema abierto #1196 usando una técnica de cadenas de Markov.
- La inteligencia artificial tardó 80 minutos en resolver el enigma y 30 minutos extra en redactar el documento en LaTeX.
- Este avance confirma la capacidad de los modelos para descubrir conexiones numéricas completamente inéditas.
El modelo GPT-5.4 Pro de OpenAI resolvió el problema abierto #1196 de Erdős, una conjetura matemática con aproximadamente 60 años de antigüedad. La inteligencia artificial descubrió la solución en cerca de 80 minutos y dedicó 30 minutos adicionales para formatear el artículo en LaTeX, según los reportes del foro oficial del Proyecto de Problemas de Erdős. Actualmente, la demostración se encuentra en proceso de verificación formal.
Un conjunto primitivo de enteros es una agrupación numérica donde ningún elemento puede dividir a otro. El matemático húngaro Paul Erdős planteó el problema en la década de 1960, junto con Sárközy y Szemerédi, para explicar el comportamiento de una suma específica sobre estos conjuntos.
Hasta ahora, el investigador Jared Duker Lichtman había logrado establecer un límite superior de 1.399 para esta suma. Sin embargo, la conjetura asintótica completa se mantuvo estancada durante décadas.
El investigador de Epoch AI, Liam Price, ingresó el prompt al modelo. La IA ejecutó una técnica de cadenas de Markov combinada con pesos de von Mangoldt. Esta estrategia técnica jamás fue implementada por los investigadores humanos que atacaron el problema en años anteriores.
Terence Tao, matemático ganador de la Medalla Fields, explicó en el foro público que el resultado de OpenAI expone un vínculo directo entre la anatomía de los enteros y la teoría de procesos de Markov. “Esa sería una contribución significativa a la anatomía de los enteros que va mucho más allá de la solución de este problema particular de Erdos”, escribió Tao. El experto también precisó que identificó “un pequeño salto” en el paso clave del razonamiento.
Kevin Barreto, un estudiante de matemáticas de Cambridge de 21 años que pronto se integrará al equipo AI for Science de OpenAI, validó la hazaña. Barreto subrayó que la táctica de las cadenas de Markov funcionó como un movimiento creativo ignorado por la academia tradicional.
La validación del Machine Learning científico
- Registro impecable: GPT-5.4 Pro ya entregó soluciones verificadas para los problemas de Erdős #1148 y #1202.
- Benchmarks superados: El sistema destrabó un problema de hipergrafos de Ramsey, considerado un desafío sin solución dentro de la métrica FrontierMath.
- Racha competitiva: Desde el verano pasado, Google DeepMind y OpenAI alcanzaron puntuaciones de medalla de oro en la Olimpiada Internacional de Matemáticas 2025 en Australia. Cada compañía resolvió cinco de los seis problemas de la competencia.
El ecosistema tech mantiene el debate sobre si los grandes modelos de lenguaje producen conocimiento puro o solo recombinan sus datos de entrenamiento. Como apuntó The Decoder tras el suceso, el caso del problema #1196 demuestra que “el conocimiento nuevo y no descrito previamente también puede estar oculto dentro de puntos de datos ya conocidos”.
