Mi respuesta también es 7 carreras.
Spoiler
Supongamos los caballos numerados del 1 al 25, este número los identifica, cada caballo tiene una velocidad, esta velocidad como función del número identificador es inyectiva (hay 25 velocidades todas diferentes), entonces se tiene \( v_1,v_2, ...v_{25} \) en donde \( v_i \) es la velocidad del caballo i.Todos los caballos tienen que correr en al menos una carrera y a mayor número de competidores por carrera, menor número de carreras. Dividamos los 25 caballos en grupos de 5, podemos usar sus velocidades como identificadores de los caballos, por ejemplo :
\( A=\left\{{v_1,v_2,v_3,v_4,v_5} \right\} \), \( B=\left\{{v_6,v_7,v_8,v_9,v_{10}} \right\} \), ... , \( E=\left\{{v_{21},v_{22},v_{23},v_{24},v_{25}} \right\} \)
Después de formados los grupos se realizan las carreras de los distintos grupos, A,B,C,D,E, en total 5 carreras y se seleccionan, los ganadores de cada grupo. Denominemos al grupo de los ganadores \( G=\left\{{v_a,v_b,v_c,v_d,v_e}\right\} \) donde \( v_a,v_b,v_c,v_d,v_e \) son los ganadores de los grupos A,B,C,D,E respectivamente.
Se hace una nueva carrera con los caballos del grupo G, supongamos que el resultado es \( (v_c,v_d,v_a,v_b,v_e) \), el caballo c es el más rápido de los 25, los caballos d y a, son los únicos que tienen la esperanza de ser el segundo y tercero más rápidos de los 25. Para averiguarlo, se ha de efectuar una última carrera, carrera 7, en donde los caballos d y a competirán con aquellos con los que no han competido y que tampoco se puede deducir si son más rapidos, es decir con los 2 que le siguen al caballo c en su grupo C denominando x y z, se tiene que el nuevo grupo es : \( H=\left\{{d,a,x,z}\right\} \) acá se tienen las siguientes alternativas :
1)\( v_a>v_x \) implica que los tres más rápidos son : \( (c,d,a) \) en ese orden.
2)\( v_z<v_a<v_x \) hay dos alternativas adicionales :
2.1) \( v_d>v_x \) implica que los tres más rápidos son : \( (c,d,x) \)
2.2) \( v_d<v_x \) implica que los tres más rápidos son : \( (c,x,d) \)
3) \( v_a<v_z \) hay alternativas adicionales :
3.1)\( v_d<v_z \) implica que los tres más rápidos son : \( (c,x,z) \)
3.2)\( v_z<v_d<v_x \) implica que los tres más rápidos son : \( (c,x,d) \)
3.3)\( v_x<v_d \) implica que los tres más rápidos son : \( (c,d,x) \)
Es decir en todas las alternativas que pueden resultar de la carrera 7, se llega a conocer a los tres más rápidos de los 25