Even then, Pico das Agulhas Negras was still thought to be the highest point in the Mantiqueira Mountains, until a 2001 GPS measurement (later confirmed by an official joint expedition of the Brazilian Army and the Brazilian Institute for Geography and Statistics - IBGE) showed that nearby Pedra da Mina was that mountain range's highest point at 2798 meters , about seven metres higher than Agulhas Negras.