El problema trata de la clasificación de teorías de subcampos del campo de números algebraicos con respecto a la decidibilidad. En esta platica, explicaré lo que significa el problema y mencionaré algunos avances.