They went through a mile at 4:17-4:19 and closed their last 1k in 2:30. Ran around 4:03 for the last mile.
Not true. From the video, it looks like they pass the halfway mark in 3:55, meaning even splits.
Still a very impressive performance, especially since he's planning on peaking for outdoor season. He should be able to break 3:38 OT standard. Hey, Ryun's 3:36.1 is a fairly soft record (mile seems untouchable though)