El matemático Timothy Gowers, de la Universidad de Cambridge, informa que ChatGPT 5.5 Pro ha demostrado capacidad para realizar investigación de nivel doctoral en matemáticas. El hallazgo representa una revisión significativa al alza de las estimaciones sobre las capacidades de los modelos de lenguaje grandes. Gowers puso a prueba al sistema con problemas propuestos por el matemático Mel Nathanson en un artículo sobre teoría aditiva de números. ChatGPT resolvió en 17 minutos y 5 segundos un problema relacionado con los tamaños de conjuntos de sumas, proporcionando una demostración que mejoraba la cota anteriormente conocida por Nathanson, alcanzando una dependencia cuadrática, lo cual es óptimo. El modelo no solo encontró la solución, sino que generó una redacción formal en formato LaTeX comparable a un artículo académico. También logró resolver problemas relacionados con conjuntos de sumas restringidos sin dificultades. Gowers señala que su única intervención fue pedir que el texto tuviera un formato más claro. El matemático destaca que, aunque algunos argumentos del sistema tienen precedentes en la literatura, la capacidad de identificar conexiones relevantes y construir demostraciones coherentes representa un avance notable. Este resultado plantea interrogantes sobre el futuro de la investigación matemática y el papel de la inteligencia artificial en la resolución de problemas abiertos.
ChatGPT 5.5 Pro resuelve problema matemático de nivel doctoral en 17 minutos
