El 30 de octubre de 2026, The Verge informó que Sam Altman defendió que OpenAI publique grandes descubrimientos científicos y dijo que sentía empatía por los matemáticos que afrontan la difusión de estos resultados. Sus declaraciones aparecieron en un episodio del pódcast Cheeky Pint publicado el 29 de octubre.
Altman sostuvo que OpenAI no debería retener un hallazgo científico fundamental. También afirmó que la empresa tenía más descubrimientos matemáticos, además de los cientos de pruebas ya publicados. En la misma entrevista, estimó que OpenAI había gastado cientos de millones de dólares en problemas matemáticos y alrededor de 10 millones, quizá algo más, en el trabajo sobre las ecuaciones de Navier–Stokes.
Qué cifras recoge el repositorio de OpenAI
El README del repositorio matemático de OpenAI, cuyo último commit indicado es del 30 de octubre de 2026, enumera 721 manuscritos repartidos en 373 familias de resultados. Una familia puede reunir un resultado principal, argumentos complementarios, consecuencias o demostraciones alternativas.
| Medida | Dato del README | Qué describe |
| Manuscritos | 721 | Catálogo del repositorio en la instantánea indicada |
| Familias de resultados | 373 | Agrupaciones que pueden incluir un resultado y trabajos relacionados |
| Resultados principales formalizados en Lean | Alrededor del 42 % | Proporción que OpenAI dice que cuenta con formalización |
OpenAI dice que la gran mayoría de los resultados siguió el mismo procedimiento: planteó aproximadamente 4.000 problemas a un modelo interno sin nombre y empleó, en promedio, tres horas de cómputo de razonamiento de ChatGPT Pro por resultado. La empresa señala que hubo excepciones a ese proceso.
Qué significa que una prueba esté formalizada en Lean
Lean es un asistente de demostración formal. OpenAI describe sus manuscritos como datos de investigación sin procesar, no como artículos académicos pulidos, y señala que sus resultados están en distintas etapas de verificación. No todos tienen una formalización en Lean; la empresa advierte de que los resultados sin formalizar pueden contener problemas.
Por eso, el 42 % es la proporción de resultados principales que OpenAI dice haber formalizado en Lean. La cifra no resume por sí sola el estado de verificación de toda la colección: el propio repositorio distingue varias etapas.
Los artículos retirados y el coste de conocer una solución
Quartz informó el 21 de octubre de que OpenAI había retirado tres artículos tras detectar errores, a los pocos días de publicar la colección. El repositorio de OpenAI indica que las correcciones y revisiones se registran como versiones nuevas, mientras que las versiones anteriores siguen accesibles.
Quartz también recogió la perspectiva de Terence Tao: conocer una solución antes de explorar un problema puede restar riqueza a esa exploración.
