Sin duda, el problema de "¿cuál es el mínimo de g=g(k) tal que cada número entero se puede escribir como la suma de g k-ésima poderes" es menos interesante que la versión que hace caso omiso de las cosas que sucede con un número finito de casos especiales.
Es decir, la "real", la pregunta debería ser "¿cuál es el mínimo de G=G(k) tal que para algún N, cada número entero mayor que N puede ser representado como la suma de G k-ésima poderes".
Por ejemplo, cada número es la suma de 19 de 4 de poderes, sino que cada número mayor que 13,792 es en realidad la suma de sólo 16 4 de poderes. El "16" se conoce desde hace bastante tiempo; la verificación de que 13,792 es el último delincuente es bastante reciente (he encontrado que el valor de la Wikipedia, por cierto).
La evaluación de G(k) es más difícil de evaluar g(k), y la mayoría de los valores reales, todavía no se conoce. No creo que hubo una tremenda reciente progreso en este frente, aunque ciertamente hay progreso en cosas como límites, el número de representaciones, etc.
Usted debe mirar Wooley la encuesta de aquí (yo no lo he leído aún).