¿Será Kimi Antonelli el líder del Mundial de Pilotos de F1 tras el GP de Países Bajos el 23 de agosto?

🤖 Contexto

SÍ si Kimi Antonelli aparece primero en la clasificación oficial de pilotos del Campeonato Mundial de Fórmula 1 de la FIA que refleje los resultados del Heineken Dutch Grand Prix 2026 tras la clasificación de la carrera y la aplicación de cualquier decisión o penalización de los comisarios, en caso contrario NO. Las clasificaciones oficiales publicadas por la FIA o el sitio oficial de Fórmula 1 son las fuentes principales, y medios importantes como Reuters, BBC o ESPN son aceptables para corroborar. Si hay empate a puntos, el desempate de la FIA (más victorias, luego más segundos, etc.) que figure en las clasificaciones publicadas determina el líder, y si el GP de Países Bajos se cancela y la FIA no publica unas clasificaciones revisadas para ese fin de semana, el mercado se resuelve SÍ solo si Antonelli sigue como primero en la siguiente clasificación oficial publicada tras el 23 de agosto de 2026.