Kimi Antonelli won the United States Grand Prix from pole on Sunday by 13.078 seconds, in 1:35:16.650 over 56 laps on the FIA's final classification, ahead of Charles Leclerc and Max Verstappen. It was his ninth win of the season. He did not leave Austin as champion: the Texas scenario needed George Russell ninth or lower and Lewis Hamilton fifth or lower, and the classification has Russell eighth and Hamilton fourth.

Saturday had already put him in control. Antonelli took pole in 1:34.035, 0.179 seconds ahead of Verstappen, with Hadjar third, Leclerc fourth, Hamilton fifth and Russell sixth. On Sunday formula1.com describes a "superb opening lap" from Antonelli against a poor start from Verstappen. Leclerc got past the Red Bull through the Esses, and Verstappen took second back into Turn 13 before the lap was out, according to Sky. A first Virtual Safety Car for debris followed on lap 2, per grandprix.com.

Lap 24 is where the race was decided. Red Bull brought Verstappen in at the end of lap 13 for a second set of softs, Sky Sports reports, which committed him to two stops, and Ferrari followed with both cars. Mercedes left Antonelli out on mediums until the end of lap 24 and then fitted hards for the last 32 laps. He rejoined fourth and was back in front by lap 32, after passing Leclerc. "It was also perfect execution from strategy to call the one-stop," Antonelli said.

Of the top four, Antonelli was the only driver on one stop. The grandprix.com race notes put Leclerc's stops at the end of laps 15 and 39, Hamilton's at 14 and 38 and Verstappen's at 13 and 31. A Virtual Safety Car, called after Valtteri Bottas pulled his Cadillac off after 48 laps, ran from lap 51 to lap 53 in the same notes, and the margin survived it.

Leclerc took second from fourth on the grid on two stops and passed Verstappen at Turn 12 about seven laps from the end, having already passed Lando Norris, per Sky. He also set the fastest lap, 1:37.976 on lap 42. formula1.com counts it as his second consecutive second place, after Singapore. "Unfortunately we came short of the victory which was our target," he said. "The first stint was more difficult."

Hamilton finished 1.030 seconds behind Verstappen in fourth, having caught him late on. Second and fourth gave Ferrari 30 points, one more than Mercedes took from first and eighth, so the team that won the race did not win the day's constructors' haul. Piastri, seventh on the grid, finished seventh. Norris was fifth on a one-stop from eighth on the grid. Isack Hadjar, third on the grid, finished sixth, 3.852 seconds behind him.

Russell's afternoon turned on the first lap. Defending against Oscar Piastri into Turn 12, he left the track and rejoined ahead before Turn 13, and the stewards' document 53 gave him five seconds. The normal penalty for the offence is 10 seconds, the document says; the stewards halved it because Russell had been pressuring Hadjar, which had put Piastri in an attacking position, and because it happened on the opening lap. He served it at his stop, came out behind Piastri and finished 1.629 seconds behind him. Russell called his race pace "rubbish", Sky reports.

On the Jolpica round 18 standings, which match the FIA's championship points document, Antonelli has 365 points, Russell 242, Hamilton 241, Verstappen 236 and Leclerc 233. Five Grands Prix remain, none with a Sprint, so 125 points are left. Verstappen is 129 behind and Leclerc 132, and neither can catch him any more. Russell, 123 behind, and Hamilton, 124 behind, still can on paper.

Mexico City on 1 November has no Sprint, so the Grand Prix is the only session that scores, and it leaves four races and 100 points after it. Antonelli is champion there unless Russell wins with Antonelli tenth or lower, or Hamilton wins with Antonelli outside the points. A tie would go to him on wins, nine against a maximum of eight for Russell. Put the other way round, ninth place in Mexico is enough whatever anyone else does: two points against a Russell win leaves the gap at exactly 100. grandprix.com sets out the same conditions; the arithmetic above is recomputed from the standings.

Mercedes leaves Austin on 607 constructors' points to Ferrari's 474, a gap of 133. Further down, Red Bull's 23 points (Verstappen 15, Hadjar 8) against McLaren's 16 (Norris 10, Piastri 6) put the two teams level on 355 on the Jolpica constructors' table. Take Sunday's points off and McLaren had led Red Bull by seven before Austin, 339 to 332. Third place in the constructors' championship is a dead heat with five rounds to run.

Gabriel Bortoleto started 21st on the official grid after 80 grid places for power unit elements, 20 on Friday (document 15) and 60 more for further elements used in FP3 (document 35). He finished 13th, a lap down, two places behind Nico Hulkenberg, and Audi left without points. Arvid Lindblad, moved from ninth to 14th on the grid by a five-place power unit penalty, finished 12th. His Racing Bulls team-mate Liam Lawson started ninth without setting a Q3 time and finished there, 24.880 seconds behind Russell, which brought the team's total to 102.

Three cars retired. Bottas, from 19th on the grid, stopped after 48 laps, Franco Colapinto, from 20th, after 35 and Oliver Bearman, from 13th, after 24. The stewards gave Bearman a 10-second penalty for a collision with Pierre Gasly, finding him "wholly to blame" in document 52. Gasly finished tenth, Alpine's only point.

Austin was Mercedes' 12th win in 18 Grands Prix this season, nine for Antonelli and three for Russell, on the Jolpica tables. The other six are shared two apiece by Ferrari, Red Bull and McLaren, and of the four drivers who took them, Hamilton is the only one who can still stop that run becoming a drivers' title.