El problema fue resuelto finalmente en 1970, cuando un resultado novedoso en lógica matemática conocido como teorema de Matiyasevich contestaba negativamente al problema de Hilbert: no existe un procedimiento general que permita establecer cuantas soluciones tiene una ecuación diofántica.