Tiene 23 años, se llama Liam Price y no tiene formación matemática avanzada. Aun así hace unos días abrió la web de problemas de Erdös, cogió uno al azar y lo pegó en ChatGPT. No sabía la historia del problema ni quién lo había intentado antes. Lo que recibió de vuelta parecía una solución correcta, y tras consultarlo con un amigo que estaba estudiando matemáticas, ambos se dieron cuenta de que podían tener entre manos algo especial. Pocas horas después Terence Tao, uno de los matemáticos más reconocidos del mundo, confirmaba que el problema #1196 de Erdös, una conjetura sobre conjuntos primitivos de números enteros que llevaba sin resolvese desde 1966, tenía solución. La había encontrado GPT-5.4 Pro en apenas 80 minutos.

Así no. Este problema analizaba una cuestión sobre el comportamiento de una suma matemática en particular sobre conjuntos primitivos, esto es, conjuntos de números enteros donde ninguno divide a otro, cuando esos números se hacen muy grandes. Jared Lichtman, matemático de Stanford, había dedicado años al problema y había hecho progresos parciales, pero tanto él como los que lo habían intentado anteriormente partían de un mismo punto de partida que parecía el camino adecuado. 

En Xataka

El mejor matemático del mundo está resolviendo uno de los problemas más complejos de la historia con un aliado: la IA

Una idea novedosa. GPT-5.4 utilizó otro punto de partida. Se quedó en el terreno airmético y usó una función especial llamada función de von Mangoldt, una herramienta clásica de la teoría de números conocida por sus conexiones con los números primos y la función zeta de Riemann. Nadie había pensado en esa aproximación al problema, y como explicaba Lichtman al hablar de la solución del modelo de OpenAI, "El LLM tomó una ruta completamente diferente".

El logro es real, pero con matices. Litchman elogió la solución propuesta por GPT-5.4, pero hay un detalle que se ha omitido en muchos comentarios sobre este suceso: la salida en bruto de ChatGPT era, en palabras de este matemático, "bastante pobre". Esa salida hizo necesaria que varios expertos la interpretaran, la detallaran y extrajeran de ella la idea que subyacía y permitía solucionar la conjetura. Price no sabía que tenía la solución hasta que su amigo la leyó, y él no estuvo seguro hasta que Tao lo confirmó. El repositorio oficial de contribuciones de IA a los problemas de Erdös, mantenido por el propio Tao en GitHub, clasifica el resultado como una solución generada en colaboración humano-IA, no como una solución desarrollada únicamente por la IA. La distinción es importante.