OpenAI dio un paso llamativo en la relación entre la inteligencia artificial y la ciencia: el 6 de octubre de 2026 publicó en un repositorio público de GitHub 722 manuscritos matemáticos generados por uno de sus modelos internos, aún no disponible al público.
Qué se publicó exactamente
- Los 722 manuscritos se agrupan en 372 familias de investigación que abarcan matemáticas puras, informática teórica y física matemática.
- El modelo intentó resolver alrededor de 4.000 problemas. Cada resultado aceptado requirió, en promedio, unas tres horas de cómputo equivalente al modo de razonamiento de ChatGPT Pro.
- Muchas de las demostraciones tienen versiones formalizadas en Lean, un lenguaje que permite a un ordenador comprobar que cada paso lógico es correcto.
- OpenAI consultó al grupo asesor sobre matemáticas e IA del Institute for Advanced Study de Princeton.
Por qué es relevante
Hasta ahora, los avances de la IA en matemáticas se medían sobre todo con competencias o problemas ya resueltos. Publicar cientos de resultados de investigación de una vez, y abrirlos al escrutinio público, permite a la comunidad matemática evaluar si la IA puede aportar conocimiento nuevo y útil.
Las advertencias
Conviene tomar el anuncio con cautela. Que una prueba esté verificada en Lean no garantiza que todas las afirmaciones de un manuscrito sean correctas o relevantes, y muchos documentos aún no tienen versión formalizada. La revisión de los matemáticos, que apenas empieza, será la que determine el verdadero valor de estos trabajos.
¿Te interesa probar la IA de OpenAI? Consulta la ficha de ChatGPT en nuestro directorio.
Fuentes
- Interesting Engineering: OpenAI y su mayor publicación matemática
- NYU Shanghai RITS: OpenAI publica 722 manuscritos de un modelo no lanzado
