AI is taking Formula 1 forwards