La irrupción masiva de la inteligencia artificial en la ciencia abstracta atraviesa un momento de intensa controversia. El pasado 6 de octubre de 2026, la empresa OpenAI publicó en GitHub un catálogo con 722 artículos científicos que contenían demostraciones matemáticas agrupadas en 372 familias de problemas.