Una versión interna de Astra produjo diez resultados sobre problemas abiertos de geometría, teoría de grupos, criptografía y computación. OpenAI publicó los manuscritos y certificados formales en Lean, pero el modelo todavía no está disponible y la importancia de sus pruebas deberá ser evaluada por matemáticos independientes.