La Federación Internacional del Automóvil (FIA), el ente que regula a la Fórmula 1, publicó la lista de pilotos inscritos para la Temporada 2025 del Gran Circo, destacando la presencia del piloto mexicano Sergio Checo Pérez, quien de acuerdo a esto sería el piloto de Red Bull.
