IA PARA TU DÍA — 7 de octubre de 2026 -
OpenAI publicó 722 manuscritos de matemáticas. ¿Qué está verificado?
OpenAI liberó cientos de trabajos de matemáticas hechos por su modelo. Separamos lo que está comprobado de lo que solo está publicado.
por Julius Aguirre
Buenos días. OpenAI publicó ayer 722 manuscritos de matemáticas producidos por un modelo de IA. Es un número enorme. Pero hay otro número que no conocemos: cuántos han sido realmente comprobados.
Publicar, formalizar y validar no son lo mismo. Esa diferencia es La Señal de hoy.
SEÑAL DEL DÍA
OpenAI publicó 722 manuscritos matemáticos producidos por un modelo, pero publicar un manuscrito no es lo mismo que formalizarlo ni que validarlo de forma independiente.
QUÉ PASÓ
Hecho. El 6 de octubre, OpenAI publicó en GitHub 722 manuscritos de matemáticas, agrupados en 372 familias de resultados relacionados. Los produjo un modelo interno que la empresa todavía no ha liberado.
Evidencia. El propio repositorio admite que los resultados están en distintas etapas de verificación. Muchos, pero no todos, tienen formalización en Lean. De los que no la tienen, OpenAI dice que algunos podrían tener problemas. Un ejemplo es la familia "quasi-Riemann", que afirma que la función zeta de Riemann, y otras emparentadas, no tiene ceros con parte real mayor que 7/8. OpenAI indica que ese resultado cuenta con formalización. En nuestra revisión de fuentes primarias no encontramos verificación independiente del conjunto.
POR QUÉ IMPORTA
Son tres cosas distintas: publicar un manuscrito, formalizar un resultado y que alguien independiente lo valide. OpenAI hizo la primera y, en parte, la segunda. La tercera, en las fuentes que revisamos, no aparece.
Formalizar en Lean permite que un programa compruebe, paso a paso, que una prueba cumple el enunciado escrito en ese lenguaje. Eso es verificación mecánica. Que el enunciado capture lo que el matemático quiso decir es otra pregunta, y la responden personas.
Y 7/8 no es la hipótesis de Riemann, que apunta a 1/2. Es un resultado distinto y mucho más débil.
QUÉ TODAVÍA NO SABEMOS
Cuántos manuscritos están formalizados. OpenAI dice "muchos, pero no todos" y no da una cifra total.
Si las formalizaciones publicadas pasan una comprobación independiente. Nosotros no ejecutamos esa comprobación y no encontramos que alguien la haya reportado.
Si los enunciados formales son fieles. Sobre todo en resultados que usan definiciones propias, como el de las funciones de Hecke.
Si los resultados son nuevos. Con fuentes primarias no pudimos establecer si la quasi-Riemann, por ejemplo, mejora lo ya conocido.
Cuántos intentos fallaron. OpenAI dice que planteó unos 4,000 problemas y no explica cómo se relaciona esa cifra con los 722.
Qué revisó AGMAI. OpenAI dice que consultó a este grupo independiente de matemáticos. El grupo dice que no tiene poder de decisión y que la responsabilidad de las decisiones recae en cada empresa. En lo que revisamos, no encontramos una declaración suya que evalúe estos resultados.
■ MI LECTURA
No leo esto como un récord ni lo descarto. Leo una colección enorme con un mapa de verificación todavía incompleto, y a OpenAI diciéndolo abiertamente. Publicar los manuscritos y parte de las formalizaciones abre la posibilidad de que otros los examinen. Ahora falta ver qué ocurre cuando esa revisión suceda. Mi criterio hoy es simple: cada afirmación se queda en el nivel que alcanzó. Publicada es publicada. Formalizada es formalizada. Validada es validada cuando existe revisión independiente que la sostenga. Sin criterio, la IA amplifica ruido.
■ OTRAS SEÑALES
→ Claude llega a Google Docs, Sheets y Slides — Leer →
Anthropic lanzó en beta pública un complemento que trabaja dentro de esos documentos; por defecto pide tu aprobación antes de editar.
→ Google lanza Nano Banana 2.1 y deja en desuso gemini-3.1-flash-image — Leer →
El modelo está disponible de forma general desde el 6 de octubre y el anterior queda en desuso, sin fecha de cierre anunciada. Si lo usas por API, conviene planear la migración.
→ Mistral Large 4, en vista previa — Leer →
Ya puedes probar la API preview en Mistral Studio; Mistral dice que liberará los pesos a finales de este mes, sin fecha exacta.
FUENTES
PRIMARIAS — señal principal
— OpenAI: Sharing AI progress in mathematics — enlace
— Repositorio openai/math: README — enlace
— Repositorio openai/math: CONTENTS.md — enlace
— Formalizaciones en Lean y desafíos del Comparator — enlace
— AGMAI — enlace
PRIMARIAS — otras señales
— Anthropic: Claude now works in Google Docs, Sheets, and Slides — enlace
— Soporte de Claude: uso en Docs, Sheets y Slides — enlace
— Google: Gemini Nano Banana 2.1 — enlace
— Google: changelog de la Gemini API — enlace
— Mistral: Mistral Large 4 — enlace
