AI nunca quebrará o recorde de mudança de pit stop de 1,80 segundos da McLaren e Lando Norris no Grande Prêmio do Catar de 2023