OpenAI anunció el 6 de octubre de 2026 que está lanzando una amplia gama de nuevos resultados matemáticos producidos por un modelo fronterizo interno. Los resultados se comparten mediante un repositorio de GitHub que incluye protocolos para revisiones de artículos y citas, tras consultas con el Grupo Asesor Independiente sobre Matemática e Inteligencia Artificial del Instituto de Estudios Avanzados para desarrollar las mejores prácticas para compartir trabajos matemáticos generados por IA con la comunidad investigadora.
Esta imagen es un gráfico promocional de la página de anuncio de OpenAI, que representa visualmente el tema de compartir el progreso matemático generado por IA con la comunidad investigadora.
El repositorio contiene formalizaciones de muchas pruebas en Lean, un lenguaje de programación que permite la verificación computacional de pruebas matemáticas. Además, OpenAI está proporcionando diez resúmenes del proceso de razonamiento del modelo para estos resultados, estimaciones de los recursos computacionales utilizados medidos en equivalentes de uso de ChatGPT Pro y estadísticas sobre la cantidad de problemas intentados durante el descubrimiento. Según el anuncio, el resultado promedio requirió recursos computacionales equivalentes a aproximadamente tres horas de tiempo de pensamiento de ChatGPT Pro.
Esta imagen muestra una tarjeta artística que enfatiza los avances matemáticos, alineándose con la discusión del artículo sobre nuevos resultados matemáticos generados por IA.
OpenAI afirma que este lanzamiento pretende fomentar la transparencia y la apertura científicas mientras impulsa la frontera del conocimiento humano en matemáticas. La organización planea financiar talleres, conferencias y programas especiales centrados en comprender los resultados importantes producidos por sistemas de IA. También indica que está trabajando para lanzar de forma responsable el modelo que generó estos resultados, subrayando la importancia de seguir evaluando los modelos fronterizos internos en matemáticas y otras ciencias para desarrollar herramientas que puedan avanzar estos campos, y comprometiéndose a actualizar sus estándares para futuras divulgaciones basándose en los comentarios de la comunidad.