OpenAI ha publicado soluciones a diez problemas de matemáticas y ciencias de la computación teórica que no habían visto progreso en sus resultados principales durante al menos una década, utilizando una versión interna de su próximo modelo principal, Astra.
La compañía afirma haber gastado menos de $2,000 en precios de tokens GPT-5.6 Sol por cada problema. El repositorio openai/ten-proofs contiene formalizaciones Lean 4 de estos resultados, junto con un artículo que describe las soluciones y un PDF generado por LLM que reconstruye el proceso de prueba a partir de rastros de razonamiento no publicados.
Este desarrollo se alinea con la visión del matemático Terence Tao de "grandes matemáticas", donde la IA maneja el trabajo técnico tedioso en colaboraciones a gran escala entre humanos y máquinas.