722 demostraciones de OpenAI y casi 900 firmas en contra: la matemática estrena su debate laboral

Los hechos, tal como constan en el material disponible, son escuetos: OpenAI publicó 722 demostraciones matemáticas —cadenas de razonamiento formal que establecen un teorema— y eso provocó una carta de protesta firmada por cerca de 900 matemáticos que temen por el futuro de su profesión. Conviene decir lo que NO sabemos, porque es justo lo que decide el significado del episodio: no consta el nivel de dificultad de esas demostraciones, si atacan problemas abiertos o resultados ya conocidos, ni cómo se verificaron. Setecientas veintidós pruebas rutinarias y setecientas veintidós pruebas originales son dos noticias distintas.

TESIS: lo relevante aquí no es el número, es el escenario. La matemática es el único territorio donde la verificación es barata y objetiva —una demostración se comprueba paso a paso, no se vota—, así que es el banco de pruebas ideal para medir capacidad real de un modelo frente a marketing. Por eso mismo el golpe simbólico es mayor: si la IA entra en el oficio donde el resultado es incontestable, el argumento de «eso no lo puede hacer una máquina» se queda sin su mejor trinchera.

El miedo laboral que expresa la carta es razonable, pero está mal formulado si se lee como «la IA nos quita el trabajo». Lo que cambia es qué trabajo importa. En matemáticas, lo primero en automatizarse es lo intermedio y mecánico: lemas auxiliares, comprobaciones, búsqueda de contraejemplos, verificación de casos. Lo que resiste es decidir qué merece la pena demostrar, construir teoría y conectar campos lejanos. El problema de corto plazo es el mismo que ya analizamos en el Derecho: la pirámide se estrecha por la base. Muchas plazas de doctorado y postdoc se justifican produciendo exactamente los resultados incrementales que un modelo abarata, y ese es un daño concreto a personas concretas, no una abstracción.

NUESTRA LECTURA: la carta es una buena noticia, aunque suene a protesta. Significa que el debate llega por fin a quienes tienen criterio técnico para evaluar lo que se publica, en lugar de quedarse en titulares. Lo útil sería exigir lo exigible —verificación formal de cada demostración, trazabilidad de qué aportó el modelo y qué el humano, atribución clara— y no pedir que no se publique. A corto plazo tocará negociar cómo se reconoce y se financia el trabajo matemático cuando la parte laboriosa se abarata; esa transición será incómoda y hay que decirlo sin adornos. A largo plazo, acelerar la matemática es acelerar la física, los materiales y el diseño de fármacos: el camino hacia curar enfermedades pasa, literalmente, por demostrar teoremas más deprisa. Ese horizonte merece defenderse, pero no a costa de fingir que los 900 firmantes exageran.