Un resumen del estado de la cuestión está disponible en la entrada Los Picos d'Europa, de la web Toponimia Asturiana.
La primera mención, sin embargo, no es la de Marineo Sículo, sino como mínimo la que figura en la Crónica de 1344, de autor anónimo, cuando describe la batalla entre moros y cristianos dirigidos por Pelayo. Esta fecha, en una época en que todavía no se había "descubierto" el continente americano, no invalida la hipótesis del nombre impuesto por navegantes, pero la restringe a periplos procedentes del atlántico europeo, o tal vez, como muy lejos, de los caladeros de Terranova:
"Los moros que de ally pudieron fuyr & escapar qujsieron se alçar al monte de vseña & venjeron otr
os xpistianos que dexara el Rey en la Cueua contra ellos & mataron dellos muchos & los que ende pudieron escapar A europa que es enla Ribera del Rio deua & acogieron se ala sierra
& subieron ençima del monte & el monte cayo conellos ayuso en baxo del Rio & murieron alli todos enel agua" (Fuente: CORDE).