Un modelo de inteligencia artificial de OpenAI ha desmentido la conjetura de la distancia unidad de Erdős, un problema de geometría discreta que llevaba 80 años sin resolver. El anuncio se produjo a mediados de mayo y supone, según varios expertos, la primera demostración autónoma de una conjetura abierta relevante lograda por una IA.
OpenAI facilitó acceso anticipado al resultado a varios matemáticos. Tim Gowers, ganador de la Medalla Fields, escribió que "no hay duda de que la solución es un hito en las matemáticas realizadas por IA". Daniel Litt, profesor de la Universidad de Toronto, lo calificó como "el primer ejemplo de un resultado producido por una IA que me resulta interesante en sí mismo, y no solo como indicador de futuro".
El avance, no obstante, se inscribe en una trayectoria gradual. Hace tres años, los modelos de lenguaje apenas resolvían aritmética básica; el año pasado empezaron a dominar competiciones matemáticas de secundaria. Hasta enero, en las Joint Mathematics Meetings, la IA solo aportaba a la investigación en entornos muy acotados y con abundante interpretación humana.
El modelo de OpenAI combinó con acierto ideas preexistentes de varias subdisciplinas para construir una demostración completa, aunque sin introducir técnicas genuinamente nuevas. Desde entonces, matemáticos humanos han revisado y ampliado la prueba. El caso apunta a un escenario intermedio de complementariedad: las máquinas aportan un conocimiento enciclopédico y mayor tolerancia al trabajo tedioso, mientras que los humanos conservan la profundidad analítica y la capacidad de formular las preguntas relevantes.