En una publicación científica en 1958 Lax formuló una conjetura sobre representaciones de matrices para polinomios hiperbólicos de tercer orden, que había permanecido sin pruebas durante cuatro décadas.