Las discusiones de sci.math enlazadas anteriormente sugieren que Andrew Granville sugirió el problema en 1992 y que se discutió ya en 1985.
Tengo en mis notas:
T-Z es anterior a Beal; véase Frits Beukers, "The Diophantine equation $Ax^p+By^q=Cz^r$ ", Matemáticas de Duke. J. 91 :1 (1998), pp. 61-88.
Este tipo de documentación informal puede ser la mejor disponible, por desgracia.
Editar para ampliar un comentario:
En sci.math, Gerry Myerson escribió el 22 de agosto de 2000 :
Ya que la contribución de Andrew Granville a la lista de problemas de Teoría de Números del Oeste de problemas ha surgido en esta discusión, quiero dejar constancia de ella aquí. La reunión de Teoría de Números del Oeste de diciembre de 1992 se celebró en Corvallis. La lista de problemas fue editada por Richard Guy y está fechada el 9 de junio del 93. La parte relevante del problema 92:12 dice lo siguiente.
92:12 (Andrew Granville) Encuentre ejemplos de
x^p + y^q = z^r con 1/p + 1/q + 1/r < 1 además de 2^3 +1^7 = 3^2 y 7^3 + 13^2 = 2^9. [Blair Kelly III dio 2^5 + 7^2 = 3^4 y Reese Scott 17^3 + 2^7 = 71^2].
En el escrito de Guy sobre los problemas de 1993, fechado el 3 de marzo del 94, hay un comentario sobre el 92:12, en el que Granville está de acuerdo con la sugerencia de que se pretendía que x, y y z fueran relativamente primos, y da 3^5 + 11^4 = 122^2 como otro ejemplo. Peter Montgomery dio 5 ejemplos más grandes ejemplos más grandes encontrados por Beukers & Zagier.