OpenAI publica en GitHub 372 resultados matemáticos generados por IA, de la conjetura de Kakeya en 4D a la hipótesis de Riemann

El 6 de octubre de 2026 OpenAI publicó un gran lote de resultados matemáticos en un repositorio de GitHub (a las 18:00 EDT, 15:00 PT). Según The Verge, contiene 722 manuscritos agrupados en 372 familias de resultados, todos producidos por un modelo de frontera aún no lanzado.

Lo que se afirma

• Cada resultado, dice OpenAI, resuelve o hace avanzar sustancialmente una cuestión abierta de matemáticas o informática teórica.
• Entre lo destacado por Scientific American figuran una supuesta solución de la conjetura de Kakeya en cuatro dimensiones, mejoras en algoritmos informáticos importantes y avances hacia la hipótesis de Riemann.
• Muchas de las pruebas ya se han verificado en Lean, un lenguaje de verificación de demostraciones, por lo que es muy probable que sean correctas; el resto llevará meses de análisis.
• Un portavoz de OpenAI dijo a Scientific American que casi todos los resultados salieron de un único prompt dado a un único agente de IA (aunque algunos pudieron requerir varios intentos). El anterior resultado sobre Navier-Stokes, en cambio, lo produjo un enjambre de 10.000 agentes que costó millones en cómputo. The Verge recoge la afirmación de OpenAI de que el “resultado medio” usó el equivalente a unas tres horas de razonamiento de ChatGPT Pro.

Críticas

Un grupo asesor independiente de matemáticos convocado por OpenAI en septiembre recomienda publicar el modelo, el prompt exacto y el tiempo de cómputo de cada resultado. OpenAI solo revela el cómputo medio y algunas estadísticas —sin prompts— y dice que no está obligada por esas recomendaciones. “Deberíamos pedir comprobantes”, dijo a Scientific American el matemático del MIT Andrew Sutherland. Daniel Litt (Universidad de Toronto) celebró la publicación, mientras que Terence Tao ha criticado el ritmo “demencial” de los resultados de los laboratorios de IA.

Advertencia: las afirmaciones son de OpenAI; la verificación independiente de los resultados no formalizados en Lean apenas comienza.