Estudiantes de Northwestern se preguntan si vale la pena seguir en matemáticas después de que OpenAI soltara cientos de papers generados por IA en una sola tanda. La prioridad del profesor Antonio Auffinger ahora es retener talento y ayudarlo a crecer, mientras la disciplina digiere el «mathocalypse».

La escala: el 6 de octubre OpenAI publicó más de 700 preprints con 722 manuscritos sobre 372 familias de problemas, incluidos avances sobre hipótesis de Riemann y Birch–Swinnerton-Dyer, cada una con $1M de bounty. Tres papers ya se retractaron por errores elementales y varios se enmendaron, como documentó Nature.

La forma dolió tanto como el fondo: «drop», «dump», «alfombra de bombas», «slopocalypse». Matemáticos que vieron años de trabajo anticipados en un zip; Levent Alpöge (Anthropic) habló de «historias tristes» inevitables y del momento más significativo de la historia matemática, a la vez.

El debate es de crédito y valor: ¿qué vale una demostración que nadie leyó? OpenAI dice haber formalizado 300 resultados, pero hay antecedentes de formalizaciones fallidas (Navier-Stokes) y la comunidad aún no acepta las pruebas. La cita de Bryna Kra (Northwestern) en el NYT lo resume: digerirlo tomará mucho tiempo, como analizó The Conversation.

Para Digitalia, la pieza continúa nuestra cobertura de Erdős/Lean: la matemática verificable por máquina avanza, pero la publicación masiva sin revisión invierte el orden —primero el alud, después la validación—. Los estudiantes de Northwestern son el daño colateral humano del experimento.

La pregunta que queda no es si la IA hará matemática, sino quién firmará los teoremas y quién querrá estudiar para firmarlos.

El telón de fondo es la autoformalización: traducir resultados a pruebas chequeables por máquina. Si el campo acepta el método, el alud se vuelve biblioteca; si no, queda como el zip más caro de la historia.

Fuentes
Nature: OpenAI publica 700 preprints y los matemáticos protestan
The Conversation: ¿es este el «mathocalypse»?
Crédito de la imagen: Sam Altman en el escenario con el nudo de OpenAI, imagen vía The Conversation.