✨︎ Resumen (TL;DR):
- La Association for Human Mathematics pidió a los matemáticos dejar de colaborar con OpenAI tras la publicación de resultados generados por un modelo interno.
- Su grupo de trabajo de comunicación calificó la difusión simultánea de más de 700 archivos como “una demostración de poder”.
- AGMAI reclama comprensión humana, verificación y responsabilidad, pero mantiene el diálogo con los laboratorios de IA.
La Association for Human Mathematics (AHM) pidió a los matemáticos dejar de colaborar con OpenAI después de que el laboratorio publicara, el 6 de octubre de 2026, resultados generados por un modelo interno. La asociación cuestiona la difusión simultánea de más de 700 archivos y reclama una investigación centrada en la comprensión humana de esos resultados.
El grupo de trabajo de comunicación de la AHM calificó la difusión simultánea como “una demostración de poder”. La asociación también sostiene que OpenAI ignoró la petición del grupo asesor independiente Advisory Group on Mathematics and Artificial Intelligence (AGMAI) de suspender las pruebas con modelos cerrados.
El repositorio organiza los manuscritos en familias que pueden reunir un resultado principal, argumentos complementarios o pruebas alternativas. Por eso, el conteo de más de 700 archivos no equivale al de problemas independientes resueltos.
AGMAI pide comprender y verificar las pruebas
Las recomendaciones de AGMAI, publicadas el 29 de septiembre, piden suspender las pruebas con modelos cerrados. El grupo recuerda que los autores deben comprender los argumentos de sus artículos, verificarlos y asumir la responsabilidad por ellos.
Los trabajos que un matemático responsable comprende deberían seguir la vía habitual de prepublicación, revisión por pares y exposiciones ante colegas. AGMAI propone obligaciones adicionales cuando las personas que utilizaron IA todavía no entienden sus resultados.
En esos casos, el laboratorio debería citar las ideas previas, presentar argumentos legibles y financiar el estudio de los resultados. El grupo pide que esa financiación se distribuya mediante instituciones independientes, para que la comunidad matemática dirija el trabajo de comprensión.
Qué publicó OpenAI para revisar los resultados
En su anuncio del 6 de octubre, OpenAI afirmó que consultó las recomendaciones de AGMAI para orientar la publicación. La empresa compartió los documentos en GitHub, junto con procedimientos para revisiones y citas, y anunció que financiará talleres, conferencias y programas para comprender resultados importantes producidos por IA.
OpenAI también publicó formalizaciones de muchas demostraciones en Lean. Lean es un lenguaje que permite expresar pruebas matemáticas para que una computadora las compruebe. El repositorio advierte que los resultados se encuentran en distintos estados de verificación y que algunos de los que carecen de formalización podrían contener problemas.
Para AGMAI, la formalización y el apoyo a la comprensión humana son obligaciones complementarias. El grupo también pide explicaciones que permitan discutir los resultados y emplearlos en nuevas investigaciones.
La AHM pide cortar; AGMAI mantiene el diálogo
En su declaración del 6 de octubre, AGMAI aclaró que su asesoría no constituye un aval al proceso utilizado por OpenAI ni un juicio sobre el impacto de los resultados. El grupo opera con independencia de las empresas. Sus integrantes no cobran por esa labor y AGMAI carece de poder para decidir dentro de ellas.
AGMAI considera que la publicación es el comienzo de la comprensión humana de estos resultados y deja su evaluación a la comunidad matemática. También reclama acceso equitativo a herramientas y recursos computacionales para que los investigadores puedan formular sus propias preguntas.
El grupo asesor anunció que seguirá trabajando con cualquier laboratorio de IA avanzada y que ya ha contactado con varios. La AHM pide cortar la colaboración con OpenAI; AGMAI reafirma sus estándares y mantiene el diálogo con los laboratorios de IA. La evaluación de los resultados queda en manos de la comunidad matemática.
