Supercomputadores: los corredores de la Fórmula 1 en computación