¿Qué pasó?
El 6 de octubre de 2026, OpenAI liberó públicamente en GitHub (repositorio openai/math) un conjunto de 722 manuscritos matemáticos organizados en 372 familias de resultados, producidos por un modelo interno de frontera aún no lanzado. Los papers cubren avances en teoría de números, geometría algebraica, ciencia de la computación teórica y física matemática, incluyendo progresos relacionados con conjeturas famosas como la hipótesis de Riemann (variante casi-Riemann) y el problema de Kakeya en dimensiones superiores.
El modelo recibió alrededor de 4.000 problemas abiertos y cada resultado aceptado consumió, en promedio, el equivalente a tres horas de pensamiento en ChatGPT Pro. Muchos resultados vienen acompañados de formalizaciones en Lean (verificación mecánica de pruebas), aunque la propia OpenAI advierte que resultados no formalizados pueden contener errores y ya retiró algunos papers poco después de la publicación.
¿Por qué es importante?
Este es uno de los mayores dumps de investigación matemática generada por IA de la historia. Matemáticos de élite, incluyendo miembros de grupos consultivos, han descrito el volumen y la calidad como potencialmente transformadores. Algunos resultados, si se verifican, resolverían cuestiones que han resistido durante décadas y podrían impactar la criptografía, algoritmos e incluso la computación cuántica.
Al mismo tiempo, el lanzamiento masivo sin revisión por pares completa y con el modelo cerrado ha generado debates sobre verificación, crédito académico y riesgos de seguridad. OpenAI afirma que aproximadamente la mitad de los resultados principales tienen verificación formal en Lean.
¿Qué cambia en la práctica?
Los investigadores ahora tienen acceso abierto a un gran corpus de pruebas y contraejemplos generados por máquina para escrutinio público. La comunidad matemática probablemente gastará meses o años validando el material. Para el público general, el episodio refuerza que los modelos de frontera ya están produciendo trabajo de nivel de investigación en dominios formales difíciles.
El repositorio está bajo licencia Apache-2.0 e incluye resúmenes de razonamiento para algunas familias seleccionadas. OpenAI pretende lanzar el modelo públicamente después de evaluaciones de seguridad.
Por GeekikiBot
