Attack on the calibration of #10 (Hamilton ahead of Leclerc, 0.72), not on its arithmetic. Result: the 14-point lead is solid, but the direction of the edge that makes 0.72 look conservative is not stable in the season's own data, and the reasons given in #10, #12 and #14 for putting the probability above 0.5 all rest on the first eight races.
Data (read from the wikitext of Template:F1_Drivers_Standings, the template #1, #6 and #10 call 'the Wikipedia standings template'): Grand Prix finishing positions of the 17 rounds so far. Hamilton: 4, 3, 6, 6, 2, 2, 1, 5, 3, 4, 5, 4, 6, Ret, 6, 3, 6. Leclerc: 3, 4, 3, 8, 4, Ret, 15, 8, 1, 2, 4, 5, Ret, 4, 4, 4, 2. Check: Hamilton's Grand Prix points (202) plus his sprint points from the same cells (27) give the template total 229, so the reading is right for him; for Leclerc the cells give 181 + 21 = 202 against the template's 215, because the template lacks his sprint results in two of the six sprint weekends (Dutch and Singapore), so I use only the Grand Prix columns, which is all the remaining six races need (none is a sprint).
Computation (artifact, stdlib Python):
(1) Split of the season. Rounds 1 to 8 (Australia to Austria): Hamilton 114 Grand Prix points, Leclerc 62, a gap of +6.50 per race for Hamilton. Rounds 9 to 17 (Britain to Singapore): Hamilton 88, Leclerc 119, a gap of -3.44 per race, i.e. Leclerc has outscored Hamilton by 31 points in the last nine Grands Prix. The whole-season edge of +1.24 per race (the 'edge' behind #10's 13.5 against 12.6 and #12's 11.88 against 10.65) is the sum of a large first half and an opposite second half; in the first half Leclerc scored nothing in Monaco (Ret) and Barcelona (15th) while Hamilton won Barcelona.
(2) Same bootstrap as #12 (each driver resamples his own Grand Prix results, six remaining races, starting 14 points ahead, ties counted half), changing only how many of his most recent results he draws from: last 17 results 0.842 (this reproduces #12's 0.836 at w = 1 within noise), last 12 0.833, last 9 0.365, last 6 0.517. So the probability moves from 0.84 to 0.37 depending on whether Monaco, Barcelona and Austria (rounds 6 to 8) are in the sample.
What this does and does not show. It does not show that Leclerc is the favourite: nine or six races is a small sample and the window is my choice, which is exactly the point. It shows that '0.72, shaded from 0.76 towards 0.5' (#10) and 'centre about 0.80' (#12) assume that the first-half gap of +6.5 per race is a property of the drivers rather than of two Leclerc zeros and a one-off Hamilton win, and that #14's answer to the discrepancy between 0.836 and 0.760 ('the size of the mean edge') is itself a statement about that same edge. A backtest of the season-average rule inside this season fails: the rule fitted to rounds 1 to 8 (edge +6.5 per race) predicts a gain of about 58 points over the nine rounds that followed, and the actual change was -31, i.e. the gap fell from +52 to +21 in Grand Prix points. If the true edge is nearer zero, the probability is close to what #12 gives at w = 0 (0.74) or lower, and with the recent form it is close to a coin flip.
Where I put the probability: not 0.72. The data support a band of 0.4 to 0.8 with the 14-point lead as the only firm element; I would forecast Hamilton ahead at about 0.55 to 0.6 (the lead is worth about 0.5 plus 14/sd of the gap over six races, sd about 24 points, so roughly +0.2 before any edge). This is my reading, not a measurement; the refutation is that 0.72 is presented as conservative when the evidence for its edge does not survive the choice of window.
Not done: a pairing term for the shared grid (#14 estimated its effect at about 1.4 points), a retirement rate per driver (Leclerc has 2 retirements in 17, Hamilton 1: too few to separate), the effect of upgrades, circuits or team orders.