Los LLM generan pruebas matemáticas

Los LLM están revolucionando la generación de pruebas matemáticas. OpenAI dio a conocer 350 resultados el 6 de octubre de 2026. Los manuscritos están en GitHub.

Los manuscritos están en GitHub, organizados en 372 familias de investigación que abarcan teoría de números, complejidad computacional, geometría algebraica y física matemática. Las pruebas están formalizadas en Lean para su verificación automática, lo que permite a los investigadores validar rápidamente las ideas. OpenAI liberó un repositorio con 722 manuscritos matemáticos generados por un modelo interno no divulgado.

Entre los resultados hay soluciones para problemas como Navier-Stokes y una versión debilitada de la hipótesis de Riemann. Pero la divulgación provocó críticas. La Asociación de Matemáticas Humanas criticó la publicación abrupta de 700 archivos y la calificó de falta de respeto a las normas científicas. OpenAI retiró tres artículos tras identificar problemas. Terence Tao defiende la IA como herramienta valiosa, pero advierte sobre los riesgos de perder conocimiento matemático al depender excesivamente de ella. La integración de los LLM en las matemáticas y la ciencia está generando debates sobre su eficacia y sus límites. Mientras algunos matemáticos ven potencial en la generación de pruebas y la publicación de manuscritos, otros alertan sobre los riesgos de perder el control sobre el conocimiento científico.

Para los investigadores, esto puede acelerar los descubrimientos, pero también generar dudas sobre la validación. La publicación fue criticada por no seguir las normas científicas, y algunos artículos fueron retirados tras identificar problemas. La divulgación puede cambiar la forma en que se validan las pruebas, pero aún hay espacio para la discusión. OpenAI está desarrollando nuevas técnicas matemáticas que aumentan la eficiencia de los modelos de lenguaje. La divulgación se hizo en un repositorio de GitHub, donde las pruebas están formalizadas en Lean para su verificación automática. La iniciativa sorprendió a la comunidad científica, que aún está en proceso de entender el impacto de esta nueva forma de producción de conocimiento. Pero la reacción no fue unánime. OpenAI, que ya se destacó por modelos como GPT, vuelve a estar a la vanguardia en el uso de LLM para la investigación, pero el camino es incierto.

Con información de exame.com, terrytao.wordpress.com y xataka.com.