Guys, let's not get too caught up in other things. This is one of the most stunning results in recent memory. A 17 year old just beat the Olympic champ, one of the best 5k kickers in the world, some other pros, and a couple of the best collegians, who should really be rounding into shape right now. And he did it by a second on the final lap.
With a teenage phenom, there's always a question on whether they will become a mega-talent, or just a "normal" talent. Well, this is a career-defining win for almost anyone.
It's absolutely shocking.
Totally unrelated, but are you working in the Langlands program? Just surprised and curious how much the number theoretic and Letsrun communities might intersect (In another thread I saw a poster going by "Perfectoid space", so there seems to be some...)