Yes, the availability of the Ticket Machu Picchu shown here is official and updated automatically in real time. The numbers are official statistics of the Ministry of Culture of Peru. Remember the availability can change in minutes if large groups of tickets are purchased together.