OpenAI Astra Resuelve 10 Problemas Matemáticos Abiertos

OpenAI Astra ha resuelto 10 problemas matemáticos abiertos, algunos de los cuales han sido relevantes durante 40-50 años.

OpenAI recientemente publicó un gran post sobre esto, exponiendo todas las pruebas en Lean y el proceso de razonamiento del modelo. En total, se gastaron aproximadamente $2000 en tokens para encontrar soluciones.

Entre los resultados se encuentran, en particular, la prueba de la existencia de grupos no sofísticos y el empaquetado de esferas en altas dimensiones.

La existencia de grupos no sofísticos ha sido una cuestión central en la teoría de grupos y álgebras de operadores durante 20 años. El empaquetado de esferas es uno de los problemas más famosos de la geometría discreta. Hasta ahora, se conocía una solución exacta solo en algunas dimensiones, y por los casos de 8 y 24 dimensiones, Marina Viazovska recibió la Medalla Fields.

Además, la lista incluye la solución al problema de Erdős No. 183 sobre números Ramsey multicolores, la refutación de la hipótesis de rigidez de Conn, la hipótesis de Ehrhart sobre el volumen y otros.

Los detalles sobre el modelo en sí son escasos. Es probable que sea un modelo grande de la familia GPT-6 (o GPT-5.7), el mismo que hackeó HuggingFace. Al parecer, este es el modelo que Altman presentó en la Casa Blanca esta semana.