Qué pasó
El 6 de octubre de 2026, OpenAI publicó en openai/math resultados matemáticos de un modelo interno no lanzado: 372 familias de resultados y 722 manuscritos. Unos 42% están verificados en máquina con Lean. Al día siguiente, tres manuscritos fueron retirados por un error de signo. La Association for Human Mathematics pidió a los matemáticos dejar de colaborar con OpenAI.
Qué hacer ahora
- Ponga una puerta de verificación antes de tratar la salida de IA como hecho.
- Prefiera anunciar primero lo ya verificado por máquina.
- Trate las retractaciones rápidas como señal saludable.