En 1970, Yuri Matiyasévich formuló un teorema relacionado con el uso de los números de Fibonacci que estaba diseñado para responder a la cuestión de si hay un algoritmo general que pueda decidir si un sistema de ecuaciones diofánticas (polinomios con coeficientes enteros) dado tiene una solución entera.