Las pruebas matemáticas generadas por IA de OpenAI provocan un debate sobre la transparencia y la comprensión

El 9 de octubre de 2026, OpenAI publicó 719 pruebas matemáticas generadas por IA, que cubren 372 familias de resultados y numerosos problemas de investigación abiertos. Sin embargo, la publicación recibió críticas por no cumplir con los estándares establecidos por el Grupo Asesor Matemático y de IA (AGMAI). Inicialmente, OpenAI había publicado 722 pruebas en GitHub el 6 de octubre, pero retiró tres debido a un error de símbolo el 7 de octubre. Las pruebas, que incluyen un 42% que carece de formalización y metadatos, han suscitado preocupaciones sobre la transparencia y la comprensión humana. AGMAI había instado previamente a los laboratorios a evitar probar matemáticas complejas en modelos propietarios y a divulgar información detallada, pero OpenAI no cumplió plenamente. Mientras tanto, el matemático Terence Tao criticó el enfoque, argumentando que las pruebas generadas por IA arriesgan a socavar los aspectos colaborativos y educativos de la investigación matemática. Advirtió sobre una 'crisis de digestión de pruebas' en la que la IA produce resultados demasiado rápido para que los humanos los absorban y comprendan, lo que podría agotar la riqueza intelectual del campo.