La grieta se abrió en septiembre, cuando OpenAI afirmó que un modelo interno había resuelto más de 100 problemas de larga data, incluida una aparente solución a Navier-Stokes. La afirmación despertó entusiasmo, pero también acusaciones de que el enfoque de la empresa corría el riesgo de superar el escrutinio académico.¹

En respuesta, el Grupo Asesor sobre Matemáticas e Inteligencia Artificial, alojado por el Instituto de Estudios Avanzados, instó a los laboratorios a publicar con prontitud a través de canales establecidos, revelar los modelos, prompts y recursos computacionales, y evitar convertir las publicaciones matemáticas en campañas de marketing. Su advertencia fue tajante: dicha promoción podría causar un «daño significativo» a la comunidad matemática.²

Luego, el martes, OpenAI publicó 722 manuscritos que abarcan 372 familias de resultados: cientos de preguntas abiertas en campos que van desde el álgebra y la topología hasta la teoría de números. La escala dejó atónitos a los investigadores. El matemático de Oxford Martin Bridson calificó la publicación de «impresionante», y afirmó que se había vuelto posible que las fronteras matemáticas avanzaran drásticamente «en un solo día».³ El cofundador de OpenAI Greg Brockman presentó el esfuerzo como un avance «hacia la aceleración del descubrimiento científico y la mejora de la calidad de vida de todos».Greg Brockman (gdb)⁴

Los partidarios ven una oportunidad, más que un obituario, para los matemáticos. El profesor de la Universidad de Toronto Dan Litt calificó los nuevos resultados como «excelentes para las matemáticas», al tiempo que advirtió que la sociedad debe seguir apoyando la experiencia humana si espera beneficiarse del progreso de la IA.⁵ Yann LeCun también describió una nueva era en la que la demostración formal está en gran medida automatizada y los matemáticos pueden centrarse en conceptos, abstracciones y definiciones.Yann LeCun (ylecun)⁶

Pero la reacción adversa se intensificó cuando los académicos se enfrentaron a la carga de trabajo. Más de tres docenas de matemáticos dijeron a The Verge que dar sentido al material podría llevar años, incluso antes de juzgar su originalidad o corrección.⁷ La Asociación por las Matemáticas Humanas calificó la publicación masiva como «no una demostración de erudición, sino una demostración de poder».⁸

Para el jueves, OpenAI había retirado los resultados de al menos tres problemas tras detectarse aparentes errores. El episodio agudizó la disputa central: la IA puede generar más matemáticas que nunca, pero los humanos aún deben decidir qué es verdadero, importante y digno de ser desarrollado.⁹