La versión interna recibió los resultados.
Astra
- el próximo gran modelo de la empresa.
Entre los logros:
— se construyó el primer ejemplo explícito de un grupo no sófico (un tipo especial de estructura algebraica abstracta que anteriormente sólo podía describirse indirectamente);
— se refuta la hipótesis de la rigidez de Connes (una suposición a largo plazo en el análisis funcional sobre cuán estrictamente se definen tales objetos matemáticos);
— el teorema cuántico de la repetición paralela ha sido demostrado en sistemas generales de dos juegos (muestra lo rápido que disminuyen las posibilidades de éxito cuando los juegos cuánticos se repiten muchas veces);
— Se demostró la hipótesis de Erhart sobre el volumen (resultado de la geometría asociada con el conteo de puntos en figuras multidimensionales y sus volúmenes);
— por primera vez desde 1978, se ha mejorado el límite superior general para la densidad de empaquetamiento de las esferas (es decir, qué tan apretadas se pueden “empaquetar” las bolas en el espacio).
Según OpenAI, Astra encontró de forma independiente los argumentos matemáticos subyacentes y luego formalizó cada prueba en Lean. Junto con los certificados verificables por máquina, se ha publicado un manuscrito en
249 páginas
.
Los lanzamientos exitosos costarían aproximadamente
$2000 a tarifas Sol API
.
Los modelos empiezan a ofrecer nuevas pruebas de problemas abiertos, aunque los resultados ahora deben ser examinados por todo el mundo matemático.
Astra aún no se ha lanzado y OpenAI no lo llama GPT-6.
openai.com/index/ten-advances-in-mathematics/