Comunidad matemática en shock tras la publicación de OpenAI 2026/10/06 - Investigación
Sobre este episodio
El 6 de octubre OpenAI publicó en GitHub 722 manuscritos matemáticos, agrupados en 372 familias de resultados. Los ha generado un modelo interno que aún no ha lanzado, y muchas de las demostraciones vienen formalizadas en Lean, un lenguaje con el que un ordenador comprueba la prueba paso a paso. Lo gordo es la escala y lo que hay dentro. Comentaristas y matemáticos han destacado avances en problemas centrales de la teoría de números, como una versión "cuasi" de la hipótesis de Riemann, aunque todavía no están verificados de forma independiente. Además, cada resultado costó de media el equivalente a unas tres horas de ChatGPT Pro pensando. Y llega un mes después de que la misma empresa anunciara una demostración relacionada con Navier-Stokes, uno de los problemas del Milenio, para la que usó unos 10.000 agentes durante 88 horas. Aunque se descuente el marketing y caigan algunos resultados, si sobrevive una parte, es un momento histórico. https://github.com/openai/math